Search Sciweavers | Sciweavers

3667 search results - page 75 / 734

» Software Rejuvenation - Modeling and Analysis

click to vote

SEKE
2005
Springer

98views Software Engineering» more SEKE 2005»

Formal Analysis of Workflow Systems with Security Considerations

14 years 1 months ago

Download www.jaist.ac.jp

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

claim paper

Read More »

click to vote

SOCO
2005
Springer

120views Software Engineering» more SOCO 2005»

Analysis of Compositional Conflicts in Component-Based Systems

14 years 1 months ago

Download www.itee.uq.edu.au

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

claim paper

Read More »

click to vote

CASES
2004
ACM

115views System Software» more CASES 2004»

Causality analysis of synchronous programs with delayed actions

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

14 years 1 months ago

Download www.cse.unsw.edu.au

Kai Baukus, Ron van der Meyden

claim paper

Read More »

click to vote

SCOPES
2004
Springer

96views System Software» more SCOPES 2004»

Fast Points-to Analysis for Languages with Structured Types

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers