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

15 years 3 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

15 years 3 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

15 years 3 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

15 years 1 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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers