Sciweavers

2560 search results - page 194 / 512
» Analysis Tool for Honeypot Systems
Sort
View
CORR
2010
Springer
137views Education» more  CORR 2010»
15 years 6 months ago
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
Elvira Albert, Miguel Gómez-Zamalloa, Laure...
IANDC
2008
128views more  IANDC 2008»
15 years 6 months ago
Rule-based static analysis of network protocol implementations
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...
Octavian Udrea, Cristian Lumezanu, Jeffrey S. Fost...
SIAMCOMP
2002
113views more  SIAMCOMP 2002»
15 years 6 months ago
A Layered Analysis of Consensus
This paper introduces a simple notion of layering as a tool for analyzing well-behaved runs of a given model of distributed computation. Using layering, a model-independent analysi...
Yoram Moses, Sergio Rajsbaum
IDEAS
2008
IEEE
114views Database» more  IDEAS 2008»
16 years 1 months ago
Incremental view-based analysis of stock market data streams
In this paper we show the usefulness and feasibility of applying conventional SQL queries for analyzing a wide spectrum of data streams. As application area we have chosen the ana...
Andreas Behrend, Christian Dorau, Rainer Manthey, ...
SAC
2005
ACM
16 years 6 days ago
Effort and accuracy analysis of choice strategies for electronic product catalogs
One crucial task for e-commerce systems is to help buyers find products that not only satisfy their preferences but also reduce their search effort. Usually the amount of availa...
Jiyong Zhang, Pearl Pu