1268 search results - page 253 / 254 » Verifying distributed systems: the operational approach |
HRI
2006
ACM
13 years 11 months ago
2006
ACM
The design and development of social robots that interact and assist people in daily life requires moving into unconstrained daily-life environments. This presents unexplored meth...
IMC
2006
ACM
13 years 11 months ago
2006
ACM
Despite its growing use in critical infrastructure services, the performance of IP(v4) Anycast and its interaction with IP routing practices is not well understood. In this paper,...
DSN
2003
IEEE
13 years 10 months ago
2003
IEEE
The presence of physical obstacles and radio interference results in the so called “shadow regions” in wireless networks. When a mobile station roams into a shadow region, it ...
SENSYS
2003
ACM
13 years 10 months ago
2003
ACM
A distinguishing characteristic of wireless sensor networks is the opportunity to exploit characteristics of the application at lower layers. This approach is encouraged by device...
IMC
2007
ACM
13 years 7 months ago
2007
ACM
An experimental study of the feasibility and accuracy of the acyclicity approach introduced in [14] for the inference of business relationships among autonomous systems (ASes) is ...