2825 search results - page 233 / 565 » Support for Object-Oriented Testing |
133
click to vote
UIST
2000
ACM
15 years 9 months ago
2000
ACM
Speech-based user interfaces are growing in popularity. Unfortunately, the technology expertise required to build speech UIs precludes many individuals from participating in the s...
114
click to vote
MICCAI
1999
Springer
15 years 9 months ago
1999
Springer
This paper is part of the development process of a microsurgical "cooperating" assistant. To evaluate its applicability to augment fine surgical motions, we test precisio...
166
Voted
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
The BIST implementation of a conventionally synthesized controller in most cases requires the integration of an additional register only for test purposes. This leads to some seri...
154
click to vote
ASM
2010
ASM
15 years 8 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
133
Voted
IASTEDSEA
2004
15 years 6 months ago
2004
This paper proposes a service-oriented software reliability model that dynamically evaluates the reliability of Web services. There are two kinds of Web services: atomic services ...