20126 search results - page 179 / 4026 » Timed Transition Systems |
116
Voted
LOGCOM
2008
15 years 3 months ago
2008
In an earlier work [Abdulla et al. (2000, Information and Computation, 160, 109
148
Voted
DSRT
2005
IEEE
15 years 9 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
114
Voted
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Active research is being conducted in reducing power consumption of all the components of the Internet. To that end, we propose schemes for power reduction in network switches - T...
172
Voted
IDEAS
2009
IEEE
15 years 10 months ago
2009
IEEE
RDFKB (Resource Description Framework Knowledge Base) is a relational database system for RDF datasets which supports inference and knowledge management. Significant research has ...
163
Voted
EUROSSC
2009
Springer
15 years 10 months ago
2009
Springer
A major challenge in using multi-modal, distributed sensor systems for activity recognition is to maintain a temporal synchronization between individually recorded data streams. A ...