1171 search results - page 65 / 235 » A Logical Language for Expressing Authorizations |
156
click to vote
CSL
2005
Springer
15 years 11 months ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...
150
click to vote
VL
1995
IEEE
15 years 9 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
181
click to vote
ATAL
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
191
click to vote
VLDB
2001
ACM
15 years 10 months ago
2001
ACM
With the advent of XML as a standard for data representation and exchange on the Internet, storing and querying XML data becomes more and more important. Several XML query languag...
161
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...