1776 search results - page 255 / 356 » Using a Logic Programming Language with Persistence and Cont... |
164
click to vote
CCS
2007
ACM
16 years 11 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...
187
click to vote
CCS
2005
ACM
15 years 11 months 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...
174
click to vote
OOPSLA
2009
Springer
16 years 22 days ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
166
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
274
click to vote
VL
2008
IEEE
16 years 17 days ago
2008
IEEE
An important part of many programming tasks is the use of libraries and other forms of Application Programming Interfaces (APIs). Programming via web services using a Service-Orie...