2560 search results - page 370 / 512 » Analysis Tool for Honeypot Systems |
101
click to vote
ICIP
2009
IEEE
16 years 3 months ago
2009
IEEE
In the near future automatic systems able to detect the traffic situation and to understand driver behavior and intent will probably become vehicles tool to improve driver safety....
127
click to vote
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
100
click to vote
CHI
2004
ACM
16 years 2 months ago
2004
ACM
Currently there is a lack of explicit theories and few detailed guidelines to support the development of Mixed Reality (MR) technology and its varied applications. This research f...
103
click to vote
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
110
click to vote
BPM
2009
Springer
15 years 8 months ago
2009
Springer
The management of development processes is a challenging task and needs adequate tool support. In the course of a development project, many different engineering and management pr...