2162 search results - page 410 / 433 » A Meta-Notation for Protocol Analysis |
126
click to vote
ATAL
2003
Springer
15 years 11 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...
188
click to vote
CCS
2003
ACM
15 years 11 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...
149
click to vote
HPDC
2002
IEEE
15 years 10 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...
146
click to vote
ICNP
2002
IEEE
15 years 10 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...
145
click to vote
ICPP
2002
IEEE
15 years 10 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...