1980 search results - page 203 / 396 » Compositional Model Checking of Real Time Systems |
112
click to vote
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
103
click to vote
WSC
2007
15 years 5 months ago
2007
Primary care providers (PCPs) provide the majority of care patients receive during their lifetime. We consider the problem of determining the size and composition of physician pan...
147
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— A key enabler of the recently popularized, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reu...
105
click to vote
MASCOTS
2008
15 years 4 months ago
2008
We present and validate an enhanced analytical queueing network model of zoned RAID. The model focuses on RAID levels 01 and 5, and yields the distribution of I/O request response...
111
click to vote
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...