1665 search results - page 48 / 333 » Monitoring Timing Constraints in Distributed Real-Time Syste... |
CRIWG
2004
14 years 11 months ago
2004
In this paper, a Customizable and Dynamic Locking (CDL) scheme is proposed for concurrency control in Internet-based real-time collaborative editors. The idea of dynamic-locking is...
FTCS
1994
14 years 11 months ago
1994
LATA
2010
Springer
15 years 7 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
ICCS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The proliferation of sensor networks in various areas of technology has enabled real-time behavioral monitoring of various physical systems in various length and time sca...