761 search results - page 48 / 153 » A Reactive Approach to Explanation |
117
click to vote
SPIN
2012
Springer
13 years 2 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
107
click to vote
EWSN
2006
Springer
15 years 11 months ago
2006
Springer
Time synchronization is a crucial component of a large class of sensor network applications, traditionally implemented as a standalone middleware service that provides a virtual gl...
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
— This paper presents a new method for reactive collision avoidance for mobile robots in complex and cluttered environments. Our technique is to adapt the “divide and conquer...
109
click to vote
SEFM
2008
IEEE
15 years 6 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...