1362 search results - page 170 / 273 » Model Checking Large Network Protocol Implementations |
136
click to vote
CLUSTER
2004
IEEE
15 years 3 months ago
2004
IEEE
Group communications (multicast) are foreseen to be one of the most critical yet challenging technologies to meet the exponentially growing demands for data distribution in a large...
120
click to vote
HPDC
2002
IEEE
15 years 8 months ago
2002
IEEE
We describe a decentralized, adaptive mechanism for replica location in wide-area distributed systems. Unlike traditional, hierarchical (e.g, DNS) and more recent (e.g., CAN, Chor...
128
click to vote
NETWORKING
2000
15 years 4 months ago
2000
A number of distributed applications require communication services with Quality of Service (QoS) guarantees. The QoS provisioning issue in the Internet has been addressed by the I...
144
click to vote
CODES
2003
IEEE
15 years 8 months ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
164
click to vote
HASE
2008
IEEE
15 years 9 months ago
2008
IEEE
Due to the large number of attacks on open networks, information theft becomes a more and more severe problem. Secure computation can offer highly assured confidentiality protecti...