942 search results - page 149 / 189 » Interrupt Timed Automata |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
—In energy harvesting communication systems, an exogenous recharge process supplies energy for the data transmission and arriving energy can be buffered in a battery before consu...
COGCOM
2010
13 years 6 months ago
2010
Controlling cognitive systems like domestic robots or intelligent assistive environments requires striking an appropriate balance between responsiveness and persistence. Basic goal...
ICC
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract— Large military ad hoc networks are often characterized by the interconnection of heterogeneous domains. The same trend is emerging in civilian MANETs (e.g., search and ...
FSTTCS
2010
Springer
13 years 6 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
LATA
2009
Springer
14 years 3 months ago
2009
Springer
We study the effects of faulty data on NP-hard sets. We consider hard sets for several polynomial time reductions, add corrupt data and then analyze whether the resulting sets are...