Sciweavers

1336 search results - page 159 / 268
» Modelling and Analysis of PKI-Based Systems Using Process Ca...
Sort
View
EMSOFT
2003
Springer
15 years 11 months ago
Constraint-Based Design-Space Exploration and Model Synthesis
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
Sandeep Neema, Janos Sztipanovits, Gabor Karsai, K...
ECCV
2004
Springer
15 years 11 months ago
Statistical Imaging for Modeling and Identification of Bacterial Types
An automatic tool is developed to identify microbiological data types using computer-vision and statistical modeling techniques. In bacteriophage (phage) typing, representative pro...
Sigal Trattner, Hayit Greenspan, Gabi Tepper, Shim...
WWW
2011
ACM
15 years 1 months ago
Prophiler: a fast filter for the large-scale detection of malicious web pages
Malicious web pages that host drive-by-download exploits have become a popular means for compromising hosts on the Internet and, subsequently, for creating large-scale botnets. In...
Davide Canali, Marco Cova, Giovanni Vigna, Christo...
ER
2005
Springer
121views Database» more  ER 2005»
15 years 11 months ago
Agent Oriented Data Integration
Abstract. Data integration is the process by which data from heterogeneous data sources are conceptually integrated into a single cohesive data set. In recent years agents have bee...
Avigdor Gal, Aviv Segev, Christos Tatsiopoulos, Ko...
ICRA
2009
IEEE
162views Robotics» more  ICRA 2009»
16 years 28 days ago
Distributed sensor analysis for fault detection in tightly-coupled multi-robot team tasks
— This paper presents a distributed version of our previous work, called SAFDetection, which is a sensor analysisbased fault detection approach that is used to monitor tightlycou...
Xingyan Li, Lynne E. Parker