752 search results - page 28 / 151 » Abstract models for dialogue protocols |
130
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
127
Voted
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin's supercompilation method and extended to support imperative and object-oriented...
138
click to vote
CRYPTO
2001
Springer
15 years 8 months ago
2001
Springer
d Abstract) Ran Canetti and Marc Fischlin Abstract. We propose a new security measure for commitment protocols, called Universally Composable (UC) Commitment. The measure guarantee...
112
Voted
EUROGP
2008
Springer
15 years 5 months ago
2008
Springer
We present an approach for the automated synthesis of proactive aggregation protocols using Genetic Programming and discuss major decisions in modeling and simulating distributed a...
119
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...