Software debugging, testing, and verification
- Brent Hailpern
- Padmanabhan Santhanam
- 2002
- IBM Systems Journal
Paper
Publications
26931 results for Science
ABLE: A toolkit for building multiagent autonomic systems
- Joseph P. Bigus
- Don A. Schlosnagle
- et al.
- 2002
- IBM Systems Journal
PaperSoftware Infrastructure and Design Challenges for Ubiquitous Computing Applications
- Guruduth Banavar
- Abraham Bernstein
- 2002
- Communications of the ACM
PaperMachine learning in a multimedia document retrieval framework
- Michael P. Perrone
- Gregory F. Russell
- et al.
- 2002
- IBM Systems Journal
PaperA platform for business-to-business sell-side, private exchanges and marketplaces
- Jakka Sairamesh
- Rakesh Mohan
- et al.
- 2002
- IBM Systems Journal
PaperNewton's method on Riemannian manifolds and a geometric model for the human spine
- Roy L. Adler
- Jean-Pierre Dedieu
- et al.
- 2002
- IMA Journal of Numerical Analysis
PaperExplicit action of Hecke operators on Siegel modular forms
- James Lee Hafner
- Lynne H Walling
- 2002
- Journal of Number Theory
PaperQuery strategies for priced information
- Moses Charikar
- Ronald Fagin
- et al.
- 2002
- Journal of Computer and System Sciences
PaperOptimal Design of Delay-Bounded WDM Networks using a Genetic Algorithm
- C.P. Ravikumar
- Meeta Sharma
- et al.
- 2002
- IETE Journal of Research
PaperWhen experts agree: Using non-affiliated experts to rank popular topics
- Krishna Bharat
- George A. Mihaila
- 2002
- ACM TOIS
Paper