Search Sciweavers | Sciweavers

15794 search results - page 329 / 3159

» Agent-Oriented Software Engineering

142

Voted

ICSE
2007
IEEE-ACM

88views Software Engineering» more ICSE 2007»

Reliability Analysis of Concurrent Systems Using LTSA

16 years 7 months ago

Download eprints.ucl.ac.uk

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

claim paper

Read More »

170

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 7 months ago

Download www.cs.rug.nl

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

claim paper

Read More »

141

click to vote

VMCAI
2010
Springer

157views Software Engineering» more VMCAI 2010»

Abstract Threads

16 years 4 months ago

Download www.vs.inf.ethz.ch

Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer

claim paper

Read More »

192

click to vote

VMCAI
2010
Springer

146views Software Engineering» more VMCAI 2010»

Interpolant Strength

16 years 4 months ago

Download www.georg.weissenbacher.name

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

claim paper

Read More »

129

Voted

IUI
2010
ACM

152views Software Engineering» more IUI 2010»

Designing a thesaurus-based comparison search interface for linked cultural heritage sources

16 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers