1173 search results - page 107 / 235 » On the Compositionality of Round Abstraction |
143
click to vote
MFCS
1994
Springer
15 years 4 months ago
1994
Springer
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
CIA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Service oriented computing oers a new approach to programming. To be useful for large and diverse sets of problems, eective service selection and composition is crucial. ...
84
Voted
EUROCRYPT
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We introduce VSH, very smooth hash, a new S-bit hash function that is provably collision-resistant assuming the hardness of finding nontrivial modular square roots of ver...
109
click to vote
CBSE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...
94
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...