733 search results - page 18 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
129
click to vote
CHI
2010
ACM
15 years 7 months ago
2010
ACM
Paper prototyping offers unique affordances for interface design. However, due to its spontaneous nature and the limitations of paper, it is difficult to distill and communicate a...
127
click to vote
PPDP
1999
Springer
15 years 6 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
108
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
In order for parallel logic programming systems to become popular, they should serve the broadest range of applications. To achieve this goal, designers of parallel logic programm...
119
click to vote
ICLP
1995
Springer
15 years 5 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
146
click to vote
AMAI
2004
Springer
15 years 1 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...