3824 search results - page 246 / 765 » Geometry Constructions Language |
139
click to vote
ISSRE
2002
IEEE
15 years 9 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
130
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
122
click to vote
DLOG
2007
15 years 6 months ago
2007
In this paper we deal with the problem of providing natural language front-ends to databases upon which an ontology layer has been added. Specifically, we are interested in expres...
165
click to vote
JIISIC
2007
15 years 5 months ago
2007
The MDD (Model Driven Development) initiative covers a broad spectrum of research areas such as modeling languages, definition of transformation languages among models, and constr...
161
click to vote
JAIR
1998
15 years 4 months ago
1998
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...