5084 search results - page 410 / 1017 » Proving Possibility Properties |
181
click to vote
LICS
2003
IEEE
16 years 3 days ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
199
click to vote
COMPGEOM
2010
ACM
15 years 12 months ago
2010
ACM
Shape completion is an intriguing problem in geometry processing with applications in CAD and graphics. This paper defines a new type of 3D curves, which can be utilized for curv...
176
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
—A novel scheme for processing packets in a router is presented that provides load sharing among multiple network processors distributed within the router. It is complemented by ...
201
click to vote
EDBT
2010
ACM
15 years 11 months ago
2010
ACM
Secure data sharing in multi-party environments requires that both authenticity and confidentiality of the data be assured. Digital signature schemes are commonly employed for au...
137
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Min Ones Constraint Satisfaction Problems, i.e., the task of finding a satisfying assignment with at most k true variables (Min Ones SAT(Γ)), can express a number of interesting ...