4894 search results - page 646 / 979 » Dynamic Abstraction Planning |
181
Voted
MOBISYS
2005
ACM
16 years 6 months ago
2005
ACM
Realityflythrough is a telepresence/tele-reality system that works in the dynamic, uncalibrated environments typically associated with ubiquitous computing. By harnessing networke...
148
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
171
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
145
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. A cellular automaton is a parallel synchronous computing model, which consists in a juxtaposition of finite automata whose state evolves according to that of their neigh...
168
click to vote
DASFAA
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract. Despite the recent emergence of many large-scale networks in different application domains, an important measure that captures a participant’s diversity in the network ...