1123 search results - page 8 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
100
click to vote
JOT
2007
14 years 11 months ago
2007
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
IJON
2008
14 years 11 months ago
2008
Presence-absence (0-1) observations are special in that often the absence of evidence is not evidence of absence. Here we develop an independent factor model, which has the unique...
GECCO
2008
Springer
15 years 23 days ago
2008
Springer
Bio-inspired ad hoc routing is an active area of research. The designers of these algorithms predominantly evaluate the performance of their protocols with the help of simulation ...
RV
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We consider monitoring and checking formally specified properties in a network. We are addressing the problem of deploying the checkers on different network nodes that ...
122
click to vote
ICTAI
1997
IEEE
15 years 3 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...