16725 search results - page 29 / 3345 » Engineering Software Correctness |
105
click to vote
ICCBSS
2005
Springer
15 years 5 months ago
2005
Springer
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditi...
100
click to vote
IUI
2009
ACM
15 years 8 months ago
2009
ACM
We demonstrate Parakeet – a continuous speech recognition system for mobile touch-screen devices. Parakeet’s interface is designed to make correcting errors easy on a handheld...
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
SEKE
2007
Springer
15 years 5 months ago
2007
Springer
Some machine learning applications are intended to learn properties of data sets where the correct answers are not already known to human users. It is challenging to test such ML ...