Sciweavers

2560 search results - page 219 / 512
» Analysis Tool for Honeypot Systems
Sort
View
SIGMOD
2011
ACM
202views Database» more  SIGMOD 2011»
14 years 9 months ago
Sensitivity analysis and explanations for robust query evaluation in probabilistic databases
Probabilistic database systems have successfully established themselves as a tool for managing uncertain data. However, much of the research in this area has focused on efficient...
Bhargav Kanagal, Jian Li, Amol Deshpande
SSS
2009
Springer
16 years 1 months ago
Stability of Distributed Algorithms in the Face of Incessant Faults
Abstract. For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two we...
Robert E. Lee DeVille, Sayan Mitra
AQUILEIA
2011
117views more  AQUILEIA 2011»
14 years 6 months ago
Integrated Archaeological Investigations for the Study of the Greater Aquileia Area
A large number of technologies, such as Geographic Information Systems (GIS), Global Positioning Systems (GPS), Remote Sensing (RS), geophysical instruments, allows nowadays for fa...
Arianna Traviglia
ICLP
2005
Springer
16 years 6 days ago
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
Manh Thang Nguyen, Danny De Schreye
155
Voted
WSC
2007
15 years 9 months ago
Code analysis and CS-XML
The automated analysis of model specifications is an area that historically receives little attention in the simulation research community but which can offer significant bene...
Kara A. Olson, C. Michael Overstreet, E. Joseph De...