3387 search results - page 553 / 678 » Model-Checking for Real-Time Systems |
105
click to vote
IFIPTCS
2000
15 years 4 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
107
Voted
MM
2010
ACM
15 years 29 days ago
2010
ACM
We present a novel visual creativity tool that automatically recognizes facial expressions and tracks facial muscle movements in real time to produce sounds. The facial expression...
CJ
2007
15 years 18 days ago
2007
In mobile environments transmitting information relevant to an event along with notification of the event has been proven to be an effective means of providing revenue enhancing s...
102
Voted
DAC
2009
ACM
15 years 7 months ago
2009
ACM
With new technologies, temperature has become a major issue to be considered at system level design. Without taking temperature aspects into consideration, no approach to energy o...
113
Voted
RTCSA
2009
IEEE
15 years 7 months ago
2009
IEEE
The question whether preemptive systems are better than non-preemptive systems has been debated for a long time, but only partial answers have been provided in the real-time liter...