Practical application of CSP and FDR to software design
- Jonathan Lawrence
- 2004
- Symposium on the Occasion of 25 Years of CSP 2004
Conference paper
Publications
24864 results for Exploratory Science
Formation of metallic nanocrystals from gel-like precursor films for CVD nanotube growth: An in situ TEM characterization
- Christian Klinke
- Jean-Marc Bonard
- et al.
- 2004
- Journal of Physical Chemistry B
PaperAn authoring technology for multidevice web applications
- Guruduth Banavar
- Lawrence Bergman
- et al.
- 2004
- IEEE Pervasive Computing
PaperThe 3G-324M protocol for conversational video telephony
- Marwan A. Jabri
- John R. Smith
- 2004
- IEEE Multimedia
PaperThe web server of IBM's Bioinformatics and Pattern Discovery group: 2004 update
- Tien Huynh
- Isidore Rigoutsos
- 2004
- Nucleic acids research
PaperAn information-theoretic model for steganography
- Christian Cachin
- 2004
- Information and Computation
PaperServices computing: Grid applications for today
- Liang-Jie Zhang
- Haifei Li
- et al.
- 2004
- IT Professional
ReviewOn the convergence of MDL density estimation
- Tong Zhang
- 2004
- COLT 2004
Conference paperZeeman and orbital limiting fields: Separated spin and charge degrees of freedom in cuprate superconductors
- L. Krusin-Elbaum
- G. Blatter
- et al.
- 2004
- Physical Review B - CMMP
PaperOptimized external scheduling for fair service discrimination
- Asser N. Tantawi
- 2004
- ISCC 2004
Conference paper