4209 search results - page 453 / 842 » Abstract Dialectical Frameworks |
155
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
138
click to vote
ICRA
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract— Using autonomous mobile robots to patrol environments for detecting intruders is a topic of increasing relevance for its possible applications. A large part of strategi...
169
click to vote
ICRA
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract— We present a novel approach to compute collisionfree paths for multiple robots subject to local coordination constraints. More specifically, given a set of robots, the...
152
click to vote
ICSEA
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract—In order to check the fulfilment of non-functional requirements at an early system design and development stage, we provide a framework that facilitates the combination ...
166
click to vote
INFOCOM
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract—We investigate optimal resource allocation for delaylimited cooperative communication in time varying wireless networks. Motivated by real-time applications that have st...