2223 search results - page 415 / 445 » Events in Property Patterns |
119
Voted
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
167
click to vote
VDA
2010
15 years 4 months ago
2010
While there have been intensive efforts in developing better 3D flow visualization techniques, little attention has been paid to the design of better user interfaces and more effe...
121
click to vote
CIDR
2003
15 years 3 months ago
2003
It has frequently been observed that most of the world’s data lies outside database systems. The reason is that database systems focus on structured data, leaving the unstructur...
117
click to vote
WORM
2004
15 years 3 months ago
2004
The monitoring of unused Internet address space has been shown to be an effective method for characterizing Internet threats including Internet worms and DDOS attacks. Because the...
118
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Correct temporal and spatial gene expression during metazoan development relies on combinatorial interactions between different transcription factors. As a consequence...