Sciweavers

15824 search results - page 63 / 3165

» Specialising in Software Engineering

24

SIGSOFT
2003
ACM

164views Software Engineering» more SIGSOFT 2003»

Computer modelling and natural phenomena

14 years 10 months ago

Computer modelling and natural phenomena

Download www.unitn.it

Giuseppe Longo

claim paper

Read More »

23

SIGSOFT
2003
ACM

131views Software Engineering» more SIGSOFT 2003»

Verified systems by composition from verified components

14 years 10 months ago

Verified systems by composition from verified components

Download www.chillarege.com

Fei Xie, James C. Browne

claim paper

Read More »

21

SIGSOFT
2001
ACM

136views Software Engineering» more SIGSOFT 2001»

Component revision identification based on IDL/ADL component specification

14 years 10 months ago

Component revision identification based on IDL/ADL component specification

Download dsrg.mff.cuni.cz

Premysl Brada

claim paper

Read More »

20

SIGSOFT
2001
ACM

84views Software Engineering» more SIGSOFT 2001»

Increasing client-side confidence in remote component implementations

14 years 10 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 »

23

SIGSOFT
2001
ACM

116views Software Engineering» more SIGSOFT 2001»

An algebraic approach to file synchronization

14 years 10 months ago

An algebraic approach to file synchronization

Download www.cs.tufts.edu

Norman Ramsey, Elöd Csirmaz

claim paper

Read More »

« Prev « First page 63 / 3165 Last » Next »