1228 search results - page 143 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
161
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
159
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
182
click to vote
SIGCSE
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents a family of programming projects appropriate to a sophomore-level data structures course, centered around the concept of a buffer pool serving as the access i...
173
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
178
click to vote
EDBTW
2010
Springer
15 years 4 months ago
2010
Springer
Nowadays, due to the lack of face-to-face contact, distance course instructors have real difficulties knowing who their students are, how their students behave in the virtual cour...