Sciweavers

7952 search results - page 370 / 1591
» Methods for Measuring Usability
Sort
View
ATAL
2009
Springer
15 years 11 months ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
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...
Jonathan Ezekiel, Alessio Lomuscio
AIME
2005
Springer
15 years 10 months ago
Design Patterns for Modelling Guidelines
It is by now widely accepted that medical guidelines can help to significantly improve the quality of medical care. Unfortunately, constructing the required medical guidelines is ...
Radu Serban, Annette ten Teije, Mar Marcos, Cristi...
144
Voted
KI
2005
Springer
15 years 10 months ago
A Probabilistic Multimodal Sensor Aggregation Scheme Applied for a Mobile Robot
Dealing with methods of human-robot interaction and using a real mobile robot, stable methods for people detection and tracking are fundamental features of such a system and requir...
Erik Schaffernicht, Christian Martin, Andrea Schei...
AIME
2003
Springer
15 years 10 months ago
Linking Clinical Guidelines with Formal Representations
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...
Peter Votruba, Silvia Miksch, Robert Kosara
ECOOP
2010
Springer
15 years 9 months ago
Essential AOP: The A Calculus
Abstract. Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification wit...
Bruno De Fraine, Erik Ernst, Mario Südholt