3481 search results - page 480 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
163
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
139
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
The main contribution of this paper is the definition of the preference description language ¡¢ . This language allows us to combine qualitative and quantitative, penalty bas...
127
click to vote
IFIP
2009
Springer
15 years 8 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...
144
click to vote
FPL
1994
Springer
15 years 8 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...
IFIP
1993
Springer
15 years 8 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 ...