1895 search results - page 161 / 379 » Using ATL for Checking Models |
150
Voted
JHSN
2006
15 years 5 months ago
2006
We present a refined model for Role Based Access Control policies and define a risk measure for the model, which expresses elements of the operational, combinatorial and conflict ...
125
Voted
ACSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
The individual vulnerabilities of hosts on a network can be combined by an attacker to gain access that would not be possible if the hosts were not interconnected. Currently avail...
137
click to vote
ISSS
2000
IEEE
15 years 9 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
135
click to vote
HAIS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Cooperative Coevolution is a technique in the area of Evolutionary Computation. It has been applied to many combinatorial problems with great success. This contribution p...
130
Voted
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...