3564 search results - page 134 / 713 » Evaluating a Formal Modelling Language |
ENTCS
2006
14 years 10 months ago
2006
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical for...
ICDT
2005
ACM
15 years 3 months ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...
MKWI
2008
14 years 11 months ago
2008
: Along with the growth of Grid infrastructures, ubiquitous service provision and consumption has received wide attention in literature and practice. Although the number of availab...
AFP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
We present Tiger, a visual environment to design visual language (VL) specifications based on meta models, graph grammars and layout definitions. A VL specification serves as ba...