7778 search results - page 1458 / 1556 » Designing Controllers for Reachability |
127
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— Autonomous underwater vehicles (AUVs) are an indispensable tool for marine scientists to study the world’s oceans. The Slocum glider is a buoyancy driven AUV designed for mis...
124
click to vote
BPM
2009
Springer
15 years 10 months ago
2009
Springer
It is vital to use accurate models for the analysis, design, and/or control of business processes. Unfortunately, there are often important discrepancies between reality and models...
137
click to vote
TRUST
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Virtual Private Networks are a popular mechanism for building complex network infrastructures. Such infrastructures are usually accompanied by strict administrative restr...
163
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Previous work in multiagent coordination has addressed the challenge of planning in domains where agents must optimize a global goal, while satisfying local resource constraints. ...
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
This paper details the implementation of a software framework that aids the development of distributed and self-configurable software systems. This framework is an instance of a n...