2468 search results - page 378 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
136
Voted
JSAC
2006
15 years 3 months ago
2006
Abstract-- The performance of ad hoc networks depends on cooperation and trust among distributed nodes. To enhance security in ad hoc networks, it is important to evaluate trustwor...
193
Voted
GCC
2010
Springer
15 years 1 months ago
2010
Springer
Quality of Service (QoS) is essential to datacenters, which requires effective schemes to manage the flows among numerous servers. However, existing management techniques mainly fo...
135
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
—Homology modeling requires an accurate alignment between a query sequence and its homologs with known three-dimensional (3D) information. Current structural modeling techniques ...
138
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...
179
click to vote
ISCA
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper presents a fundamental law for parallel performance: it shows that parallel performance is not only limited by sequential code (as suggested by Amdahl’s law) but is a...