3147 search results - page 421 / 630 » Open-Source Model Checking |
139
Voted
DBPL
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
144
click to vote
DAC
1996
ACM
15 years 6 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
108
click to vote
HAIS
2009
Springer
15 years 5 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...
113
Voted
CCCG
2006
15 years 3 months ago
2006
A room is a simple polygon with a prespecified point, called the door, on its boundary. A search starts at the door and must detect any intruder that may be in the room, while maki...
123
click to vote
JHSN
2006
15 years 2 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 ...