6941 search results - page 174 / 1389 » Testing as a Certification Approach |
ICOIN
2007
Springer
14 years 2 months ago
2007
Springer
Smart devices in the ubiquitous computing environment implement service/device discovery protocol that helps discovering each other and the services provided. As client device may ...
DFT
2005
IEEE
14 years 1 months ago
2005
IEEE
We propose a novel system-level error tolerance approach specifically targeted for multimedia compression algorithms. In particular we focus on the motion estimation process perf...
CSB
2003
IEEE
14 years 1 months ago
2003
IEEE
We have developed a mathematical framework for representing and testing hypotheses about gene, protein, and signaling molecule interactions. It takes a hierarchical, contradiction...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
—A new approach for designing t-UED and BUED code checkers is presented. In particular we consider Borden codes for t = 2k − 1, Bose and Bose-Lin codes. The design technique fo...
GI
2001
Springer
14 years 15 days ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...