Sciweavers

9509 search results - page 1570 / 1902
» Complex Event Processing
Sort
View
WSE
2002
IEEE
15 years 11 months ago
Dynamic Model Extraction and Statistical Analysis of Web Applications
The World Wide Web, initially intended as a way to publish static hypertexts on the Internet, is moving toward complex applications. Static Web sites are being gradually replaced ...
Paolo Tonella, Filippo Ricca
SACMAT
2010
ACM
15 years 11 months ago
Monitoring security policies with metric first-order temporal logic
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
David A. Basin, Felix Klaedtke, Samuel Müller
SIGMETRICS
2010
ACM
150views Hardware» more  SIGMETRICS 2010»
15 years 11 months ago
Incentive compatibility and dynamics of congestion control
This paper studies under what conditions congestion control schemes can be both efficient, so that capacity is not wasted, and incentive compatible, so that each participant can m...
Brighten Godfrey, Michael Schapira, Aviv Zohar, Sc...
ESWS
2010
Springer
15 years 11 months ago
A Node Indexing Scheme for Web Entity Retrieval
Now motivated also by the partial support of major search engines, hundreds of millions of documents are being published on the web embedding semi-structured data in RDF, RDFa and ...
Renaud Delbru, Nickolai Toupikov, Michele Catasta,...
201
Voted
GECCO
2010
Springer
196views Optimization» more  GECCO 2010»
15 years 11 months ago
Using synthetic test suites to empirically compare search-based and greedy prioritizers
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...
Zachary D. Williams, Gregory M. Kapfhammer
« Prev « First page 1570 / 1902 Last » Next »