4962 search results - page 358 / 993 » Stochastic Model Checking |
144
Voted
ENTCS
2006
15 years 3 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
148
Voted
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
123
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
153
click to vote
GLOBECOM
2010
IEEE
15 years 25 days ago
2010
IEEE
This paper proposes a novel three-dimensional (3D) two-sphere regular-shaped geometry-based stochastic model (RSGBSM) with only double-bounced rays for non-isotropic scattering nar...
126
Voted
ICCAD
2004
IEEE
16 years 11 days ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...