2740 search results - page 270 / 548 » A Model-Based Approach To Requirements Analysis |
149
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
131
click to vote
DFT
2005
IEEE
15 years 9 months ago
2005
IEEE
Sequential elements, flip-flops, latches, and memory cells, are the most vulnerable components to soft errors. Since state-of-the-art designs contain millions of bistables, it i...
143
click to vote
CLEF
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper describes a full data-driven system for question answering. The system uses pattern matching and statistical techniques to identify the relevant passages as we...
124
click to vote
DAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Braille is the most effective means of written communication between visually-impaired and sighted people. This paper describes a new system that recognizes Braille chara...
126
click to vote
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...