8398 search results - page 1091 / 1680 » Optimal Software Testing |
199
Voted
APSEC
2005
IEEE
16 years 27 days ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
231
click to vote
AUIC
2005
IEEE
16 years 27 days ago
2005
IEEE
Mobile augmented reality systems use general purpose computing hardware to perform tasks such as rendering computer graphics, providing video overlay, and performing vision tracki...
202
click to vote
SEFM
2005
IEEE
16 years 25 days ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
248
click to vote
VL
2005
IEEE
16 years 25 days ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
185
click to vote
IUI
2005
ACM
16 years 25 days ago
2005
ACM
In order for intelligent systems to be applicable in a wide range of situations, end users must be able to modify their task descriptions. We introduce Tailor, a system that allow...