1194 search results - page 64 / 239 » A Language for Implementing Arbitrary Logics |
161
click to vote
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...
104
click to vote
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
105
click to vote
LOPSTR
2005
Springer
15 years 3 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
POLICY
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we describe the use of description logic as the basis for a policy representation language and show how it is used in our implementation of a policy managed pervasi...
SOSP
2005
ACM
15 years 6 months ago
2005
ACM
Overlay networks are used today in a variety of distributed systems ranging from file-sharing and storage systems to communication infrastructures. However, designing, building a...