1633 search results - page 187 / 327 » On the Verification of Temporal Properties |
112
Voted
ICMCS
1999
IEEE
15 years 5 months ago
1999
IEEE
Many types of pseudo-random signals have been used to embed signatures as watermarks, with spread spectrum signal techniques used to recover the signature from the encrypted data....
130
click to vote
ICCD
1996
IEEE
15 years 4 months ago
1996
IEEE
The Multi-Level Decomposition Diagrams (MLDDs) of this paper are a canonical representation of Boolean functions expliciting disjoint-support decompositions. MLDDs allow the reduc...
110
click to vote
AHS
2007
IEEE
15 years 4 months ago
2007
IEEE
In the system-on-chip (SoC) era, the growing number of functionalities included on a single chip requires the development of new design methodologies to keep the design complexity...
100
click to vote
CIA
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents an agent-based approach for error detection in incident management organizations. The approach consists of several parts. First, a formal approach for the speci...
99
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...