5084 search results - page 410 / 1017 » Proving Possibility Properties |
209
click to vote
LICS
2003
IEEE
16 years 28 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 ...
224
click to vote
COMPGEOM
2010
ACM
16 years 22 days 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...
195
click to vote
INFOCOM
2002
IEEE
16 years 18 days 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 ...
219
click to vote
EDBT
2010
ACM
16 years 14 days 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...
153
click to vote
ICALP
2010
Springer
16 years 13 days 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 ...