220 search results - page 9 / 44 » Verifying a signature architecture: a comparative case study |
CBSE
2006
Springer
15 years 3 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
107
click to vote
TIT
2002
14 years 11 months ago
2002
The capacity of wireless communication architectures equipped with multiple transmit and receive antennas and impaired by both noise and cochannel interference is studied. We find ...
DATE
1999
IEEE
15 years 3 months ago
1999
IEEE
The paper introduces the new concept of symmetric transparent BIST for RAMs. This concept allows to skip the signature prediction phase of conventional transparent BIST approaches...
101
click to vote
JALC
2006
14 years 11 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
119
Voted
GRID
2007
Springer
14 years 11 months ago
2007
Springer
In e-Science experiments, it is vital to record the experimental process for later use such as in interpreting results, verifying that the correct process took place or tracing whe...