Sciweavers

2560 search results - page 396 / 512
» Analysis Tool for Honeypot Systems
Sort
View
CPE
2003
Springer
149views Hardware» more  CPE 2003»
15 years 7 months ago
Logical and Stochastic Modeling with SMART
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
Gianfranco Ciardo, R. L. Jones III, Andrew S. Mine...
ER
2003
Springer
158views Database» more  ER 2003»
15 years 7 months ago
REF: A Practical Agent-Based Requirement Engineering Framework
Abstract. Requirements Engineering techniques, based on the fundamental notions of agency, i.e., Agent, Goal, and Intentional Dependency, have been recognized as having the potenti...
Paolo Bresciani, Paolo Donzelli
ICIAR
2010
Springer
15 years 6 months ago
Entropy of Gabor Filtering for Image Quality Assessment
Abstract. A new algorithm for image quality assessment based on entropy of Gabor filtered images is proposed. A bank of Gabor filters is used to extract contours and directional ...
Esteban Vázquez-Fernández, Án...
LION
2010
Springer
188views Optimization» more  LION 2010»
15 years 6 months ago
Grapheur: A Software Architecture for Reactive and Interactive Optimization
Abstract This paper proposes a flexible software architecture for interactive multiobjective optimization, with a user interface for visualizing the results and facilitating the s...
Mauro Brunato, Roberto Battiti
ICIAR
2009
Springer
15 years 6 months ago
VizDraw: A Platform to Convert Online Hand-Drawn Graphics into Computer Graphics
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
Akshaya Kumar Mishra, Justin A. Eichel, Paul W. Fi...