1164 search results - page 148 / 233 » Case Studies in Event-Driven Control |
148
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
141
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract-- This paper studies distributed coordination algorithms for multiple fractional-order systems over a directed communication graph. A general fractional-order consensus mo...
155
click to vote
AINA
2007
IEEE
15 years 4 months ago
2007
IEEE
The e-health domain has for objective to assist and manage citizens health. It concerns many actors like patient, doctors, hospitals and administration. Current and forthcoming ge...
165
Voted
HASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
122
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
A virtual plague is a process in which a behavior-affecting property spreads among characters in a Massively Multiplayer Online Game (MMOG). The MMOG individuals constitute a synt...