974 search results - page 83 / 195 » Formal Modeling of Communication Traces |
115
click to vote
EUROPAR
2003
Springer
15 years 4 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
113
click to vote
EDCC
2010
Springer
15 years 4 months ago
2010
Springer
Wireless networks are starting to be populated by interconnected devices that reveal remarkable hardware and software differences. This fact raises a number of questions on the ap...
82
Voted
DISCEX
2003
IEEE
15 years 5 months ago
2003
IEEE
Secure group communication protocols have been designed to meet needs such as secure management of group membership, confidential group communication, and access control. New lan...
107
click to vote
CCS
2006
ACM
15 years 3 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
INFOCOM
2000
IEEE
15 years 4 months ago
2000
IEEE
—Transport of real-time voice traffic on the Internet is difficult due to packet loss and jitter. Packet loss is handled primarily through a variety of different forward error ...