2875 search results - page 210 / 575 » Model checking agentspeak |
106
Voted
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
113
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
119
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
127
Voted
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
154
Voted
DLOG
2009
15 years 1 months ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...