Sciweavers

7766 search results - page 161 / 1554
» Testing Nondeterminate Systems
Sort
View
SEMWEB
2010
Springer
13 years 7 months ago
Experience of Using OWL Ontologies for Automated Inference of Routine Pre-operative Screening Tests
We describe our experience of designing and implementing a knowledge-based pre-operative assessment decision support system. We developed the system using semantic web technology, ...
Matt-Mouley Bouamrane, Alan L. Rector, Martin Hurr...
ITC
2003
IEEE
145views Hardware» more  ITC 2003»
14 years 2 months ago
MEMS Manufacturing Testing: An Accelerometer Case Study
Electrical testing of MicroElectroMechanical Systems (MEMS) can take on many different forms including wafer probing, electrical trimming, final test at temperatures, engineering ...
Theresa Maudie, Alex Hardt, Rick Nielsen, Dennis S...
EVOW
1999
Springer
14 years 1 months ago
Test Pattern Generation Under Low Power Constraints
A technique is proposed to reduce the peak power consumption of sequential circuits during test pattern application. High-speed computation intensive VLSI systems, as telecommunica...
Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Re...
FORTEST
2008
13 years 11 months ago
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
Sergiy A. Vilkomir, Jonathan P. Bowen
ICWS
2010
IEEE
13 years 7 months ago
Timed Extended Invariants for the Passive Testing of Web Services
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...
Gerardo Morales, Stéphane Maag, Ana R. Cava...