2468 search results - page 424 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
155
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: The modeling of dynamic systems requires estimating kinetic parameters from experimentally measured time-courses. Conventional global optimization methods used for par...
130
Voted
ICDCS
2011
IEEE
14 years 3 months ago
2011
IEEE
— In the emerging cloud computing paradigm, data owners become increasingly motivated to outsource their complex data management systems from local sites to the commercial public...
126
click to vote
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
Website capacity determination is crucial to measurement-based access control, because it determines when to turn away excessive client requests to guarantee consistent service qu...
127
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Simulations of particles in fluid flows are of great interest to numerous industries using sedimentation, fluidization, lubricated transport, and hydraulic fracturing of hydrocarb...
148
click to vote
PODC
2011
ACM
14 years 6 months ago
2011
ACM
Internet supercomputing is becoming an increasingly popular means for harnessing the power of a vast number of interconnected computers. This comes at a cost substantially lower t...