Sciweavers

3319 search results - page 175 / 664
» Subshifts, Languages and Logic
Sort
View
96
Voted
ECMDAFA
2010
Springer
112views Hardware» more  ECMDAFA 2010»
15 years 5 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 5 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...
85
Voted
CONCUR
2010
Springer
15 years 2 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...
101
Voted
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 1 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 5 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