1774 search results - page 217 / 355 » Modeling Dynamic Component Interfaces |
121
Voted
SAC
2005
ACM
15 years 7 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
128
click to vote
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
128
click to vote
DASFAA
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract. In today's dynamic IT environment with increased global competition, enterprises must achieve greater business agility and decrease the TCO (Total Cost of Ownership)...
123
click to vote
LMO
1996
15 years 3 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
125
click to vote
IROS
2006
IEEE
15 years 8 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...