2560 search results - page 147 / 512 » Analysis Tool for Honeypot Systems |
JCDL
2006
ACM
15 years 8 months ago
2006
ACM
The Perseus Project at Tufts University produces tools to enhance the study of humanities texts. Perseus’ new named-entity browser lets users browse an index of references to pe...
152
click to vote
STTT
2010
15 years 10 days ago
2010
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
113
click to vote
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
119
click to vote
ICCSA
2010
Springer
15 years 7 months ago
2010
Springer
In the so-called Information-Explosion Era, astronomical amount of information is ubiquitously produced and digitally stored. It is getting more and more convenient for cooperative...
127
click to vote
TIME
2005
IEEE
15 years 7 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...