1585 search results - page 129 / 317 » A framework for computer-aided validation |
135
click to vote
ACSD
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper proposes a new approach for the hazard checking of timed asynchronous circuits. Previous papers proposed either exact algorithms, which suffer from statespace explosion...
115
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
118
click to vote
RAID
2004
Springer
15 years 8 months ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
126
click to vote
SUTC
2010
IEEE
15 years 7 months ago
2010
IEEE
—A primary functionality of wireless sensor networks (WSNs) is transporting the information acquired by the sensors as per the desired application requirements. The diverse appli...
135
click to vote
BCS
2008
15 years 4 months ago
2008
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...