289 search results - page 14 / 58 » Verification Patterns for Rapid Embedded System Verification |
MCS
2002
Springer
13 years 7 months ago
2002
Springer
In this paper, an experimental comparison between fixed and trained fusion rules for multimodal personal identity verification is reported. We focused on the behaviour of the consi...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
ASPDAC
1995
ACM
13 years 11 months ago
1995
ACM
- In this paper, we present a hardware-software cosimulation environment for heterogeneoussystems. To be an efficient system verification environment for the rapid prototyping of h...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
REFSQ
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. [Context and motivation] With increasing use of software, quality attributes grow in relative importance. Robustness is a software quality attribute that has not received...