Search Sciweavers | Sciweavers

16790 search results - page 120 / 3358

» A Future for Software Engineering

103

click to vote

VMCAI
2009
Springer

114views Software Engineering» more VMCAI 2009»

Constraint-Based Invariant Inference over Predicate Abstraction

15 years 10 months ago

Download research.microsoft.com

Sumit Gulwani, Saurabh Srivastava, Ramarathnam Ven...

claim paper

Read More »

Voted

COMPSAC
2009
IEEE

94views Software Engineering» more COMPSAC 2009»

PAIDS: A Proximity-Assisted Intrusion Detection System for Unidentified Worms

15 years 10 months ago

Download web.eng.fiu.edu

Zhenyun Zhuang, Ying Li, Zesheng Chen

claim paper

Read More »

click to vote

CSMR
2009
IEEE

90views Software Engineering» more CSMR 2009»

Incremental Clone Detection

15 years 10 months ago

Download www.informatik.uni-bremen.de

Nils Göde, Rainer Koschke

claim paper

Read More »

104

click to vote

SCAM
2009
IEEE

123views Software Engineering» more SCAM 2009»

Improving Side-Effect Analysis with Lazy Access Path Resolving

15 years 10 months ago

Download www.dcs.kcl.ac.uk

Ju Qian, Yuming Zhou, Baowen Xu

claim paper

Read More »

114

Voted

SCAM
2009
IEEE

212views Software Engineering» more SCAM 2009»

Chopping Concurrent Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers