1536 search results - page 98 / 308 » Flexible simulation of distributed protocols for mobile comp... |
130
Voted
NCA
2006
IEEE
15 years 9 months ago
2006
IEEE
Large-scale distributed systems, e.g., Grid or P2P networks, are targets for large-scale attacks. Unfortunately, few existing systems support propagation of alerts during the atta...
129
Voted
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
107
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose several models based on discrete-time Markov chains for the analysis of Distributed Hash Tables (DHTs). Specifically, we examine the Pastry routing protocol, as well a...
117
Voted
AP2PC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The newscast model is a general approach for communication in large agent-based distributed systems. The two basic services— membership management and information disse...
142
Voted
DCOSS
2010
Springer
15 years 3 months ago
2010
Springer
Synchronization is widely considered as an important service in distributed systems which may simplify protocol design. Phase clock is a general synchronization tool that provides ...