Search Sciweavers | Sciweavers

15777 search results - page 51 / 3156

» The Reformulation-Optimization Software Engine

click to vote

SIGSOFT
2003
ACM

164views Software Engineering» more SIGSOFT 2003»

Computer modelling and natural phenomena

14 years 8 months ago

Download www.unitn.it

Giuseppe Longo

claim paper

Read More »

click to vote

SIGSOFT
2003
ACM

131views Software Engineering» more SIGSOFT 2003»

Verified systems by composition from verified components

14 years 8 months ago

Download www.chillarege.com

Fei Xie, James C. Browne

claim paper

Read More »

click to vote

SIGSOFT
2001
ACM

136views Software Engineering» more SIGSOFT 2001»

Component revision identification based on IDL/ADL component specification

14 years 8 months ago

Download dsrg.mff.cuni.cz

Premysl Brada

claim paper

Read More »

click to vote

SIGSOFT
2001
ACM

84views Software Engineering» more SIGSOFT 2001»

Increasing client-side confidence in remote component implementations

14 years 8 months ago

Download www.cse.ohio-state.edu

Ramesh Jagannathan, Paolo A. G. Sivilotti

claim paper

Read More »

click to vote

SIGSOFT
2001
ACM

116views Software Engineering» more SIGSOFT 2001»

An algebraic approach to file synchronization

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers