6794 search results - page 181 / 1359 » Semantics of Visual Languages |
EDBT
2002
ACM
14 years 9 months ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
IFL
2003
Springer
14 years 2 months ago
2003
Springer
The presence of non-determinism in the parallel-functional language Eden creates some problems. Several non-determinism analyses have been developed to determine when an Eden expre...
AISC
2008
Springer
13 years 11 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...
DEXA
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. In this paper, we consider a multidatabase system which consists of media databases and traditional alphanumeric databases. The semantic relationships which may exist amo...
FMICS
2009
Springer
14 years 1 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...