16725 search results - page 678 / 3345 » Engineering Software Correctness |
194
click to vote
WCRE
2006
IEEE
16 years 1 months ago
2006
IEEE
Current literature on the topic of duplicated (cloned) code in software systems often considers duplication harmful to the system quality and the reasons commonly cited for duplic...
179
Voted
IUI
2006
ACM
16 years 1 months ago
2006
ACM
Spoken dialog tasks incur many errors including speech recognition errors, understanding errors, and even dialog management errors. These errors create a big gap between user'...
206
click to vote
KBSE
2005
IEEE
16 years 26 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
245
click to vote
ADAEUROPE
2005
Springer
16 years 25 days ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
224
click to vote
IUI
2004
ACM
16 years 22 days ago
2004
ACM
People are performing increasingly complicated actions on the web, such as automated purchases involving multiple sites. Things often go wrong, however, and it can be difficult to...