3546 search results - page 448 / 710 » A Causal Logic of Logic Programming |
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
Trust dilution and trust fusion are two operators that are used to calculate transitive trust in a trust network. Various implementations of these operators already exist but are n...
162
click to vote
LICS
1994
IEEE
15 years 5 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
117
click to vote
FPL
1994
Springer
15 years 5 months ago
1994
Springer
This paper introduces a new high level programming language for a novel class of computational devices namely data-procedural machines. These machines are by up to several orders o...
68
Voted
IFIP
1993
Springer
15 years 5 months ago
1993
Springer
An advanced Self-Timed Reduced Instruction Set Computer (ST-RISC) architecture is described. It is designed hierarchically, and is formally specified functionally at the various ...
107
click to vote
APLAS
2006
ACM
15 years 5 months ago
2006
ACM
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...