1362 search results - page 209 / 273 » Model Checking Large Network Protocol Implementations |
131
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...
134
click to vote
DAIS
2009
15 years 4 months ago
2009
Overlay networks have emerged as a powerful paradigm to realise a large range of distributed services. However, as the number of overlays grows and the systems that use them become...
115
click to vote
TON
2002
15 years 2 months ago
2002
The design of the IP protocol makes it difficult to reliably identify the originator of an IP packet. Even in the absence of any deliberate attempt to disguise a packet's orig...
124
click to vote
SENSYS
2010
ACM
15 years 26 days ago
2010
ACM
As more and more physical information becomes available, a critical problem is enabling the simple and efficient exchange of this data. We present our design for a simple RESTful ...
141
click to vote
TSE
2010
14 years 9 months ago
2010
The increasing reliance put on networked computer systems demands higher levels of dependability. This is even more relevant as new threats and forms of attack are constantly being...