Search Sciweavers | Sciweavers

10585 search results - page 172 / 2117

» The Orc Programming Language

click to vote

ICALP
2001
Springer

94views Programming Languages» more ICALP 2001»

On Interactive Proofs with a Laconic Prover

14 years 1 months ago

Download dash.harvard.edu

Oded Goldreich, Salil P. Vadhan, Avi Wigderson

claim paper

Read More »

click to vote

ICALP
2001
Springer

106views Programming Languages» more ICALP 2001»

The Complexity of Computing the Size of an Interval

14 years 1 months ago

Download www14.in.tum.de

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

claim paper

Read More »

click to vote

IFIP
2001
Springer

73views Programming Languages» more IFIP 2001»

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

14 years 1 months ago

Download folk.uio.no

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

claim paper

Read More »

click to vote

PPDP
2001
Springer

131views Programming Languages» more PPDP 2001»

Granularity of Constraint-Based Analysis for Java

14 years 1 months ago

Download cs.sookmyung.ac.kr

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

Byeong-Mo Chang, Jang-Wu Jo

claim paper

Read More »

click to vote

TOOLS
2000
IEEE

139views Programming Languages» more TOOLS 2000»

Architecture Framework for Software Test Tool

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers