2024 search results - page 253 / 405 » A Formal Model of Multi-agent Computations |
EICS
2009
ACM
15 years 6 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
ICNP
2002
IEEE
15 years 4 months ago
2002
IEEE
The Multi Exit Discriminator (MED) attribute of the Border Gateway Protocol (BGP) is widely used to implement “cold potato routing” between autonomous systems. However, the us...
ICALP
1994
Springer
15 years 3 months ago
1994
Springer
We introduce a formal framework to study the time and space complexity of computing with faulty memory. For the fault-free case, time and space complexities were studied using the...
113
click to vote
CLUSTER
2009
IEEE
14 years 9 months ago
2009
IEEE
With the advent of high-performance COTS clusters, there is a need for a simple, scalable and faulttolerant parallel programming and execution paradigm. In this paper, we show that...
ICNP
2009
IEEE
14 years 9 months ago
2009
IEEE
The Domain Name System (DNS) is integral to today's Internet. Name resolution for a domain is often dependent on servers well outside the control of the domain's owner. I...