152 search results - page 19 / 31 » Complex Zero-Knowledge Proofs of Knowledge Are Easy to Use |
70
Voted
CORR
2010
Springer
15 years 16 days ago
2010
Springer
DCSP (Distributed Constraint Satisfaction Problem) has been a very important research area in AI (Artificial Intelligence). There are many application problems in distributed AI t...
103
click to vote
CORR
2004
Springer
15 years 9 days ago
2004
Springer
I study the class of problems efficiently solvable by a quantum computer, given the ability to "postselect" on the outcomes of measurements. I prove that this class coin...
91
Voted
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
IPR (Intellectual Property Rights) Management is a complex domain. The IPR field is structured by evolving regulations, practises, business models,... Therefore, DRMS (Digital Righ...
99
Voted
ITP
2010
15 years 4 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
The interest in pair programming (PP) has increased recently, e.g. by the popularization of agile software development. However, many practicalities of PP are poorly understood. W...