842 search results - page 19 / 169 » About the authors |
CORR
2002
Springer
13 years 7 months ago
2002
Springer
Abstract. The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory a...
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
ELPUB
1999
ACM
13 years 12 months ago
1999
ACM
The Department of Information Science at Loughborough University has carried out several user studies on electronic journals in recent years, including the ELVYN and Cafe Jus proj...
EDBT
2008
ACM
14 years 7 months ago
2008
ACM
To carry out work assignments, small groups distributed within a larger enterprise often need to share documents among themselves while shielding those documents from others'...
CSFW
2008
IEEE
14 years 2 months ago
2008
IEEE
Authorization logics provide a principled and flexible approach to specifying access control policies. One of their compelling benefits is that a proof in the logic is evidence ...