Sciweavers

15783 search results - page 151 / 3157

» Evidence-Based Software Engineering

129

WOSS
2004
ACM

122views Software Engineering» more WOSS 2004»

Using model trees to characterize computer resource usage

15 years 12 months ago

Using model trees to characterize computer resource usage

Download www.cs.cmu.edu

Stephen Heisig, Steve Moyle

claim paper

Read More »

125

WOSS
2004
ACM

120views Software Engineering» more WOSS 2004»

Patterns of self-management

15 years 12 months ago

Patterns of self-management

Download www.cs.cmu.edu

David S. Wile

claim paper

Read More »

124

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 12 months ago

Model-Checking Systems with Unbounded Variables without Abstraction

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

124

AMAST
2004
Springer

125views Software Engineering» more AMAST 2004»

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

15 years 12 months ago

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

Download www.lisyc.univ-brest.fr

Damien Massé

claim paper

Read More »

124

AMAST
2004
Springer

87views Software Engineering» more AMAST 2004»

Formalising Graphical Behaviour Descriptions

15 years 12 months ago

Formalising Graphical Behaviour Descriptions

Download www.cs.stir.ac.uk

Kenneth J. Turner

claim paper

Read More »

« Prev « First page 151 / 3157 Last » Next »