10159 search results - page 2004 / 2032 » System Design Validation Using Formal Models |
MOBISYS
2010
ACM
13 years 10 months ago
2010
ACM
Mobile sensing is difficult without power. Emerging Computational RFIDs (CRFIDs) provide both sensing and generalpurpose computation without batteries--instead relying on small ca...
COMPUTER
2008
13 years 8 months ago
2008
We describe the informatics requirements of translational biomedical research projects and how e-Science tools can be used to address them. We use pattern templates to describe the...
IMC
2007
ACM
13 years 9 months ago
2007
ACM
Packet delay and loss are two fundamental measures of performance. Using active probing to measure delay and loss typically involves sending Poisson probes, on the basis of the PA...
ICMAS
1998
13 years 9 months ago
1998
The University of Michigan Digital Library (UMDL) is an open system that allows third-parties to build and integrate their own profit-seeking agents into the marketplace of inform...
ICCV
2009
IEEE
15 years 27 days ago
2009
IEEE
A key ingredient in the design of visual object classification
systems is the identification of relevant class specific
aspects while being robust to intra-class variations. Whil...