3229 search results - page 253 / 646 » The Theory of Timed Automata |
208
click to vote
IFM
2007
Springer
16 years 24 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
181
click to vote
ECRTS
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper investigates real-time scheduling in a system whose energy reservoir is replenished by an environmental power source. The execution of tasks is deemed primarily energy-...
197
click to vote
RTSS
2005
IEEE
16 years 7 days ago
2005
IEEE
Many real-time systems must control their CPU utilizations in order to meet end-to-end deadlines and prevent overload. Utilization control is particularly challenging in distribut...
164
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
219
click to vote
WSNA
2003
ACM
15 years 12 months ago
2003
ACM
We consider the problem of synchronization of all clocks in a sensor network, in the regime of asymptotically high node densities. We formulate this problem as one in which all cl...