9110 search results - page 462 / 1822 » Formally-Based Design Evaluation |
166
click to vote
SOUPS
2009
ACM
16 years 1 months ago
2009
ACM
For privacy reasons, sensitive content may be revised before it is released. The revision often consists of redaction, that is, the “blacking out” of sensitive words and phras...
183
click to vote
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper advocates a Virtual Vision paradigm and demonstrates its usefulness in camera sensor network research. Virtual vision prescribes the use of a visually and behaviorally ...
192
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents and evaluates a strategy for integrating the Snort network intrusion detection system into a high-performance programmable Ethernet network interface card (NIC...
179
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
198
Voted
ISQED
2006
IEEE
16 years 25 days ago
2006
IEEE
— With advanced VLSI manufacturing technology in deep submicron (DSM) regime, we can integrate entire electronic systems on a single chip (SoC). Due to the complexity in SoC desi...