306 search results - page 7 / 62 » From Scenarios to Timed Automata: Building Specifications fr... |
JUCS
2008
13 years 7 months ago
2008
: One of the key problems in developing standard based adaptive courses is the complexity involved in the design phase, especially when establishing the hooks for the dynamic model...
JFR
2007
13 years 7 months ago
2007
Urban Search And Rescue (USAR) is a time critical task. Rescue teams have to explore a large terrain within a short amount of time in order to locate survivors after a disaster. O...
PERVASIVE
2010
Springer
13 years 9 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
—This paper presents a spectrum sharing approach which exploits the clustered distribution of users as would be expected in a typical home with several communicating devices (als...
FM
2006
Springer
13 years 11 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...