Sciweavers

10622 search results - page 333 / 2125

» Python Programming Language

104

IFIP
2009
Springer

92views Programming Languages» more IFIP 2009»

Integrating Automated and Interactive Protocol Verification

15 years 10 months ago

Integrating Automated and Interactive Protocol Verification

Download www.brucker.ch

Achim D. Brucker, Sebastian Mödersheim

claim paper

Read More »

93

CC
2007
Springer

92views System Software» more CC 2007»

Obfuscating Java: The Most Pain for the Least Gain

15 years 10 months ago

Obfuscating Java: The Most Pain for the Least Gain

Download www.sable.mcgill.ca

Michael Batchelder, Laurie J. Hendren

claim paper

Read More »

99

CP
2007
Springer

112views Artificial Intelligence» more CP 2007»

Decomposing Global Grammar Constraints

15 years 10 months ago

Decomposing Global Grammar Constraints

Download www.cse.unsw.edu.au

Claude-Guy Quimper, Toby Walsh

claim paper

Read More »

110

GPCE
2007
Springer

84views Programming Languages» more GPCE 2007»

Lightweight scalable components

15 years 10 months ago

Lightweight scalable components

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

Tetsuo Kamina, Tetsuo Tamai

claim paper

Read More »

97

ICALP
2007
Springer

82views Programming Languages» more ICALP 2007»

Credentials-Based Authorization: Evaluation and Implementation

15 years 10 months ago

Credentials-Based Authorization: Evaluation and Implementation

Download www.cs.cornell.edu

Fred B. Schneider

claim paper

Read More »

« Prev « First page 333 / 2125 Last » Next »