1268 search results - page 130 / 254 » One Logic to Use Them All |
136
click to vote
ESORICS
2010
Springer
15 years 1 months ago
2010
Springer
Fair exchange is one of the most fundamental problems in secure distributed computation. Alice has something that Bob wants, and Bob has something that Alice wants. A fair exchang...
106
Voted
CCS
2007
ACM
15 years 7 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
110
click to vote
JELIA
1990
Springer
15 years 4 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...
107
click to vote
ICFP
2005
ACM
16 years 22 days ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
111
click to vote
ELPUB
2004
ACM
15 years 6 months ago
2004
ACM
- This article presents a framework for a XML based search system composed by three layers: data layer, logic layer and presentation layer. In all three layers XML related technolo...