Sciweavers

16968 search results - page 340 / 3394

» Software Engineering in the Small

143

ICSE
2007
IEEE-ACM

116views Software Engineering» more ICSE 2007»

Self-Managed Systems: an Architectural Challenge

16 years 6 months ago

Self-Managed Systems: an Architectural Challenge

Download csse.usc.edu

Jeff Kramer, Jeff Magee

claim paper

Read More »

131

ICSE
2007
IEEE-ACM

88views Software Engineering» more ICSE 2007»

Reliability Analysis of Concurrent Systems Using LTSA

16 years 6 months ago

Reliability Analysis of Concurrent Systems Using LTSA

Download eprints.ucl.ac.uk

Genaína Nunes Rodrigues, David S. Rosenblum...

claim paper

Read More »

150

ICSE
2008
IEEE-ACM

114views Software Engineering» more ICSE 2008»

Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems

16 years 6 months ago

Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems

Download www.cs.rug.nl

David Servat, Huáscar Espinoza, Séba...

claim paper

Read More »

129

Voted

VMCAI
2010
Springer

157views Software Engineering» more VMCAI 2010»

Abstract Threads

16 years 4 months ago

Abstract Threads

Download www.vs.inf.ethz.ch

Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer

claim paper

Read More »

174

VMCAI
2010
Springer

146views Software Engineering» more VMCAI 2010»

Interpolant Strength

16 years 4 months ago

Interpolant Strength

Download www.georg.weissenbacher.name

Vijay D'Silva, Daniel Kroening, Mitra Purandare, G...

claim paper

Read More »

« Prev « First page 340 / 3394 Last » Next »