Sciweavers

10575 search results - page 253 / 2115

» Programming Languages

124

IFIP
2009
Springer

92views Programming Languages» more IFIP 2009»

Integrating Automated and Interactive Protocol Verification

16 years 27 days ago

Integrating Automated and Interactive Protocol Verification

Download www.brucker.ch

Achim D. Brucker, Sebastian Mödersheim

claim paper

Read More »

122

Voted

CC
2007
Springer

92views System Software» more CC 2007»

Obfuscating Java: The Most Pain for the Least Gain

16 years 16 days ago

Obfuscating Java: The Most Pain for the Least Gain

Download www.sable.mcgill.ca

Michael Batchelder, Laurie J. Hendren

claim paper

Read More »

125

Voted

CP
2007
Springer

112views Artificial Intelligence» more CP 2007»

Decomposing Global Grammar Constraints

16 years 16 days ago

Decomposing Global Grammar Constraints

Download www.cse.unsw.edu.au

Claude-Guy Quimper, Toby Walsh

claim paper

Read More »

137

GPCE
2007
Springer

84views Programming Languages» more GPCE 2007»

Lightweight scalable components

16 years 15 days ago

Lightweight scalable components

Download www.l.u-tokyo.ac.jp

Tetsuo Kamina, Tetsuo Tamai

claim paper

Read More »

118

ICALP
2007
Springer

82views Programming Languages» more ICALP 2007»

Credentials-Based Authorization: Evaluation and Implementation

16 years 15 days ago

Credentials-Based Authorization: Evaluation and Implementation

Download www.cs.cornell.edu

Fred B. Schneider

claim paper

Read More »

« Prev « First page 253 / 2115 Last » Next »