2162 search results - page 410 / 433 » A Meta-Notation for Protocol Analysis |
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
Negotiation is essential in settings where agents have conflicting interests and a desire to cooperate. In many approaches, agents are assumed to have pre-set, fixed preferences...
CCS
2003
ACM
14 years 3 months ago
2003
ACM
Pairwise key establishment is a fundamental security service in sensor networks; it enables sensor nodes to communicate securely with each other using cryptographic techniques. Ho...
HPDC
2002
IEEE
14 years 2 months ago
2002
IEEE
We describe a decentralized, adaptive mechanism for replica location in wide-area distributed systems. Unlike traditional, hierarchical (e.g, DNS) and more recent (e.g., CAN, Chor...
ICNP
2002
IEEE
14 years 2 months ago
2002
IEEE
Traffic regulation in public and private wireless LANs face a number of significant challenges, particularly in commercial networks where there is a need for efficient regulati...
ICPP
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents Linux/SimOS, a Linux operating system port to SimOS, which is a complete machine simulator from Stanford. The motivation for Linux/SimOS is to alleviate the li...