1833 search results - page 8 / 367 » Mechanized Verification with Sharing |
FORMATS
2008
Springer
13 years 9 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
ICBA
2004
Springer
14 years 25 days ago
2004
Springer
This paper proposes a hardware-based line feature enhancement approach that uses a palmprint acquisition device fitted with a time-sharing light source. When capturing images, two ...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper we investigate experimentally the performance of Marginal Cost (MC) and Shapley Value (SH) mechanisms for sharing the cost of multicast transmissions. We implement a...
ISCC
2007
IEEE
14 years 1 months ago
2007
IEEE
Sharing the cost of multicast transmissions was studied in the past and two mechanisms, Marginal Cost and Shapley Value, were proposed. Compared to the Marginal Cost Mechanism the...
ACMICEC
2003
ACM
14 years 21 days ago
2003
ACM
In this paper we study the mechanism design problem of coalition formation and cost sharing in an electronic marketplace, where buyers can form coalitions to take advantage of dis...