3996 search results - page 174 / 800 » A Publish |
149
click to vote
ENTCS
2006
15 years 6 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
184
click to vote
EOR
2006
15 years 6 months ago
2006
A tabu search approach to solve multi-objective combinatorial optimization problems is developed in this paper. This procedure selects an objective to become active for a given it...
170
click to vote
IJHPCA
2008
15 years 6 months ago
2008
pc.sagepub.com/cgi/content/abstract/22/3/284 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:International Journal...
128
click to vote
FGCS
2006
15 years 6 months ago
2006
Host configuration in optical networks is usually done by hand. In this paper we propose to use zero configuration techniques, including self-assigned IP addresses and multicast D...
159
click to vote
FSS
2006
15 years 6 months ago
2006
er is an extended abstract of my paper [12] published in Fuzzy Set and Systems. We start from a residuated lattice L and a monoid M, and we define a Galois connection from the lat...