1950 search results - page 168 / 390 » Lambda-Free Logical Frameworks |
205
click to vote
PLDI
2006
ACM
16 years 19 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
181
click to vote
SAC
2006
ACM
16 years 19 days ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
195
click to vote
TCC
2004
Springer
16 years 15 hour ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
173
click to vote
AGP
2003
IEEE
15 years 12 months ago
2003
IEEE
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...
173
click to vote
ISLPED
2003
ACM
15 years 12 months ago
2003
ACM
This paper develops a technique that uniquely combines the advantages of static scheduling and dynamic scheduling to reduce the energy consumed in modern superscalar processors wi...