2136 search results - page 173 / 428 » A Game-Theoretic Operational Semantics |
149
Voted
AISC
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...
133
Voted
EON
2008
15 years 5 months ago
2008
Abstract In this paper we present how Semantic Web Service technology can be used to overcome process and data heterogeneity in a B2B integration scenario. While one partner uses s...
116
Voted
PLANX
2007
15 years 5 months ago
2007
Several proposals for updating XML have been introduced. Many of them have a rather complicated semantics due to the interaction of side-effects and updates, and some proposals a...
111
Voted
EACL
2006
ACL Anthology
15 years 5 months ago
2006
ACL Anthology
GOD (General Ontology Discovery) is an unsupervised system to extract semantic relations among domain specific entities and concepts from texts. Operationally, it acts as a search...
229
Voted
ASIAN
2009
Springer
15 years 4 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...