Search Sciweavers | Sciweavers

15794 search results - page 390 / 3159

» Agent-Oriented Software Engineering

141

click to vote

COMPSAC
2000
IEEE

92views Software Engineering» more COMPSAC 2000»

Selection of Melody Lines for Music Databases

15 years 10 months ago

Download etdncku.lib.ncku.edu.tw

Michael Tang, Chi Lap Yip, Ben Kao

claim paper

Read More »

158

click to vote

FASE
2000
Springer

94views Software Engineering» more FASE 2000»

Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach

15 years 10 months ago

Download www.medien.ifi.lmu.de

Gianna Reggio, Egidio Astesiano, Christine Choppy,...

claim paper

Read More »

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 »

148

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers