Sciweavers

3319 search results - page 175 / 664
» Subshifts, Languages and Logic
Sort
View
ECMDAFA
2010
Springer
112views Hardware» more  ECMDAFA 2010»
15 years 11 months ago
Joint Language and Domain Engineering
Abstract. In domain-specific development model-driven development environments play an important role. Most of these environments only provide support for language engineering, bu...
Tobias Walter, Fernando Silva Parreiras, Steffen S...
UML
1998
Springer
15 years 10 months ago
Reflections on the Object Constraint Language
The object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagram...
Ali Hamie, Franco Civello, John Howse, Stuart Kent...
CONCUR
2010
Springer
15 years 7 months ago
Termination in Impure Concurrent Languages
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
Romain Demangeon, Daniel Hirschkoff, Davide Sangio...
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 6 months ago
A database approach to information retrieval: The remarkable relationship between language models and region models
In this report, we unify two quite distinct approaches to information retrieval: region models and language models. Region models were developed for structured document retrieval....
Djoerd Hiemstra, Vojkan Mihajlovic
VLDB
1989
ACM
137views Database» more  VLDB 1989»
15 years 10 months ago
Pasta-3's Graphical Query Language: Direct Manipulation, Cooperative Queries, Full Expressive Power
Graphical Direct Manipulation (GrDM) query languagesare characterized and positioned with respect to traditional textual query languages. After a brief survey of the current state...
Michel Kuntz, Rainer Melchert