1536 search results - page 146 / 308 » Flexible simulation of distributed protocols for mobile comp... |
ICDCS
2007
IEEE
15 years 4 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
77
Voted
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
: In this paper, we have proposed a time efficient, energy saving and robust broadcast/multicast protocol for reconfigurable cluster-based sensor network. In our broadcast protocol...
82
Voted
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
PODC
1994
ACM
15 years 2 months ago
1994
ACM
In this paper, we investigate the practical performance of lock-free techniques that provide synchronization on shared-memory multiprocessors. Our goal is to provide a technique t...
119
click to vote
ICNP
2009
IEEE
14 years 8 months ago
2009
IEEE
Sensor networks deployed in hostile areas are subject to node replication attacks, in which an adversary compromises a few sensors, extracts the security keys, and clones them in a...