733 search results - page 58 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
123
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Execution behavior of a Java application can be nondeterministic due to concurrent threads of execution, thread scheduling, and variable network delays. This nondeterminism in Jav...
149
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
154
click to vote
CONCUR
1992
Springer
15 years 8 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
123
click to vote
SP
2000
IEEE
15 years 7 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
146
click to vote
KCAP
2003
ACM
15 years 9 months ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...