446 search results - page 27 / 90 » Modal Logics for Timed Control |
DASC
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— In stream authentication protocols used for largescale data dissemination in autonomuous systems, authentication is based on the timing of the publication of keys, and ...
IJRR
2006
13 years 9 months ago
2006
Future space applications will require robotic systems to assemble, inspect, and maintain large space structures in orbit. For effective planning and control, robots will need to ...
DEDS
1998
13 years 8 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
RTSS
1993
IEEE
14 years 1 months ago
1993
IEEE
This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases: data temporal consistency, and data logical co...
DAC
2008
ACM
14 years 10 months ago
2008
ACM
Clock gating is the insertion of combinational logic along the clock path to prevent the unnecessary switching of registers and reduce dynamic power consumption. The conditions un...