1362 search results - page 193 / 273 » Model Checking Large Network Protocol Implementations |
107
click to vote
ICAI
2004
15 years 4 months ago
2004
The goal of this work is to design and implement an agent-based system that facilitates interaction among a group of individuals who are part of an organization, observe types and...
143
click to vote
CONEXT
2009
ACM
15 years 4 months ago
2009
ACM
Software bugs in routers lead to network outages, security vulnerabilities, and other unexpected behavior. Rather than simply crashing the router, bugs can violate protocol semant...
142
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present the discrete beeping communication model, which assumes nodes have minimal knowledge about their environment and severely limited communication capabilities. S...
157
click to vote
PERCOM
2011
ACM
14 years 10 months ago
2011
ACM
We describe AnonySense, a privacy-aware system for realizing pervasive applications based on collaborative, opportunistic sensing by personal mobile devices. AnonySense allows app...
131
click to vote
JNSM
2010
14 years 10 months ago
2010
The Internet Protocol Security Architecture IPsec is hard to deploy in large, nested, or dynamic scenarios. The major reason for this is the need for manual configuration of the cr...