972 search results - page 135 / 195 » Reasoning with Conditional Time-Intervals |
TARK
2007
Springer
14 years 1 months ago
2007
Springer
A classical result in voting theory, the Gibbard-Satterthwaite Theorem, states that for any non-dictatorial voting rule for choosing between three or more candidates, there will b...
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this paper, we propose a Stackelberg game theoretic framework for distributive resource allocation over multiuser cooperative communication networks to improve the system pe...