1075 search results - page 124 / 215 » An Object-Oriented Realtime Framework for Distributed Contro... |
146
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
132
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
232
Voted
ICMI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we describe the GroupMedia system, which uses wireless wearable computers to measure audio features, headmovement, and galvanic skin response (GSR) for dyads and gr...
134
click to vote
JIRS
2007
15 years 4 months ago
2007
A detailed step-by-step approach is presented to optimize, standardize, and automate the process of unmanned vehicle controller design, evaluation, validation and verification, fol...
133
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...