Sciweavers

10575 search results - page 253 / 2115
» Programming Languages
Sort
View
IFIP
2009
Springer
16 years 1 months ago
Integrating Automated and Interactive Protocol Verification
Achim D. Brucker, Sebastian Mödersheim
CC
2007
Springer
16 years 22 days ago
Obfuscating Java: The Most Pain for the Least Gain
Michael Batchelder, Laurie J. Hendren
CP
2007
Springer
16 years 22 days ago
Decomposing Global Grammar Constraints
Claude-Guy Quimper, Toby Walsh
GPCE
2007
Springer
16 years 22 days ago
Lightweight scalable components
Tetsuo Kamina, Tetsuo Tamai