Sciweavers

3702 search results - page 32 / 741
» All Pairings Are in a Group
Sort
View
147
Voted
FROCOS
2011
Springer
14 years 4 days ago
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
Carsten Fuhs, Cynthia Kop
86
Voted
IJNSEC
2008
103views more  IJNSEC 2008»
15 years 14 days ago
General Group Oriented ID-based Cryptosystems with Chosen Plaintext Security
A scheme for general group oriented ID-based cryptosystems is proposed. This scheme allows an authorized subset in the general access structure to cooperatively decrypt the cipher...
Chunxiang Xu, Junhui Zhou, Guozhen Xiao
CHI
2011
ACM
14 years 4 months ago
Creek watch: pairing usefulness and usability for successful citizen science
Citizen science projects can collect a wealth of scientific data, but that data is only helpful if it is actually used. While previous citizen science research has mostly focused ...
Sunyoung Kim, Christine Robson, Thomas Zimmerman, ...
IJNSEC
2010
91views more  IJNSEC 2010»
14 years 7 months ago
An Improvement on a Three-party Password-based Key Exchange Protocol Using Weil Pairing
The three-party password-based key exchange protocols using Weil pairing proposed by Wen is vulnerable to impersonation attack. By introducing hard artificial intelligence problem...
Yong Zeng, Jianfeng Ma, Sang-Jae Moon
140
Voted
NAR
2006
71views more  NAR 2006»
15 years 12 days ago
TSEMA: interactive prediction of protein pairings between interacting families
An entire family of methodologies for predicting protein interactions is based on the observed fact that families of interacting proteins tend to have similar phylogenetic trees d...
José M. G. Izarzugaza, David de Juan, Carle...