133
Voted
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
134
Voted
IAT
2007
IEEE
15 years 8 months ago
2007
IEEE
Multiagent systems (MAS) satisfy to design requirements for open physical complex systems. However, up to now, no method allows to build software/hardware hybrid multiagent system...
161
click to vote
IAT
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a design of high-speed network traffic acquisition subsystem suitable for agent-based intrusion detection systems. To match the performance requirements and to...
134
click to vote
FROCOS
2009
Springer
15 years 8 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
152
click to vote
IAT
2007
IEEE
15 years 8 months ago
2007
IEEE
The purpose of this paper is to introduce a multi-agent model for plan synthesis in which the production of a global shared plan is based on a promising unified framework based on...