5140 search results - page 914 / 1028 » Complex Network of Earthquakes |
123
click to vote
ENTCS
2007
15 years 4 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
131
click to vote
ML
2006
ACM
15 years 4 months ago
2006
ACM
In this paper, we describe the syntax and semantics for a probabilistic relational language (PRL). PRL is a recasting of recent work in Probabilistic Relational Models (PRMs) into ...
115
click to vote
MTA
2006
15 years 4 months ago
2006
Variable bit rate (VBR) compression for media streams allocates more bits to complex scenes and fewer bits to simple scenes. This results in a higher and more uniform visual and au...
159
click to vote
IJNSEC
2007
15 years 4 months ago
2007
Large scale distributed applications combine network access with multiple storage and computational elements. The distributed responsibility for resource control creates new secur...
140
click to vote
TDSC
2008
15 years 4 months ago
2008
Trustworthy computing modules like secure coprocessors (ScP) are already in extensive use today, albeit limited predominantly to scenarios where constraints on cost is not a seriou...