Sciweavers

15885 search results - page 299 / 3177

» The Modest Software Engineer

111

Voted

ICSE
2007
IEEE-ACM

116views Software Engineering» more ICSE 2007»

Self-Managed Systems: an Architectural Challenge

16 years 4 months ago

Self-Managed Systems: an Architectural Challenge

Download csse.usc.edu

Jeff Kramer, Jeff Magee

claim paper

Read More »

96

ICSE
2007
IEEE-ACM

88views Software Engineering» more ICSE 2007»

Reliability Analysis of Concurrent Systems Using LTSA

16 years 4 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 »

111

Voted

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 4 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 »

98

VMCAI
2010
Springer

157views Software Engineering» more VMCAI 2010»

Abstract Threads

16 years 1 months ago

Abstract Threads

Download www.vs.inf.ethz.ch

Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer

claim paper

Read More »

125

VMCAI
2010
Springer

146views Software Engineering» more VMCAI 2010»

Interpolant Strength

16 years 1 months ago

Interpolant Strength

Download www.georg.weissenbacher.name

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

claim paper

Read More »

« Prev « First page 299 / 3177 Last » Next »