2661 search results - page 145 / 533 » Model Checking Performability Properties |
137
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
125
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Motivated by the recent findings of super-diffusive patterns in mobility traces, we investigate the impact of superdiffusive behavior of mobile nodes on contact-based metrics ...
129
Voted
DBSEC
2007
15 years 5 months ago
2007
Abstract. Despite the widespread adoption of Role-based Access Control (RBAC) models, new access control models are required for new applications for which RBAC may not be especial...
105
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
127
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...