7628 search results - page 58 / 1526 » Automatic Generation of the C |
126
click to vote
ENTCS
2007
15 years 4 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
137
click to vote
DL
2000
Springer
15 years 8 months ago
2000
Springer
This paper describes research on the automatic generation of hypermedia or Web-based presentations for semi-structured data resulting from ad-hoc queries. We identify how differen...
114
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Rapid evaluation and design space exploration at the algorithmic level are important issues in the design cycle. In this paper we propose an original area vs delay estimation meth...
129
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a demo of SCARLET, a technique for discovering relations between two concepts by harvesting the Semantic Web, i.e., automatically finding and exploring multipl...
145
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...