1561 search results - page 282 / 313 » Probability Theory on IF Events |
166
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
160
click to vote
SAGA
2005
Springer
15 years 11 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
158
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
We introduce a novel approach to the creation of Virtual Reality Art installations, which supports the design of alternative worlds, in which laws of Physics can be redefined to i...
162
click to vote
SIGECOM
2004
ACM
15 years 11 months ago
2004
ACM
I develop a new mechanism for risk allocation and information speculation called a dynamic pari-mutuel market (DPM). A DPM acts as hybrid between a pari-mutuel market and a contin...
241
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...