533 search results - page 72 / 107 » Verification of Distributed Firewalls |
109
click to vote
ICCAD
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper presents a unique approach to improve yield given a routed layout. Currently after routing has been completed and compacted, it generally proceeds to verification witho...
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
127
click to vote
VL
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper shows how language technologies such as the automatic generation of parsers for analyzing user actions and visual parsing can be applied to build a flexible tool specia...
128
click to vote
CADE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
114
click to vote
ESORICS
2010
Springer
15 years 2 months ago
2010
Springer
Safety critical applications for recently proposed vehicle to vehicle ad-hoc networks (VANETs) rely on a beacon signal, which poses a threat to privacy since it could allow a vehic...