Sciweavers

15778 search results - page 317 / 3156

» Aikido and software engineering

170

Voted

SIGSOFT
2003
ACM

131views Software Engineering» more SIGSOFT 2003»

Verified systems by composition from verified components

16 years 8 months ago

Verified systems by composition from verified components

Download www.chillarege.com

Fei Xie, James C. Browne

claim paper

Read More »

133

Voted

SIGSOFT
2001
ACM

136views Software Engineering» more SIGSOFT 2001»

Component revision identification based on IDL/ADL component specification

16 years 8 months ago

Component revision identification based on IDL/ADL component specification

Download dsrg.mff.cuni.cz

Premysl Brada

claim paper

Read More »

149

Voted

SIGSOFT
2001
ACM

84views Software Engineering» more SIGSOFT 2001»

Increasing client-side confidence in remote component implementations

16 years 8 months ago

Increasing client-side confidence in remote component implementations

Download www.cse.ohio-state.edu

Ramesh Jagannathan, Paolo A. G. Sivilotti

claim paper

Read More »

179

Voted

SIGSOFT
2001
ACM

116views Software Engineering» more SIGSOFT 2001»

An algebraic approach to file synchronization

16 years 8 months ago

An algebraic approach to file synchronization

Download www.cs.tufts.edu

Norman Ramsey, Elöd Csirmaz

claim paper

Read More »

135

Voted

ICSE
2003
IEEE-ACM

102views Software Engineering» more ICSE 2003»

16 years 7 months ago

Download www.verisign.com

Richard A. Kemmerer

claim paper

Read More »

« Prev « First page 317 / 3156 Last » Next »