3914 search results - page 700 / 783 » Automating SLA modeling |
106
Voted
BILDMED
2006
15 years 4 months ago
2006
Developing barley grains are to be visualised by a 4-D model, in which spatiotemporal experimental data can be integrated. The most crucial task lies in the automation of the exten...
116
Voted
DAGSTUHL
2004
15 years 4 months ago
2004
Testing often accounts for more than 50% of the required effort during system development. However, testing is often not well integrated with other development phases. One reason ...
121
Voted
DAGSTUHL
2004
15 years 4 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
139
Voted
FLAIRS
2004
15 years 4 months ago
2004
As the complexity of industrial processes increases, it requires the use of intelligent sensors or actuators (known as Intelligent Instruments) to allow for more comprehensive and...
118
click to vote
FORTE
2004
15 years 4 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...