168 search results - page 17 / 34 » Towards validated real-time software |
SPE
2010
13 years 8 months ago
2010
Abstract. This paper compares organization and practices for software reuse in integrationoriented software product lines and open source software projects. The main observation is...
COMPSAC
2010
IEEE
13 years 7 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
FAC
2006
13 years 9 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
WACV
2007
IEEE
14 years 4 months ago
2007
IEEE
We consider the problem of autonomous navigation in unstructured outdoor terrains using vision sensors. The goal is for a robot to come into a new environment, map it and move to ...
VTC
2007
IEEE
14 years 4 months ago
2007
IEEE
—The Overbot is one of the original DARPA Grand Challenge vehicles now being used as a platform for autonomous vehicle research. The vehicle, equipped with a complete actuator an...