1356 search results - page 39 / 272 » A variable-free dynamic semantics |
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
LREC
2008
14 years 11 months ago
2008
Many of the Japanese ideographs (Chinese characters) have a few meanings. Such ambiguities should be identified by using their contextual information. For example, we have an ideo...
ESWS
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we describe a distributed architecture consisting of a combination of scripting tools that interact with each other in order to help to find and query decentralized ...
ASWC
2008
Springer
14 years 11 months ago
2008
Springer
Both semantic web applications and individuals are in need of knowledge infrastructures that can be used in dynamic and distributed environments where different autonomous entities...
FMOODS
2006
14 years 11 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...