2291 search results - page 250 / 459 » Logic Programming and Model Checking |
118
click to vote
ENTCS
2007
15 years 2 months ago
2007
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is n...
109
click to vote
FIDJI
2004
Springer
15 years 6 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
119
Voted
FORTE
2008
15 years 4 months ago
2008
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...
123
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
125
Voted
NJC
2006
15 years 2 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...