4962 search results - page 527 / 993 » Stochastic Model Checking |
138
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
137
click to vote
IAAI
2001
15 years 6 months ago
2001
ADIOP is an application for Automated Diagnosis of InterOperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices...
146
click to vote
DEXA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
125
click to vote
JIPS
2010
14 years 11 months ago
2010
Communication devices aim to provide a multimedia service without spatial or temporal limitations in an IP-based environment. However, it is incapable of allowing for fair use by c...
146
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
Abstract A divide-and-conquer algorithm for computing the parametric yield of large analog circuits is presented. The algorithm targets applications whose performance spreads could...