634 search results - page 44 / 127 » Separability in the Ambient Logic |
SOSP
1993
ACM
14 years 11 months ago
1993
ACM
The Logical Disk (LD) defines a new interface to disk storage that separates file management and disk management by using logical block numbers and block lists. The LD interface...
PLDI
1990
ACM
15 years 1 months ago
1990
ACM
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
PODS
1990
ACM
15 years 1 months ago
1990
ACM
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...
TACAS
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
JCP
2008
14 years 9 months ago
2008
Trust mechanism will be an important trend in the field of security for open network. But, as an important factor risk is little considered in trust model. In this paper, Further w...