1103 search results - page 155 / 221 » Semantic Interoperability of Authorizations |
WIKIS
2009
ACM
14 years 4 months ago
2009
ACM
Software development is a knowledge-intensive activity and frequently implies a progressive crystallization of knowledge, towards programming language statements. Although wikis h...
CANS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present a semantic extension to X.509 certificates that allows incorporating new anonymity signature schemes into the X.509 framework. This fact entails advantages to...
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
DAWAK
2001
Springer
14 years 2 months ago
2001
Springer
Complex web information structures prevent search engines from providing satisfactory context-sensitive retrieval. We see that in order to overcome this obstacle, it is essential t...