1123 search results - page 136 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
148
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
178
click to vote
AAAI
2006
15 years 6 months ago
2006
This paper proposes a design for our entry into the 2006 AAAI Scavenger Hunt Competition and Robot Exhibition. We will be entering a scalable two agent system consisting of off-th...
134
click to vote
INFSOF
1998
15 years 4 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
233
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
124
click to vote
ICANN
2005
Springer
15 years 10 months ago
2005
Springer
This research employs unsupervised pattern recognition to approach the thorny issue of detecting anomalous network behavior. It applies a connectionist model to identify user behav...