Search Sciweavers | Sciweavers

3667 search results - page 17 / 734

» Software Rejuvenation - Modeling and Analysis

click to vote

COMPSAC
2001
IEEE

98views Software Engineering» more COMPSAC 2001»

Formal and Use-Case Driven Requirement Analysis in UML

13 years 11 months ago

Download www.iist.unu.edu

Xiaoshan Li, Zhiming Liu, Jifeng He

claim paper

Read More »

click to vote

LCR
2000
Springer

125views System Software» more LCR 2000»

Static Analysis for Guarded Code

13 years 11 months ago

Download hal.archives-ouvertes.fr

Ping Hu

claim paper

Read More »

click to vote

PEPM
2000
ACM

113views Software Engineering» more PEPM 2000»

Symbolic Pointer Analysis for Detecting Memory Leaks

13 years 11 months ago

Download www.complang.tuwien.ac.at

Bernhard Scholz, Johann Blieberger, Thomas Fahring...

claim paper

Read More »

click to vote

ICSE
2010
IEEE-ACM

129views Software Engineering» more ICSE 2010»

Helios: impact analysis for event-based components and systems

13 years 9 months ago

Download softarch.usc.edu

Daniel Popescu

claim paper

Read More »

click to vote

CSSE
2008
IEEE

151views Software Engineering» more CSSE 2008»

Analysis on Cyclic Multi-party Fair Exchange Protocols

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers