Search Sciweavers | Sciweavers

15787 search results - page 94 / 3158

» Is Software Engineering Training Enough for Software Enginee...

137

click to vote

SEFM
2007
IEEE

146views Software Engineering» more SEFM 2007»

A Scalable Lock-Free Stack Algorithm and its Verification

15 years 10 months ago

Download www.cs.bgu.ac.il

Robert Colvin, Lindsay Groves

claim paper

Read More »

125

click to vote

TASE
2007
IEEE

92views Software Engineering» more TASE 2007»

Streaming State Space: A Method of Distributed Model Verification

15 years 10 months ago

Download d3s.mff.cuni.cz

Viliam Holub, Petr Tuma

claim paper

Read More »

118

click to vote

TASE
2007
IEEE

113views Software Engineering» more TASE 2007»

Dynamics of Control

15 years 10 months ago

Download www.iist.unu.edu

Jeff W. Sanders, Matteo Turilli

claim paper

Read More »

117

click to vote

ICSM
2007
IEEE

112views Software Engineering» more ICSM 2007»

Agree or Change! Making Services Evolve

15 years 10 months ago

Download icsm07.ai.univ-paris8.fr

Paolo Traverso, Marco Pistore

claim paper

Read More »

click to vote

B
2007
Springer

153views Software Engineering» more B 2007»

B in Large-Scale Projects: The Canarsie Line CBTC Experience

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers