Search Sciweavers | Sciweavers

3827 search results - page 50 / 766

» The Epsilon Generation Language

click to vote

EUROPKI
2009
Springer

197views Security Privacy» more EUROPKI 2009»

Automatic Generation of Sigma-Protocols

13 years 7 months ago

Download thomaschneider.de

Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many cryptographic applications such as identification schemes, group signatures, and secure mult...

Endre Bangerter, Thomas Briner, Wilko Henecka, Ste...

claim paper

Read More »

click to vote

PLDI
2011
ACM

252views Programming Languages» more PLDI 2011»

Systematic editing: generating program transformations from an example

13 years 23 days ago

Download www.cs.utexas.edu

Software modiﬁcations are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...

Na Meng, Miryung Kim, Kathryn S. McKinley

claim paper

Read More »

click to vote

SAC
2003
ACM

90views Applied Computing» more SAC 2003»

Can a Parser be Generated from Examples?

14 years 3 months ago

Download www.cis.uab.edu

One of the open problems in the area of domain-specific languages is how to make domain-specific language development easier for domain experts not versed in a programming languag...

Marjan Mernik, Goran Gerlic, Viljem Zumer, Barrett...

claim paper

Read More »

click to vote

EACL
2009
ACL Anthology

88views Natural Language Processing» more EACL 2009»

Generating a Non-English Subjectivity Lexicon: Relations That Matter

14 years 10 months ago

Download www.aclweb.org

Valentin Jijkoun, Katja Hofmann

claim paper

Read More »