2810 search results - page 89 / 562 » Contract-Based Component System Design |
131
click to vote
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents design and manufacturing procedure of a tele-operative rescue robot. First, the general task to be performed by such a robot is defined, and variant kinematic m...
259
click to vote
CASES
2011
ACM
14 years 2 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
127
click to vote
ICAC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper proposes autonomic or organic computing principles to be applied to hardware design methods for future SoC solutions. Incorporating self-calibration, fault tolerance or...
125
click to vote
FDL
2011
IEEE
14 years 2 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
119
click to vote
AGENTS
1998
Springer
15 years 7 months ago
1998
Springer
of other components. This abstract presents an implemented illustration of such explicit component synergy and its usefulness in dynamic multi-agent environments. In such environme...