1124 search results - page 128 / 225 » Generalized Conditioning in Neighbourhood Models |
168
click to vote
CSFW
2006
IEEE
15 years 11 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
142
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
This work presents a new approach to solve the location management problem by using the location areas approach. A combination of a genetic algorithm and the Hopfield neural netwo...
145
Voted
QEST
2006
IEEE
15 years 11 months ago
2006
IEEE
We consider discrete infinite-state Markov chains which contain an eager finite attractor. A finite attractor is a finite subset of states that is eventually reached with prob...
194
click to vote
IEEECIT
2005
IEEE
15 years 11 months ago
2005
IEEE
Subject to limited computational resource, feedback scheduling aims to improve, or to optimize, the global control performance of real-time control systems. For the system that co...
182
Voted
LICS
2005
IEEE
15 years 11 months 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...