Sciweavers

7766 search results - page 449 / 1554
» Testing Nondeterminate Systems
Sort
View
ICMCS
2006
IEEE
123views Multimedia» more  ICMCS 2006»
16 years 28 days ago
A Multimedia System for Route Sharing and Video-Based Navigation
Trip planning and in-vehicle navigation are crucial tasks for easier and safer driving. The existing navigation systems are based on machine intelligence without allowing human kn...
Wen Wu, Jie Yang, Jing Zhang
ISESE
2006
IEEE
16 years 27 days ago
Empirical estimates of software availability of deployed systems
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...
Audris Mockus
ISSTA
2006
ACM
16 years 25 days ago
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
Distributed hard real-time systems have become a major component of many advanced technical products. Means to ensure their proper quality are thus of paramount importance. To ens...
Holger Giese, Stefan Henkler
ECRTS
2005
IEEE
16 years 15 days ago
Non-Preemptive Interrupt Scheduling for Safe Reuse of Legacy Drivers in Real-Time Systems
Low-level support of peripheral devices is one of the most demanding activities in a real-time operating system. In fact, the rapid development of new interface boards causes a tr...
Tullio Facchinetti, Giorgio C. Buttazzo, Mauro Mar...
SEFM
2005
IEEE
16 years 13 days ago
Formalising Control in Robust Spoken Dialogue Systems
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...
Hui Shi, Robert J. Ross, John A. Bateman