733 search results - page 6 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
104
click to vote
PPCP
1993
15 years 2 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
ALP
1994
Springer
15 years 2 months ago
1994
Springer
This paper studies the relationship between logic programs and term rewriting systems (TRSs). A compositional transform is de ned which given a logic program computes a TRS. For a...
111
Voted
HPDC
2003
IEEE
15 years 3 months ago
2003
IEEE
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...
85
Voted
SEUS
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
77
Voted
SENSYS
2009
ACM
15 years 5 months ago
2009
ACM
Creating and debugging programs for wireless embedded networks (WENs) is notoriously difficult. Macroprogramming is an emerging technology that aims to address this by providing ...