419 search results - page 37 / 84 » Automatic Synthesis of Real Time Systems |
166
click to vote
AMDO
2000
Springer
15 years 7 months ago
2000
Springer
- In this paper we present a specific matching technique based on basic motor patterns between two image sequences taken from different view points and a VRML synthetic human model...
124
click to vote
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...
126
click to vote
RTCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
135
click to vote
TCS
2008
15 years 4 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
125
click to vote
WAC
2005
Springer
15 years 9 months ago
2005
Springer
Truly autonomic networks ultimately require self-modifying, evolving protocol software. Otherwise humans must intervene in every situation that has not been anticipated at design t...