306 search results - page 11 / 62 » Dynamic Software Updates: The State Mapping Problem |
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— In this paper, we present a new hierarchical optimization solution to the graph-based simultaneous localization and mapping (SLAM) problem. During online mapping, the a...
SEAA
2008
IEEE
14 years 2 months ago
2008
IEEE
The OSGi Services Platform provides a framework for the dynamic deployment of Java-based applications. It allows to install, to activate, to update and to uninstall application mo...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
FORTE
2008
13 years 9 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
IWAN
2000
Springer
13 years 11 months ago
2000
Springer
The primary goal of active networking is to increase the pace of network evolution. The approach to achieving this goal, as well as the goal of enhancing customizability, is to al...