2136 search results - page 187 / 428 » Learning Behavior Models for Hybrid Timed Systems |
191
click to vote
ICDCS
2012
IEEE
13 years 6 months ago
2012
IEEE
—Virtual coordinate systems (VCS) provide accurate estimations of latency between arbitrary hosts on a network, while conducting a small amount of actual measurements and relying...
132
Voted
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
—As the need for embedded systems to interact with other systems is growing fast, we see great opportunities in introducing the hardware-in-the-loop technique to the field of ha...
138
click to vote
RITA
2000
15 years 3 months ago
2000
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
142
Voted
WCNC
2008
IEEE
15 years 10 months ago
2008
IEEE
—Existing cooperative diversity protocols are designed with the inherent assumption that users exhibit cooperative behavior all the time. However, in a practical cooperative wire...
196
click to vote
ECRTS
2010
IEEE
15 years 4 months ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...