5084 search results - page 343 / 1017 » Proving Possibility Properties |
168
click to vote
AAIM
2006
Springer
16 years 21 days ago
2006
Springer
In this note we deal with sensitivity analysis of combinatorial optimization problems and its fundamental term, the tolerance. For three classes of objective functions (Σ, Π, MA...
174
click to vote
CSFW
2005
IEEE
16 years 10 days ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...
202
click to vote
CSFW
2005
IEEE
16 years 10 days ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...
176
click to vote
ISPDC
2005
IEEE
16 years 9 days ago
2005
IEEE
An important scheduling problem is the one in which there are no dependencies between tasks and the tasks can be of arbitrary size. This is known as the divisible load scheduling ...
208
click to vote
LICS
2005
IEEE
16 years 9 days ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...