95 search results - page 12 / 19 » Simulation based security in the applied pi calculus |
127
click to vote
ENTCS
2007
15 years 4 months ago
2007
We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a si...
171
click to vote
MSN
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we propose a Multicast Routing Protocol termed ZBMRP (Zone Based Multicast Routing Protocol) for Mobile Ad Hoc Networks (MANETs). ZBMRP applies on-demand procedures ...
186
click to vote
ATC
2007
Springer
15 years 10 months ago
2007
Springer
Service-oriented architectures (SOA) and, in particular, Web Services designs are currently widely used for the development of open, large-scale interoperable systems. In those sys...
154
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
— Numerous proposals exist for load balancing in peer-to-peer (p2p) networks. Some focus on namespace balancing, making the distance between nodes as uniform as possible. This te...
142
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
The Peer Sampling Service (PSS) has been proposed as a method to initiate and maintain the set of connections between nodes in unstructured peer to peer (P2P) networks. The PSS us...