Sciweavers

3352 search results - page 272 / 671
» Complex Data Integration Based on a Multi-agent System
Sort
View
CBSE
2006
Springer
15 years 8 months ago
Verification of Component-Based Software Application Families
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
Fei Xie, James C. Browne
JIRS
2000
118views more  JIRS 2000»
15 years 4 months ago
A Flexible Microrobot-Based Microassembly Station
Abstract. A wide range of microcomponents can today be produced using various microfabrication techniques. The assembly of complex microsystems consisting of several single compone...
Sergej Fatikow, Jörg Seyfried, Stephan Fahlbu...
PRDC
1999
IEEE
15 years 8 months ago
Experimental Assessment of COTS DBMS Robustness under Transient Faults
This paper evaluates the behavior of a common off-theshelf (COTS) database management system (DBMS) in presence of transient faults. Database applications have traditionally been ...
Diamantino Costa, Henrique Madeira
IEEEICCI
2002
IEEE
15 years 9 months ago
An Interaction-Based Approach for Structuring Coordination Activities
In this contribution we present a theoretical approach which has been utilized to inform the coordination of the development of complex systems. Coordination is regarded as a form...
Lars Taxén
ICASSP
2011
IEEE
14 years 8 months ago
Hilbert envelope based features for robust speaker identification under reverberant mismatched conditions
It is well known that MFCC based speaker identification (SID) systems easily break down under mismatched training and test conditions. One such mismatch occurs when a SID system ...
Seyed Omid Sadjadi, John H. L. Hansen