Search Sciweavers | Sciweavers

10575 search results - page 154 / 2115

» T2Script Programming Language

116

click to vote

ICALP
2001
Springer

94views Programming Languages» more ICALP 2001»

On Interactive Proofs with a Laconic Prover

15 years 11 months ago

Download dash.harvard.edu

Oded Goldreich, Salil P. Vadhan, Avi Wigderson

claim paper

Read More »

143

click to vote

ICALP
2001
Springer

106views Programming Languages» more ICALP 2001»

The Complexity of Computing the Size of an Interval

15 years 11 months ago

Download www14.in.tum.de

Lane A. Hemaspaandra, Sven Kosub, Klaus W. Wagner

claim paper

Read More »

103

click to vote

IFIP
2001
Springer

73views Programming Languages» more IFIP 2001»

Security Vulnerabilities and System Intrusions - The Need for Automatic Response Frameworks

15 years 11 months ago

Download folk.uio.no

Steven Furnell, Maria Papadaki, G. Magklaras, A. A...

claim paper

Read More »

155

click to vote

PPDP
2001
Springer

131views Programming Languages» more PPDP 2001»

Granularity of Constraint-Based Analysis for Java

15 years 10 months ago

Download cs.sookmyung.ac.kr

Ì × Ô Ô ÖÔÖÓÔÓ× × ØÖ Ò× ÓÖÑ Ø ÓÒ¹ × ÔÔÖÓ ØÓ ¹ × Ò ÓÒ×ØÖ ÒØ¹ × Ò ÐÝ× × ÓÖ Â Ú Ø Ó Ö× Ö Ö ÒÙ¹ Ð Ö ØÝº ÁÒ Ø × Ô�...

Byeong-Mo Chang, Jang-Wu Jo

claim paper

Read More »

144

click to vote

TOOLS
2000
IEEE

139views Programming Languages» more TOOLS 2000»

Architecture Framework for Software Test Tool

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers