120 search results - page 4 / 24 » Autonomic machine control: a case study |
IFM
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
This paper asks a new question: how can we control the collective behavior of self-organized multi-agent systems? We try to answer the question by proposing a new notion called `So...
IEE
2011
13 years 13 days ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...
IROS
2006
IEEE
13 years 11 months ago
2006
IEEE
- Metabolic studies have shown that there is a metabolic cost associated with carrying load [1]. In previous work, a lightweight, underactuated exoskeleton has been described that ...
CN
2007
13 years 5 months ago
2007
As ICT services are becoming more ubiquitous and mobile and access technologies grow to be more heterogeneous and complex, we are witnessing the increasing importance of two relat...