2560 search results - page 235 / 512 » Analysis Tool for Honeypot Systems |
209
click to vote
AND
2010
15 years 4 months ago
2010
High-level spoken document analysis is required in many applications seeking access to the semantic content of audio data, such as information retrieval, machine translation or au...
166
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
169
click to vote
ECLIPSE
2004
ACM
16 years 4 days ago
2004
ACM
Feature modeling is a key technique used in product-line development to model commonalities and variabilities of productline members. In this paper, we present FeaturePlugin, a fe...
196
click to vote
HICSS
2003
IEEE
16 years 9 hour ago
2003
IEEE
An area of interest that remains to be more thoroughly investigated is that of human navigation and wayfinding in VR. This study attempted to examine the effect of gender on VR na...
153
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...