Sciweavers

2560 search results - page 55 / 512
» Analysis Tool for Honeypot Systems
Sort
View
CSAC
2006
15 years 3 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
CIMCA
2008
IEEE
15 years 8 months ago
Novel Cardiac Risk Factor Stratification Using Neuro-fuzzy Tool
Heart disease continues to be leading cause of morbidity and mortality among adults all over the world. Cardiac risk factor assessment requires a classification system that is rob...
Elahe Yargholi, Saman Parvaneh
CODES
2007
IEEE
15 years 8 months ago
Performance modeling for early analysis of multi-core systems
Performance analysis of microprocessors is a critical step in defining the microarchitecture, prior to register-transfer-level (RTL) design. In complex chip multiprocessor systems...
Reinaldo A. Bergamaschi, Indira Nair, Gero Dittman...
AUTOMATICA
2000
100views more  AUTOMATICA 2000»
15 years 1 months ago
A new stability analysis of switched systems
In this paper, we present a new stability analysis of switched systems. We introduce the concepts of minimum/maximum holding time and redundancy as a tool for Lyapunov stability. ...
S.-H. Lee, T.-H. Kim, J.-T. Lim
ICDAR
2011
IEEE
14 years 1 months ago
Aletheia - An Advanced Document Layout and Text Ground-Truthing System for Production Environments
- Large-scale digitisation has led to a number of new possibilities with regard to adaptive and learning based methods in the field of Document Image Analysis and OCR. For ground t...
C. Clausner, Stefan Pletschacher, Apostolos Antona...