2477 search results - page 104 / 496 » First-Order Interactive Programming |
SPIN
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
CLIMA
2004
13 years 10 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— We present an interface for controlling mobile robots that combines aspects of graphical trajectory specification and state-based programming. This work is motivated by common...
WCRE
2006
IEEE
14 years 3 months ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Multimodal interfaces are becoming increasingly ubiquitous with the advent of mobile devices, accessibility considerations, and novel software technologies that combine diverse in...