Sciweavers

700 search results - page 20 / 140
» words 2005
Sort
View
WORDS
2005
IEEE
15 years 3 months ago
A Graph-Based Model for Component-Based Software Development
Software metrics can be used to objectively quantify the quality of software components and systems, alleviating quality and risk concerns and raising assurance in component-based...
Sahra Sedigh-Ali, Arif Ghafoor
WORDS
2005
IEEE
15 years 3 months ago
Deterministic Scheduling for Multithreaded Replicas
Replication of objects, processes and components is essential for building reliable distributed systems. However, maintaining replica consistency in the presence of nondeterminism...
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
WORDS
2005
IEEE
15 years 3 months ago
A Real-Time Distributed Scheduling Service For Middleware Systems
The latest version of Real-Time CORBA defines a Distributable Thread primitive to support real-time computing in a dynamic distributed environment. However, this standard does not...
Jiangyin Zhang, Lisa Cingiser DiPippo, Victor Fay ...
ICALP
2005
Springer
15 years 3 months ago
Decidability and Complexity Results for Timed Automata via Channel Machines
Abstract. This paper is concerned with the language inclusion problem for timed automata: given timed automata A and B, is every word accepted by B also accepted by A? Alur and Dil...
Parosh Aziz Abdulla, Johann Deneux, Joël Ouak...
ICMCS
2005
IEEE
88views Multimedia» more  ICMCS 2005»
15 years 3 months ago
Spoken document summarization using acoustic, prosodic and semantic information
This paper presents a spoken document summarization scheme using acoustic, prosodic and semantic information. First, speech recognition confidence is estimated to choose reliable ...
Chien-Lin Huang, Chia-Hsin Hsieh, Chung-Hsien Wu