2498 search results - page 419 / 500 » Data Structures with Unpredictable Timing |
WCRE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Navigating large software systems is difficult as the various artifacts are distributed in a huge space, while the relationships between different artifacts often remain hidden...
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— Collision detection and estimation from a monocular visual sensor is an important enabling technology for safe navigation of small or micro air vehicles in near earth ...
ICST
2009
IEEE
15 years 6 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
124
click to vote
BPM
2009
Springer
15 years 6 months ago
2009
Springer
Process mining refers to the extraction of process models from event logs. Real-life processes tend to be less structured and more flexible. Traditional process mining algorithms ...
ICSOC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...