5639 search results - page 42 / 1128 » Timed Abstract Non-interference |
ENTCS
2008
14 years 9 months ago
2008
Abstract
QUESTA
2006
14 years 9 months ago
2006
Abstract We provide an approximate analysis of the transient sojourn time for a processor sharing queue with time varying arrival and service rates, where the load can vary over ti...
MACH
1993
14 years 11 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...
CONCUR
1998
Springer
15 years 2 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...
CORR
2010
Springer
14 years 8 months ago
2010
Springer
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...