5600 search results - page 173 / 1120 » Synthesizing robust systems |
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considerin...
SAFECOMP
2005
Springer
14 years 2 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
SENSYS
2004
ACM
14 years 2 months ago
2004
ACM
Previous approaches for computing duplicate-sensitive aggregates in sensor networks (e.g., in TAG) have used a tree topology, in order to conserve energy and to avoid double-count...
FGR
1998
IEEE
14 years 1 months 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 ...
SIGMOD
2011
ACM
13 years 2 days ago
2011
ACM
Probabilistic database systems have successfully established themselves as a tool for managing uncertain data. However, much of the research in this area has focused on efficient...