2493 search results - page 231 / 499 » Tool Support for Design by Contract |
182
click to vote
ICCD
1995
IEEE
15 years 10 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
183
click to vote
VIZSEC
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents the Intrusion Detection toolkit (IDtk), an information Visualization tool for intrusion detection (ID). IDtk was developed through a user-centered design proce...
179
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
In a service-oriented architecture, software services interact by means of message exchanges that follow certain patterns documented in the form of behavioural interfaces. As any s...
178
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
We present WebSOS, a novel overlay-based architecture that provides guaranteed access to a web server that is targeted by a denial of service (DoS) attack. Our approach exploits t...
165
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
The ability to account for the growing impacts of multiple process variations in modern technologies is becoming an integral part of nanometer VLSI design. Under the context of ti...