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

16 years 16 days 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

16 years 16 days 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

16 years 16 days ago

Download dsrg.mff.cuni.cz

Premysl Brada

claim paper

Read More »

Voted

SIGSOFT
2001
ACM

84views Software Engineering» more SIGSOFT 2001»

Increasing client-side confidence in remote component implementations

16 years 16 days ago

Download www.cse.ohio-state.edu

Ramesh Jagannathan, Paolo A. G. Sivilotti

claim paper

Read More »

Voted

SIGSOFT
2001
ACM

116views Software Engineering» more SIGSOFT 2001»

An algebraic approach to file synchronization

16 years 16 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers