129 search results - page 9 / 26 » PCAL: Language Support for Proof-Carrying Authorization Syst... |
121
Voted
IUI
2009
ACM
15 years 8 months ago
2009
ACM
Workflows have emerged as a common tool for scientists to express their computational analyses. While there are a multitude of visual data flow editors for workflow construction, ...
124
Voted
AAAI
2007
15 years 4 months ago
2007
This paper lays theoretical and software foundations for a World Wide Argument Web (WWAW): a large-scale Web of inter-connected arguments posted by individuals to express their op...
110
Voted
FOSSACS
2004
Springer
15 years 7 months ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
157
Voted
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
114
click to vote
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...