Sciweavers

10871 search results - page 182 / 2175
» A stable programming language
Sort
View
ICALP
2001
Springer
14 years 3 months ago
On Interactive Proofs with a Laconic Prover
Oded Goldreich, Salil P. Vadhan, Avi Wigderson
ICALP
2001
Springer
14 years 3 months ago
The Complexity of Computing the Size of an Interval
Lane A. Hemaspaandra, Sven Kosub, Klaus W. Wagner
IFIP
2001
Springer
14 years 3 months ago
Security Vulnerabilities and System Intrusions - The Need for Automatic Response Frameworks
Steven Furnell, Maria Papadaki, G. Magklaras, A. A...
PPDP
2001
Springer
14 years 3 months ago
Granularity of Constraint-Based Analysis for Java
Ì × Ô Ô ÖÔÖÓÔÓ× × ØÖ Ò× ÓÖÑ Ø ÓÒ¹ × ÔÔÖÓ ØÓ ¹ × Ò ÓÒ×ØÖ Òع × Ò ÐÝ× × ÓÖ Â Ú Ø Ó Ö× Ö Ö ÒÙ¹ Ð Ö Øݺ ÁÒ Ø × Ô...
Byeong-Mo Chang, Jang-Wu Jo
TOOLS
2000
IEEE
14 years 3 months ago
Architecture Framework for Software Test Tool
Chang-ai Sun, Chao Liu 0002, Mao-zhong Jin, Mei Zh...