648 search results - page 67 / 130 » Carving differential unit test cases from system test cases |
ACMDIS
2008
ACM
13 years 11 months ago
2008
ACM
CityFlocks is a mobile system enabling visitors and new residents in a city to tap into the knowledge and experiences of local residents, so as to gather information about their n...
ASYNC
2003
IEEE
14 years 2 months ago
2003
IEEE
The lack of proven mechanisms for transferring data between multiple synchronous islands has been a major impediment for applying globally asynchronous locally synchronous (GALS) ...
INTERSPEECH
2010
13 years 3 months ago
2010
In this paper, we compare and combine different approaches for instrumentally predicting the perceived quality of Text-to-Speech systems. First, a log-likelihood is determined by ...
TSE
1998
13 years 8 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
CIARP
2007
Springer
14 years 3 months ago
2007
Springer
In order to deploy mobile robots in social environments like indoor buildings, they need to be provided with perceptual abilities to detect people. In the computer vision literatur...