8587 search results - page 55 / 1718 » Interactive dynamic abstraction |
EUROS
2008
13 years 11 months ago
2008
Abstract. The increasing complexity of humanoid robots and their expected performance in real dynamic environments demand an equally complex, autonomous and dynamic solution. Our a...
DCOSS
2011
Springer
12 years 9 months ago
2011
Springer
—Modular software, in which strongly-separated units of functionality can be independently added to and removed from a node’s running software, offers a promising approach to e...
PERCOM
2006
ACM
13 years 9 months ago
2006
ACM
Migratory interactive services play an important role in supporting mobile users because they allow them to continue their activities across interaction with different devices. Wh...
LICS
2010
IEEE
13 years 7 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
ESOP
2004
Springer
14 years 2 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...