2560 search results - page 158 / 512 » Analysis Tool for Honeypot Systems |
132
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Determining candidates' views on important issues is critical in deciding whom to support and vote for; but finding their statements and votes on an issue can be laborious. I...
149
click to vote
APN
2001
Springer
15 years 11 months ago
2001
Springer
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
179
click to vote
FTEDA
2007
15 years 6 months ago
2007
The number of gates on a chip is quickly growing toward and beyond the one billion mark. Keeping all the gates running at the beat of a single or a few rationally related clocks i...
169
click to vote
KBSE
2008
IEEE
16 years 29 days ago
2008
IEEE
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whethe...
151
click to vote
DEDS
2008
15 years 6 months ago
2008
Abstract Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we his abstracti...