10700 search results - page 1873 / 2140 » Generative Design Patterns |
163
click to vote
ENTCS
2007
15 years 6 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...
174
Voted
NAR
2008
15 years 6 months ago
2008
Many Microbe Microarrays Database (M3D ) is designed to facilitate the analysis and visualization of expression data in compendia compiled from multiple laboratories. M3D contains...
283
Voted
LISP
2006
15 years 6 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
146
click to vote
PAMI
2008
15 years 6 months ago
2008
We address the issue of classifying complex data. We focus on three main sources of complexity, namely, the high dimensionality of the observed data, the dependencies between these...
211
click to vote
PE
2006
Springer
15 years 6 months ago
2006
Springer
Existing wireless networks usually provide multiple data transmission rates. This paper presents a simulation study on the performance of multiple-rate mobile ad hoc networks (MAN...