144 search results - page 17 / 29 » Modeling conversation policies using permissions and obligat... |
DAC
2003
ACM
15 years 10 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
207
click to vote
SACMAT
2011
ACM
14 years 9 days ago
2011
ACM
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we deļ¬...
116
Voted
PODC
2012
ACM
12 years 12 months ago
2012
ACM
This work presents a classiļ¬cation of weak models of distributed computing. We focus on deterministic distributed algorithms, and we study models of computing that are weaker ve...
WEBI
2009
Springer
15 years 4 months ago
2009
Springer
Information sharing is a key objective in the age of Internet and virtual communities. Reputation information is an important part of a userās identity and is both a sensitive a...
CCS
2005
ACM
15 years 3 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...