9316 search results - page 318 / 1864 » Analysis of traceback techniques |
140
click to vote
KES
2005
Springer
16 years 7 days ago
2005
Springer
: In this paper, we present a computational approach to understanding and augmenting the conversational knowledge process. We introduce the concept of the conversation quantization...
181
click to vote
MEMOCODE
2003
IEEE
16 years 20 hour ago
2003
IEEE
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
179
click to vote
ESORICS
2003
Springer
15 years 12 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
175
Voted
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper aims to design robust correlation-based watermarking methods for images. We rst present a model of watermark embedding and extracting processes and carry out their ana...
155
click to vote
OOIS
2001
Springer
15 years 11 months ago
2001
Springer
Identifying the objects that constitute a software system is a critical task for any object-oriented system development and several techniques have already been introduced to tack...