1138 search results - page 186 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
120
click to vote
AOSE
2005
Springer
15 years 7 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
132
click to vote
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
123
click to vote
IEE
2010
15 years 14 days ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
110
click to vote
ICWS
2009
IEEE
15 years 11 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
118
click to vote
ACISP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Permission-role assignment is an important issue in rolebased access control (RBAC). There are two types of problems that may arise in permission-role assignment. One is ...