Sciweavers

1336 search results - page 159 / 268
» Modelling and Analysis of PKI-Based Systems Using Process Ca...
Sort
View
164
Voted
EMSOFT
2003
Springer
15 years 8 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...
112
Voted
ECCV
2004
Springer
15 years 9 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
14 years 10 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...
107
Voted
ER
2005
Springer
121views Database» more  ER 2005»
15 years 9 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...
127
Voted
ICRA
2009
IEEE
162views Robotics» more  ICRA 2009»
15 years 10 months 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