Sciweavers

796 search results - page 62 / 160
» Generalized Commitment Alignment
Sort
View
ESORICS
2009
Springer
14 years 11 months ago
Computationally Sound Analysis of a Probabilistic Contract Signing Protocol
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
Mihhail Aizatulin, Henning Schnoor, Thomas Wilke
ATAL
2007
Springer
14 years 5 months ago
From desires to intentions through dialectical analysis
In this work, we introduce a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced i...
Nicolás D. Rotstein, Alejandro Javier Garc&...
CP
2005
Springer
14 years 4 months ago
Distributed Constraints for Large-Scale Scheduling Problems
Many problems of theoretical and practical interest can be formulated as Constraint Satisfaction Problems (CSPs). The general CSP is known to be NP-complete; however, distributed m...
Montserrat Abril, Miguel A. Salido, Federico Barbe...
NOSSDAV
2005
Springer
14 years 4 months ago
Mitigating information exposure to cheaters in real-time strategy games
Cheating in on-line games is a prevalent problem for both game makers and players. The popular real-time strategy game genre is especially vulnerable to cheats, as it is frequentl...
Chris Chambers, Wu-chang Feng, Wu-chi Feng, Debanj...
GROUP
2003
ACM
14 years 4 months ago
How push-to-talk makes talk less pushy
This paper presents an exploratory study of college-age students using two-way, push-to-talk cellular radios. We describe the observed and reported use of cellular radio by the pa...
Allison Woodruff, Paul M. Aoki