2162 search results - page 241 / 433 » A Meta-Notation for Protocol Analysis |
221
click to vote
AGENTCL
2003
Springer
15 years 11 months ago
2003
Springer
This article aims to provide foundations for a new approach to Agent Communication Languages (ACLs). First, we present the theory of signalling acts. In contrast to current approa...
170
click to vote
HPCA
1999
IEEE
15 years 11 months ago
1999
IEEE
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...
162
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—As multiprocessor systems are increasingly used in real-time environments, scheduling and synchronization analysis of these platforms receive growing attention. However, most kn...
152
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper provides a queueing analysis for the slotted Aloha network. We assume the use of an exponential backoff protocol. Most prior work on slotted Aloha focuses on the anal...
151
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
The automation of agents that bargain within markets is a challenging open problem. In these settings a seller agent can take advantage from the competition among several buyer ag...