4930 search results - page 344 / 986 » Testing a Safety-Critical Application |
162
click to vote
COLT
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We establish a generic theoretical tool to construct probabilistic bounds for algorithms where the output is a subset of objects from an initial pool of candidates (or mo...
190
click to vote
ECMDAFA
2007
Springer
16 years 28 days ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
155
click to vote
ISVC
2007
Springer
16 years 27 days ago
2007
Springer
This paper presents a new image-space algorithm for real-time collision detection, where the GPU computes the potentially colliding sets, and the CPU performs the standard triangle...
167
click to vote
TSD
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper brings together the development of the first Text-toSpeech (TTS) system for Sinhala using the Festival framework and practical applications of it. Construction...
172
click to vote
COMPSAC
2006
IEEE
16 years 25 days ago
2006
IEEE
Service-Oriented Architecture (SOA) is a system architecture in which a collection of loosely coupled services communicate with each other using standard interfaces and message-ex...