537 search results - page 71 / 108 » Digital Evolution of Behavioral Models for Autonomic Systems |
154
Voted
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
Over the last decade, there has been a significant increase in the number and sophistication of malware-related attacks and infections. Many detection techniques have been propos...
123
click to vote
SEKE
2007
Springer
15 years 10 months ago
2007
Springer
We define adaptability as the capacity of software in adjusting its behavior in response to changing conditions. To list just a few examples, adaptability is important in pervasiv...
117
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
abstract such additional information as network annotations. We introduce a network topology modeling framework that treats annotations as an extended correlation profile of a net...
127
Voted
IJSYSC
2000
15 years 3 months ago
2000
The generation of complex entities with advantageous behaviours beyond our manual design capability requires long-term incremental evolution with continuing emergence. In this pap...
171
Voted
CL
2007
Springer
15 years 3 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...