4693 search results - page 790 / 939 » Verifying Hybrid Systems |
162
Voted
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
298
Voted
PODS
2009
ACM
16 years 1 months ago
2009
ACM
Skyline computation is widely used in multi-criteria decision making. As research in uncertain databases draws increasing attention, skyline queries with uncertain data have also ...
108
click to vote
KDD
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we investigate how deviation in evaluation activities may reveal bias on the part of reviewers and controversy on the part of evaluated objects. We focus on a `data...
120
Voted
KDD
2002
ACM
16 years 1 months ago
2002
ACM
This paper presents an approach to automatically optimizing the retrieval quality of search engines using clickthrough data. Intuitively, a good information retrieval system shoul...
117
Voted
VLSID
2004
IEEE
16 years 1 months ago
2004
IEEE
In this paper, we describe NoCGEN, a Network On Chip (NoC) generator, which is used to create a simulatable and synthesizable NoC description. NoCGEN uses a set of modularised rou...