857 search results - page 114 / 172 » Compositional Semantics in Verbmobil |
176
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
205
click to vote
EWIMT
2004
15 years 7 months ago
2004
Reasoning on the Web is gaining in importance because of emerging Web applications such as contextadaptive Web systems (e.g. eLearning, recommender, personalised (multi-)media, an...
267
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We presents a compositional Hoare logic for proving semantic security of modes of operation for symmetric key block ciphers. We propose a simple programming language to s...
161
click to vote
ENTCS
2008
15 years 6 months ago
2008
We provide a categorical presentation of the Fusion calculus. Working in a suitable category of presheaves, we describe the syntax as initial algebra of a signature endofunctor, a...
193
click to vote
JNW
2008
15 years 6 months ago
2008
The distributed nature of peer-to-peer networks offers a solid ground for the deployment of environments where multiple agents, managing several resources, can cooperate in pursuin...