55 search results - page 11 / 11 » Addressing State Explosion in Behavior Protocol Verification |
SP
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
HPDC
2002
IEEE
13 years 10 months ago
2002
IEEE
Our research addresses the efficient transfer of large data across wide-area networks, focusing on applications like remote visualization and real-time collaboration. To attain h...
MTA
2011
13 years 9 days ago
2011
: With the advances in a variety of software/hardware technologies and wireless networking, there is coming a need for ubiquitous collaboration which allows people to access inform...
EUROPAR
2001
Springer
13 years 9 months ago
2001
Springer
This paper is on the construction of a server subsystem in a client/server system in an application context where the number of potential clients can be arbitrarily large. The imp...
SENSYS
2009
ACM
14 years 4 days ago
2009
ACM
Energy in sensor networks is a distributed, non-transferable resource. Over time, differences in energy availability are likely to arise. Protocols like routing trees may concent...