4930 search results - page 344 / 986 » Testing a Safety-Critical Application |
181
click to vote
COLT
2007
Springer
16 years 1 months 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...
225
click to vote
ECMDAFA
2007
Springer
16 years 1 months 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...
168
click to vote
ISVC
2007
Springer
16 years 1 months 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...
181
click to vote
TSD
2007
Springer
16 years 1 months 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...
188
click to vote
COMPSAC
2006
IEEE
16 years 1 months 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...