1177 search results - page 113 / 236 » A Theory of Role Composition |
171
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
In this note we consider a simple reformulation of the traditional power iteration algorithm for computing the stationary distribution of a Markov chain. Rather than communicate t...
166
click to vote
PODS
2008
ACM
16 years 6 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
147
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
Online collaboration, in comparison to face-to-face collaboration, is advantageous in making multiparty teamwork possible at a very low cost. As multicultural multiparty collabora...
175
click to vote
ESORICS
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
137
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...