1171 search results - page 208 / 235 » A Logical Language for Expressing Authorizations |
SPAA
1997
ACM
15 years 3 months ago
1997
ACM
Pipelining has been used in the design of many PRAM algorithms to reduce their asymptotic running time. Paul, Vishkin, and Wagener (PVW) used the approach in a parallel implementat...
CHI
2009
ACM
16 years 9 days ago
2009
ACM
While most collaboration technologies are concerned with supporting particular tasks such as workflows or meetings, many work groups do not have the teamwork skills essential to e...
101
click to vote
SEFM
2006
IEEE
15 years 5 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
106
click to vote
OSDI
1996
ACM
15 years 1 months ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...
125
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...