2110 search results - page 290 / 422 » Delegation Modeling with Paradigm |
152
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
158
click to vote
IH
2009
Springer
16 years 1 months ago
2009
Springer
Media forensics tries to determine the originating device of a signal. We apply this paradigm to microphone forensics, determining the microphone model used to record a given audio...
214
click to vote
SMA
2009
ACM
16 years 29 days ago
2009
ACM
We examine the problem of computing exactly the Delaunay graph (and the dual Voronoi diagram) of a set of, possibly intersecting, smooth convex pseudo-circles in the Euclidean pla...
184
click to vote
ASIAMS
2008
IEEE
16 years 28 days ago
2008
IEEE
Efficiency is one of the major issues in intrusion detection. Inefficiency is often attributed to high overhead and this is caused by several reasons. Among them are continuous de...
161
click to vote
ICDE
2008
IEEE
16 years 27 days ago
2008
IEEE
Personalized PageRank, related to random walks with restarts and conductance in resistive networks, is a frequent search paradigm for graph-structured databases. While efficient ba...