2135 search results - page 173 / 427 » An Operational Semantics for JavaScript |
EUROMICRO
2004
IEEE
15 years 5 months ago
2004
IEEE
A common challenge in the development of web applications today lies in the handling of unforeseen navigation steps initiated by the user through the browser's Back, Forward ...
134
click to vote
AISC
2008
Springer
15 years 4 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...
119
click to vote
EON
2008
15 years 3 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...
106
click to vote
PLANX
2007
15 years 3 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...
EACL
2006
ACL Anthology
15 years 3 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...