3172 search results - page 41 / 635 » New developments of the Z-EDM algorithm |
153
Voted
VEE
2006
ACM
15 years 9 months ago
2006
ACM
The progress towards programming methodologies that simplify the work of the programmer involves automating, whenever possible, activities that are secondary to the main task of d...
170
Voted
CSFW
1999
IEEE
15 years 7 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
130
Voted
CCR
2004
15 years 3 months ago
2004
Current congestion control algorithms treat packet loss as an indication of network congestion, under the assumption that most losses are caused by router queues overflowing. In r...
137
Voted
NAR
2007
15 years 3 months ago
2007
The recent explosion in protein data generated from both directed small-scale studies and largescale proteomics efforts has greatly expanded the quantity of available protein info...
179
Voted
BMCBI
2011
14 years 10 months ago
2011
Background: In the last decades, microarray technology has spread, leading to a dramatic increase of publicly available datasets. The first statistical tools developed were focuse...