Search Sciweavers | Sciweavers

3667 search results - page 75 / 734

» Software Rejuvenation - Modeling and Analysis

102

click to vote

SEKE
2005
Springer

98views Software Engineering» more SEKE 2005»

Formal Analysis of Workflow Systems with Security Considerations

15 years 10 months ago

Download www.jaist.ac.jp

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

claim paper

Read More »

114

Voted

SOCO
2005
Springer

120views Software Engineering» more SOCO 2005»

Analysis of Compositional Conflicts in Component-Based Systems

15 years 10 months ago

Download www.itee.uq.edu.au

Andreas Leicher, Susanne Busse, Jörn Guy S&uu...

claim paper

Read More »

112

Voted

CASES
2004
ACM

115views System Software» more CASES 2004»

Causality analysis of synchronous programs with delayed actions

15 years 10 months ago

Download rsg.informatik.uni-kl.de

Klaus Schneider, Jens Brandt, Tobias Schüle

claim paper

Read More »

click to vote

ICFEM
2004
Springer

100views Software Engineering» more ICFEM 2004»

A Knowledge Based Analysis of Cache Coherence

15 years 10 months ago

Download www.cse.unsw.edu.au

Kai Baukus, Ron van der Meyden

claim paper

Read More »

116

click to vote

SCOPES
2004
Springer

96views System Software» more SCOPES 2004»

Fast Points-to Analysis for Languages with Structured Types

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers