8190 search results - page 244 / 1638 » From Timed to Hybrid Systems |
189
click to vote
BMVC
2000
15 years 8 months ago
2000
We describe a system which is designed to assist animators in extracting high-level information from sequences of images. The system is not meant to replace animators, but to be a...
190
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. With the prevalence of multi-core processors and cloud computing, the server consolidation using virtualization has increasingly expanded its territory, and the degree of...
156
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
Context-aware computing systems demand an accurate and up-to-date world model which computationally represents the environment they oversee. Systems to date tend to have small-sca...
195
click to vote
ADAEUROPE
2005
Springer
16 years 6 days ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
208
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...