39 search results - page 3 / 8 » Reaching Envy-Free States in Distributed Negotiation Setting... |
118
click to vote
ATVA
2008
Springer
15 years 2 months ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
102
Voted
AAMAS
2005
Springer
15 years 3 days ago
2005
Springer
We study the complexity of a multilateral negotiation framework where autonomous agents agree on a sequence of deals to exchange sets of discrete resources in order to both further...
100
click to vote
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
We study the complexity of a multilateral negotiation framework where autonomous agents agree on a sequence of deals to exchange sets of discrete resources in order to both furthe...
79
Voted
ESANN
2000
15 years 1 months ago
2000
Abstract. Given a one dimensional SOM with a monotonically decreasing neighbourhood and an input distribution which is not Lebesque continuous, a set of su cient conditions and a T...
82
Voted
ENTCS
2006
15 years 6 days ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...