3218 search results - page 41 / 644 » Timed Extensions for SDL |
115
Voted
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
The standard reflection API of Java provides the ability to introspect a program but not to alter program behavior. This paper presents an extension to the reflection API for addr...
143
click to vote
SFM
2004
Springer
15 years 9 months ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
110
click to vote
MACH
1993
15 years 5 months ago
1993
ent CMU Mach 3.0 microkernel exports simple timestamp and delay abstractions through host get time() and a timeout parameter to mach msg(). While this is sufficient for many purp...
121
click to vote
CONCUR
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...