1269 search results - page 149 / 254 » Pi-Calculus in Logical Form |
176
Voted
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
175
click to vote
ICDE
2012
IEEE
13 years 7 months ago
2012
IEEE
—A facility for merging equivalent data streams can support multiple capabilities in a data stream management system (DSMS), such as query-plan switching and high availability. O...
137
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...
148
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Propositional canonical Gentzen-type systems, introduced in [1], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
222
click to vote
SIGMOD
2005
ACM
16 years 5 months ago
2005
ACM
The description, composition, and execution of even logically simple scientific workflows are often complicated by the need to deal with "messy" issues like heterogeneou...