10910 search results - page 138 / 2182 » Input modeling using a computer algebra system |
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
CG
2000
Springer
14 years 9 months ago
2000
Springer
CMSB
2006
Springer
15 years 1 months ago
2006
Springer
ICS
2001
Tsinghua U.
15 years 2 months ago
2001
Tsinghua U.
An accurate, tractable, analytic cache model for time-shared systems is presented, which estimates the overall cache missrate of a multiprocessing system with any cache size and t...
SACMAT
2009
ACM
15 years 4 months ago
2009
ACM
Collaborative and distributed applications, such as dynamic coalitions and virtualized grid computing, often require integrating access control policies of collaborating parties. ...