2468 search results - page 114 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
115
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We investigate in this paper the performance of a file sharing principle similar to the one implemented by eMule. For this purpose, we consider a system composed of N peers becomi...
134
Voted
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— A distributed medium access control (MAC) algorithm for uplink OFDMA networks under the IEEE 802.16 framework is proposed and analyzed in this work. We present a simple...
112
Voted
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
127
Voted
ICWS
2009
IEEE
16 years 21 days ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
136
click to vote
OSDI
2006
ACM
16 years 3 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...