2205 search results - page 105 / 441 » Mutation Operators for Specifications |
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
EDBT
2006
ACM
14 years 26 days ago
2006
ACM
There has been growing interest in the addition of update operations to languages that operate on XML data, for example, XQuery and XJ. These update operations support efficient an...
ICCAD
2005
IEEE
14 years 6 months ago
2005
IEEE
Abstract— A Kauffman network is an abstract model of gene regulatory networks. Each gene is represented by a vertex. An edge from one vertex to another implies that the former ge...
GECCO
2009
Springer
14 years 3 months ago
2009
Springer
The concept of artificial evolution has been applied to numerous real world applications in different domains. In this paper, we use this concept in the domain of virology to ev...
CISIM
2008
IEEE
14 years 3 months ago
2008
IEEE
The analogy between Immune Systems and Intrusion Detection Systems encourage the use of Artificial Immune Systems for anomaly detection in computer networks. This paper describes ...