1362 search results - page 192 / 273 » Model Checking Large Network Protocol Implementations |
138
click to vote
SIMUTOOLS
2008
15 years 4 months ago
2008
This work describes mechanisms for simulating opportunistic and delay-tolerant networks in the OMNeT++ discrete event simulator. The mechanisms allow for simulating open systems o...
129
click to vote
CCE
2008
15 years 3 months ago
2008
Chemical supply chain networks provide large opportunities for cost reductions through the redesign of the flow of material from producer to customer. In this paper we present a m...
138
click to vote
EUROPAR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The peer sampling service is a middleware service that provides random samples from a large decentralized network to support gossip-based applications such as multicast, ...
122
click to vote
CN
2004
15 years 2 months ago
2004
In secure group communications, a key server can deliver a "grouporiented" rekey message [22] to a large number of users efficiently using multicast. For reliable delive...
194
click to vote
TMC
2012
13 years 5 months ago
2012
— While many protocols for sensor network security provide confidentiality for the content of messages, contextual information usually remains exposed. Such information can be c...