551 search results - page 84 / 111 » Formalizing the Logic-Automaton Connection |
188
click to vote
POPL
2003
ACM
16 years 17 days ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
233
click to vote
CONCUR
2003
Springer
16 years 16 days ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
171
click to vote
CSFW
2002
IEEE
16 years 8 days ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
195
click to vote
ICPPW
2002
IEEE
16 years 7 days ago
2002
IEEE
Incidents such as Solar Sunrise and Nimda demonstrate the need to expressively model distributed and complex network attacks. To protect information systems, system administrators...
241
click to vote
KR
2010
Springer
16 years 2 days ago
2010
Springer
While type causality helps us to understand general relationships such as the etiology of a disease (smoking causing lung cancer), token causality aims to explain causal connectio...