626 search results - page 91 / 126 » Abstract Modularity |
126
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we present a vision-based terrain mapping and analysis system, and a model predictive control (MPC)based flight control system, for autonomous landing of a helicop...
174
Voted
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— For the collaborative control of a team of robots, a set of well-suited high-level control algorithms, especially for path planning and measurement scheduling, is essential. Th...
143
Voted
ECOWS
2007
Springer
15 years 10 months ago
2007
Springer
Service-Oriented Architectures (SOAs) are increasingly deployed to achieve distributed systems that are modular, flexible and extensible. Designing for a SOA can be difficult, how...
124
Voted
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
123
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...