598 search results - page 29 / 120 » Aspect-Oriented Development Using Protocol Modeling |
SP
1998
IEEE
14 years 2 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
SIGMETRICS
2008
ACM
13 years 9 months ago
2008
ACM
This paper develops analytic models that characterize the behavior of on-demand stored media content delivery using BitTorrent-like protocols. The models capture the effects of di...
MOBIHOC
2003
ACM
14 years 9 months ago
2003
ACM
We develop a detailed approach to study how mobilityimpacts the performance of reactive MANET routing protocols. In particular we examine how the statistics of path durations inclu...
AAMAS
2007
Springer
13 years 10 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
ATAL
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, we investigate a model of a combinatorial, procurement multi-attribute auction, in which each sales item is defined by several attributes called quality, the buyer...