1362 search results - page 45 / 273 » Model Checking Large Network Protocol Implementations |
119
click to vote
CIIT
2004
15 years 3 months ago
2004
Vulnerabilities arising from in-secure network protocol design and implementation present significant challenges to the network protocol community. Yet much of the focus is on sof...
122
click to vote
OSDI
2002
ACM
16 years 2 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
122
click to vote
ICNP
2006
IEEE
15 years 8 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
107
click to vote
ARGMAS
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we propose a new persuasion dialogue game for agent communication. We show how this dialogue game is modeled by a framework based on social commitments and arguments....
122
click to vote
FPL
2008
Springer
15 years 3 months ago
2008
Springer
FPGA devices have witnessed popularity in their use for the rapid prototyping of biological Spiking Neural Network (SNNs) applications, as they offer the key requirement of reconf...