5482 search results - page 706 / 1097 » Logic Programming and Databases |
187
click to vote
CCS
2007
ACM
16 years 29 days 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...
173
click to vote
TLDI
2005
ACM
16 years 10 days ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
200
Voted
CCS
2005
ACM
16 years 9 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
263
click to vote
ICDT
2009
ACM
16 years 7 months ago
2009
ACM
We study the problem of querying data sources that accept only a limited set of queries, such as sources accessible by Web services which can implement very large (potentially inf...
254
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Mashup is a new application development approach that allows users to aggregate multiple services to create a service for a new purpose. Even if the Mashup approach opens new and ...