1356 search results - page 174 / 272 » The ideal of verified software |
155
click to vote
SPLC
2008
15 years 7 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
155
click to vote
CIIT
2004
15 years 7 months ago
2004
This paper describes the design and development of a set of signal processing software tools for speech recognition. The tools were developed for inclusion in a comprehensive publ...
142
click to vote
WSC
2001
15 years 7 months ago
2001
The paper presents a database-based method to reduce the development time and project lead-time for large discreteevent simulation models of entire factories. The database used to...
134
click to vote
WSC
2001
15 years 7 months ago
2001
Emulation is a very powerful tool for testing and debugging control code/logic in an office environment rather than on the plant floor. Through the use of emulation, the actual co...
173
click to vote
CRIWG
2000
15 years 7 months ago
2000
Several researchers in the area of cooperative work take as a success criterion the quality of the group outcome. Nevertheless, recent findings are giving more importance to the q...