2468 search results - page 228 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
125
Voted
CC
2007
Springer
15 years 4 months ago
2007
Springer
Mergers are procedures that, with the aid of a short random string, transform k (possibly dependent) random sources into a single random source, in a way that ensures that if one ...
115
click to vote
QUESTA
2010
15 years 2 months ago
2010
The M/G/K queueing system is one of the oldest model for multi-server systems, and has been the topic of performance papers for almost half a century. However, even now, only coar...
138
click to vote
IJSEKE
2006
15 years 4 months ago
2006
pecific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., ModelIntegrated Computing and...
157
click to vote
KES
2008
Springer
15 years 2 months ago
2008
Springer
Privacy is one of the most important properties of an information system must satisfy. In which systems the need to share information among different, not trusted entities, the pro...
174
Voted
DCC
2010
IEEE
15 years 2 months ago
2010
IEEE
Remote visualization of an arbitrary 2-D planar "cut" from a large volumetric dataset with random access has both gained importance and posed significant challenges over...