2520 search results - page 134 / 504 » Model-checking behavioral programs |
157
Voted
ECBS
2007
IEEE
15 years 2 months ago
2007
IEEE
Machine learning has great utility within the context of network intrusion detection systems. In this paper, a behavior analysis-based learning framework for host level network in...
105
Voted
ACRI
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a research in the context of pedestrian dynamics according to Situated Cellular Agent (SCA), a Multi-Agent Systems approach whose roots are on Cellular Automata...
89
Voted
RAID
2005
Springer
15 years 6 months ago
2005
Springer
We introduce a notion, behavioral distance, for evaluating the extent to which processes—potentially running different programs and executing on different platforms—behave si...
125
click to vote
CL
2006
Springer
15 years 1 months ago
2006
Springer
Many software systems suffer from missing support for behavioral (runtime) composition and configuration of software components. The concern "behavioral composition and confi...
95
Voted
GECCO
2003
Springer
15 years 6 months ago
2003
Springer
We demonstrate the emergence of collective behavior in two evolutionary computation systems, one an evolutionary extension of a classic (highly constrained) flocking algorithm and...