11374 search results - page 1971 / 2275 » A System Demonstration of ST-TCP |
224
click to vote
APGV
2010
ACM
15 years 9 months ago
2010
ACM
Perception of an accurate sense of the scale depicted in computer graphics is important for many applications. How to best characterize the accuracy of space perception in compute...
206
click to vote
COORDINATION
2008
Springer
15 years 9 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
209
click to vote
EUROSYS
2007
ACM
15 years 9 months ago
2007
ACM
Hardware trends suggest that large-scale CMP architectures, with tens to hundreds of processing cores on a single piece of silicon, are iminent within the next decade. While exist...
220
click to vote
BIOCOMP
2007
15 years 9 months ago
2007
Background: Genetic regulatory networks (GRN) can be described by differential equations with SUM logic which has been found in many natural systems. Identification of the network...
217
click to vote
DBSEC
2004
15 years 8 months ago
2004
In software construction, analysis investigates the boundary of a system (scope and requirements), its usage and access, and from a security perspective, who needs access to what ...