13140 search results - page 29 / 2628 » Coupling Component Systems towards Systems of Systems |
124
Voted
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
— Autonomous robot systems have to manage their energy wisely in order to complete their missions. Typical approaches seek to conserve energy by energy-efficient motion or senso...
104
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
124
Voted
ICFEM
1998
Springer
15 years 8 months ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
169
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Open distributed systems such as service oriented architecture and cloud computing have emerged as promising platforms to deliver software as a service to users. However, for many...
153
Voted
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...