2560 search results - page 205 / 512 » Analysis Tool for Honeypot Systems |
171
click to vote
ASAP
2004
IEEE
15 years 10 months ago
2004
IEEE
Biosequence similarity search is an important application in modern molecular biology. Search algorithms aim to identify sets of sequences whose extensional similarity suggests a c...
207
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
199
click to vote
JCIT
2007
15 years 6 months ago
2007
Enterprise Resource Planning (ERP) and related systems such as Supply Chain Management (SCM) and Customer Relationship Management (CRM) are incorporating decision support tools an...
190
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
217
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper we address the problem of physical node capture attacks in wireless sensor networks and provide a control theoretic framework to model physical node capture, cloned n...