2468 search results - page 284 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
115
Voted
EDOC
2004
IEEE
15 years 8 months ago
2004
IEEE
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...
134
click to vote
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
156
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
An object oriented description and framework of the Multiple ASsociative Computing (MASC) model of parallel computation is presented. This description identifies MASC objects and ...
129
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—Distributed object search is the primary function of Peer-to-Peer (P2P) file sharing system to locate and transfer the file. The predominant search schemes in unstructured P2P...
142
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
In this contribution, models of wireless channels are derived from the maximum entropy principle, for several cases where only limited information about the propagation environmen...