2800 search results - page 213 / 560 » Fibrational Control Structures |
148
Voted
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
138
click to vote
ASWEC
2005
IEEE
15 years 10 months ago
2005
IEEE
As modern computing environments become more open, distributed and pervasive, the software we build for those dynamic environments will need to become more adaptable and adaptive....
133
Voted
ICAC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a component-based architecture for autonomous repair management in distributed systems, and a prototype implementation of this architecture, called JADE, which...
147
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— We present the design and implementation of a real-time vision-based approach to detect and track features in a structured environment using an autonomous helicopter. Using vis...
126
Voted
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Software merging is a common and essential activity during the lifespan of large-scale software systems. Traditional textual merge techniques are inadequate for detecting syntacti...