21520 search results - page 86 / 4304 » Symmetric network computation |
156
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
Many security properties are naturally expressed as indistinguishability between two versions of a protocol. In this paper, we show that computational proofs of indistinguishabili...
163
click to vote
GPC
2007
Springer
15 years 7 months ago
2007
Springer
This paper describes a Global Computing (GC) environment, called XtremWeb-CH (XWCH). XWCH is an improved version of a GC tool called XtremWeb (XW). XWCH tries to enrich XW in orde...
152
click to vote
DEXAW
2005
IEEE
15 years 11 months ago
2005
IEEE
A most critical and complex issue with regard to constrained devices in the ubiquitous and pervasive computing setting is secure key exchange. The restrictions motivate the invest...
154
click to vote
AMAST
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
173
click to vote
SAGT
2010
Springer
15 years 3 months ago
2010
Springer
We study the computational complexity of finding stable outcomes in symmetric additively-separable hedonic games. These coalition formation games are specified by an undirected e...