3218 search results - page 62 / 644 » Timed Extensions for SDL |
AAAI
2000
13 years 11 months ago
2000
Temporal indeterminacy is an inherent problem which arises when capturing and manipulating temporal data in many application areas. As such, representation and manipulation of tim...
PDPTA
1997
13 years 11 months ago
1997
This paper describes the design and implementation of the Legion run-time library LRTL , focusing speci cally on facilities that enable extensibility and con gurability. These fac...
RTDB
1996
13 years 11 months ago
1996
This paper shows how priority ceiling techniques can be added to object-based real-time semantic concurrency control. The resulting protocol provides more potential concurrency fo...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
We introduce hybrid branching-time logics as extensions of CT L-like logics with hybrid machinery such as the downarrow-operator. Following recent work in the linear framework, we...
FUIN
2002
13 years 9 months ago
2002
Time-varying codes associate variable length code words to letters being encoded depending on their positions in the input string. These codes have been introduced in [8] as a pro...