8555 search results - page 1400 / 1711 » Property Based Coordination |
166
click to vote
INFOCOM
2003
IEEE
16 years 2 days ago
2003
IEEE
— We propose a new framework for providing robust location detection in emergency response systems, based on the theory of identifying codes. The key idea of this approach is to ...
197
click to vote
METRICS
2003
IEEE
16 years 2 days ago
2003
IEEE
Metrics have long been used to measure and evaluate software products and processes. Many metrics have been developed that have lead to different degrees of success. Software arch...
201
click to vote
RTSS
2003
IEEE
16 years 2 days ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
180
click to vote
IMC
2003
ACM
16 years 1 days ago
2003
ACM
Internet topology information is only made available in aggregate form by standard routing protocols. Connectivity information and latency characteristicsmust therefore be inferre...
171
click to vote
IUI
2003
ACM
16 years 1 days ago
2003
ACM
As household appliances grow in complexity and sophistication, they become harder and harder to use, particularly because of their tiny display screens and limited keyboards. This...