Sciweavers

15727 search results - page 85 / 3146

» Software Engineering - Introduction

122

Voted

SCAM
2007
IEEE

101views Software Engineering» more SCAM 2007»

Source Code Composition with the Reuseware Composition Framework

15 years 10 months ago

Source Code Composition with the Reuseware Composition Framework

Download www.dcs.kcl.ac.uk

Jendrik Johannes

claim paper

Read More »

137

SEFM
2007
IEEE

146views Software Engineering» more SEFM 2007»

A Scalable Lock-Free Stack Algorithm and its Verification

15 years 10 months ago

A Scalable Lock-Free Stack Algorithm and its Verification

Download www.cs.bgu.ac.il

Robert Colvin, Lindsay Groves

claim paper

Read More »

125

TASE
2007
IEEE

92views Software Engineering» more TASE 2007»

Streaming State Space: A Method of Distributed Model Verification

15 years 10 months ago

Streaming State Space: A Method of Distributed Model Verification

Download d3s.mff.cuni.cz

Viliam Holub, Petr Tuma

claim paper

Read More »

118

TASE
2007
IEEE

113views Software Engineering» more TASE 2007»

Dynamics of Control

15 years 10 months ago

Dynamics of Control

Download www.iist.unu.edu

Jeff W. Sanders, Matteo Turilli

claim paper

Read More »

117

ICSM
2007
IEEE

112views Software Engineering» more ICSM 2007»

Agree or Change! Making Services Evolve

15 years 10 months ago

Agree or Change! Making Services Evolve

Download icsm07.ai.univ-paris8.fr

Paolo Traverso, Marco Pistore

claim paper

Read More »

« Prev « First page 85 / 3146 Last » Next »