Automated consistency and completeness checking of testing models for interactive systems
- Amit Paradkar
- Tim Klinger
- 2004
- COMPSAC 2004
Conference paper
Publications
26925 results for Science
PEEC equivalent circuits for dispersive dielectrics
- G. Antonini
- A.E. Ruehli
- et al.
- 2004
- PIERS 2004
Conference paperNovel carbon nanotube FET design with tunable polarity
- Yu-Ming Lin
- Joerg Appenzeller
- et al.
- 2004
- IEDM 2004
Conference paperApplication of invisible image watermarks to previously halftoned images
- Gordon W. Braudaway
- Fred Mintzer
- 2004
- IS&T/SPIE Electronic Imaging 2004
Conference paperWS-negotiation: An overview of research issues
- Patrick C. K. Hung
- Haifei Li
- et al.
- 2004
- HICSS 2004
Conference paperSimple efficient load balancing algorithms for peer-to-peer systems
- David R. Karger
- Matthias Ruhl
- 2004
- IPTPS 2004
Conference paperA programming framework for mobilizing enterprise applications
- Paul Castro
- Frederique Giraud
- et al.
- 2004
- WMCSA 2004
Conference paperDependence modeling for stochastic simulation
- Bahar Biller
- Soumyadip Ghosh
- 2004
- WSC 2004
Conference paperOptical devices with high-Q resonators for filters and waveguide crossings
- Rik Harbers
- Nikolaj Moll
- et al.
- 2004
- SPIE Photonics Europe 2004
Conference paperRandom and systematic defect analysis using IDDQ signature analysis for understanding fails and guiding test decisions
- Phil Nigh
- Anne Gattiker
- 2004
- IEEE ITC 2004
Conference paper