2061 search results - page 86 / 413 » Authorization for Metacomputing Applications |
112
Voted
CPC
2007
15 years 17 days 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...
142
Voted
VL
2010
IEEE
14 years 11 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...
94
Voted
CSFW
2008
IEEE
15 years 7 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 ...
123
Voted
PLDI
2006
ACM
15 years 6 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...
92
Voted
ICDM
2005
IEEE
15 years 6 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...