3729 search results - page 340 / 746 » On Formal Modeling of Agent Computations |
153
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Multi-agent System Product Lines (MAS-PLs) have emerged to integrate software product lines (SPLs) and agent-oriented software engineering techniques by incorporating their respec...
174
click to vote
JALC
2006
15 years 6 months ago
2006
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
165
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
199
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we want to exploit the knowledge obtained from those detected objects which are incorporated into the background model since they cease their movement. These motionl...
204
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...