2468 search results - page 232 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
147
click to vote
JFP
2008
15 years 4 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
141
click to vote
ICDCS
2007
IEEE
15 years 8 months ago
2007
IEEE
We consider a model for decentralized collaborative networks that is based on stable matching theory. This model is applied to systems with a global ranking utility function, whic...
132
click to vote
MDM
2007
Springer
15 years 10 months ago
2007
Springer
The engineering community has recently begun to adopt wireless sensing technologies for use in many sensing applications. These low-cost sensors provide an optimal setting for den...
113
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
The agents in multiagent systems can coordinate their actions and handle tasks jointly by forming coalitions. One of the important steps in this process is the fair division of pa...
150
click to vote
AEI
2007
15 years 4 months ago
2007
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...