2061 search results - page 86 / 413 » Authorization for Metacomputing Applications |
143
click to vote
CPC
2007
15 years 4 months ago
2007
Abstract. Szemer´edi’s regularity lemma for graphs has proved to be a powerful tool with many subsequent applications. The objective of this paper is to extend the techniques de...
174
click to vote
VL
2010
IEEE
15 years 2 months ago
2010
IEEE
I am creating a new programming language and editor that is aimed towards authoring interactive behaviors. This language is intended to allow more interaction designers to write t...
124
click to vote
CSFW
2008
IEEE
15 years 10 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 ...
150
click to vote
PLDI
2006
ACM
15 years 10 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...
123
click to vote
ICDM
2005
IEEE
15 years 9 months ago
2005
IEEE
Traditional data mining applications consider the problem of mining a single relation between two attributes. For example, in a scientific bibliography database, authors are rela...