8008 search results - page 1141 / 1602 » Computer-Aided Language Processing |
144
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
142
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
160
click to vote
VAMOS
2007
Springer
15 years 11 months ago
2007
Springer
The Feature–Oriented approach provides a way of modelling commonalities and variabilities among products of a software product line. A feature model can be used as input for gen...
137
click to vote
W2GIS
2007
Springer
15 years 11 months ago
2007
Springer
User interaction is mostly based on forms. However, forms are restricted to alphanumerical data – the editing of geospatial data is not supported. This statement does not only ho...
133
click to vote
ICEIS
2006
IEEE
15 years 10 months ago
2006
IEEE
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...