Getting the best from formal methods
- John B. Wordsworth
- 1999
- Information and Software Technology
Paper
Publications
9299 results for Computer Science
Two simulated annealing-based heuristics for the job shop scheduling problem
- K. Steinhöfel
- A. Albrecht
- et al.
- 1999
- EJOR
PaperThe application of CMAC based intelligent agents in the detection of previously unseen computer viruses
- James Luke
- C.J. Harris
- 1999
- ICIIS 1999
Conference paperHigher-level Composition Control in Music Sketcher: Modifiers and Smart Harmony
- Steven Abrams
- Daniel V. Oppenheim
- et al.
- 1999
- ICMC 1999
Conference paperOn the security of a practical identification
- Scheme Victor Shoup
- 1999
- Journal of Cryptology
PaperVisualizing motion in video
- L. Brown
- Susan Crayne
- 1999
- AIPR Workshop 1999
Conference paperRevitalizing the scatter plot
- D.A. Rabenhorst
- 1999
- AIPR Workshop 1999
Conference paperADK -Building mobile agents for network and systems management from reusable components
- Thomas Gschwind
- Metin Feriduny
- et al.
- 1999
- ASAMA 1999
Conference paperAdaptive packet marking for maintaining end-to-end throughput in a differentiated-services internet
- Wu-Chang Feng
- Dilip D. Kandlur
- et al.
- 1999
- IEEE/ACM Transactions on Networking
PaperWolfgang: "Emotions" plus goals enable learning
- Doug Riecken
- 1999
- C&C 1999
Conference paper