2291 search results - page 112 / 459 » Logic Programming and Model Checking |
119
Voted
IFIP
2009
Springer
15 years 4 days ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
134
click to vote
LFCS
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
114
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
121
click to vote
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
110
Voted
BIRTHDAY
2007
Springer
15 years 8 months ago
2007
Springer
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...