Search Sciweavers | Sciweavers

15787 search results - page 94 / 3158

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

125

click to vote

SEFM
2007
IEEE

146views Software Engineering» more SEFM 2007»

A Scalable Lock-Free Stack Algorithm and its Verification

15 years 9 months ago

Download www.cs.bgu.ac.il

Robert Colvin, Lindsay Groves

claim paper

Read More »

117

click to vote

TASE
2007
IEEE

92views Software Engineering» more TASE 2007»

Streaming State Space: A Method of Distributed Model Verification

15 years 9 months ago

Download d3s.mff.cuni.cz

Viliam Holub, Petr Tuma

claim paper

Read More »

107

click to vote

TASE
2007
IEEE

113views Software Engineering» more TASE 2007»

Dynamics of Control

15 years 9 months ago

Download www.iist.unu.edu

Jeff W. Sanders, Matteo Turilli

claim paper

Read More »

105

click to vote

ICSM
2007
IEEE

112views Software Engineering» more ICSM 2007»

Agree or Change! Making Services Evolve

15 years 9 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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers