208 search results - page 34 / 42 » Consistency Checking for Component Reuse in Open Systems |
ICCAD
2001
IEEE
14 years 4 months ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
FGR
1998
IEEE
14 years 4 hour ago
1998
IEEE
We describe a virtual mirror interface which can react to people using robust, real-time face tracking. Our display can directly combine a user's face with various graphical ...
BMCBI
2007
13 years 7 months ago
2007
Background: Three dimensional biomedical image sets are becoming ubiquitous, along with the canonical atlases providing the necessary spatial context for analysis. To make full us...
HICSS
2002
IEEE
14 years 21 days ago
2002
IEEE
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...
ACSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
—MapReduce has become increasingly popular as a powerful parallel data processing model. To deploy MapReduce as a data processing service over open systems such as service orient...