3820 search results - page 368 / 764 » Bounded Model Debugging |
149
click to vote
CSFW
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Audit mechanisms are essential for privacy protection in permissive access control regimes, such as in hospitals where denying legitimate access requests can adversely a...
163
click to vote
CSFW
2012
IEEE
13 years 7 months ago
2012
IEEE
—In this paper, we propose a formal analysis of domain extenders for hash functions in the indifferentiability framework. We define a general model for domain extenders and prov...
171
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
We study three scheduling problems (file redistribution, independent tasks scheduling and broadcasting) on large scale heterogeneous platforms under the Bounded Multi-port Model. I...
137
click to vote
STOC
2002
ACM
16 years 5 months ago
2002
ACM
A randomized algorithm is given that solves the wait-free consensus problem for a shared-memory model with infinitely many processes. The algorithm is based on a weak shared coin ...
155
click to vote
SPAA
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. At-most-once semantics is one of the standard models for object access in decentralized systems. Accessing an object, such as altering the state of the object by means of...