9067 search results - page 572 / 1814 » Adaptive Model Checking |
234
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
216
click to vote
AIEDU
2005
15 years 7 months ago
2005
The Bayesian framework offers a number of techniques for inferring an individual's knowledge state from evidence of mastery of concepts or skills. A typical application where ...
214
click to vote
MABS
2005
Springer
16 years 18 days ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
198
click to vote
SELMAS
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
178
click to vote
PEPM
2004
ACM
16 years 14 days ago
2004
ACM
To our point of view, adaptability is a key characteristic of components and should be at the heart of any proper component model. However, contrarily to the object crystal-box mod...