Sciweavers

15794 search results - page 122 / 3159

» Agent-Oriented Software Engineering

118

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 »

134

Voted

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 »

122

Voted

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 »

114

Voted

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 »

112

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 122 / 3159 Last » Next »