6794 search results - page 243 / 1359 » Semantics of Visual Languages |
FROCOS
2005
Springer
14 years 4 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
ICIW
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
CAISE
2006
Springer
14 years 2 months ago
2006
Springer
This paper introduces an approach to mapping relational database contents to ontologies. The current effort is motivated by the need of including into the Semantic Web volumes of w...
BIRTHDAY
2008
Springer
14 years 24 days ago
2008
Springer
Abstract. We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a...
CICLING
2008
Springer
14 years 23 days ago
2008
Springer
Abstract. Text interpretation can be considered as the process of extracting deep-level semantics from unstructured text documents. Deeplevel semantics represent abstract index str...