Search Sciweavers | Sciweavers

16541 search results - page 434 / 3309

» Ontologies and Software Engineering

162

click to vote

FSTTCS
2000
Springer

98views Software Engineering» more FSTTCS 2000»

Approximation Algorithms for Bandwidth and Storage Allocation Problems under Real Time Constraints

15 years 10 months ago

Download www.dis.uniroma1.it

Stefano Leonardi, Alberto Marchetti-Spaccamela, An...

claim paper

Read More »

136

click to vote

FSTTCS
2000
Springer

94views Software Engineering» more FSTTCS 2000»

Arithmetic Circuits and Polynomial Replacement Systems

15 years 10 months ago

Download www.thi.uni-hannover.de

Pierre McKenzie, Heribert Vollmer, Klaus W. Wagner

claim paper

Read More »

149

click to vote

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

15 years 10 months ago

Download hal.archives-ouvertes.fr

Jan-Georg Smaus, François Fages, Pierre Der...

claim paper

Read More »

105

click to vote

ICSE
2000
IEEE-ACM

97views Software Engineering» more ICSE 2000»

Deriving test plans from architectural descriptions

15 years 10 months ago

Download members.tripod.com

Antonia Bertolino, Flavio Corradini, Paola Inverar...

claim paper

Read More »

135

click to vote

IUI
2000
ACM

112views Software Engineering» more IUI 2000»

R2D2 in a softball: the portable satellite assistant

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers