Search Sciweavers | Sciweavers

9626 search results - page 252 / 1926

» Invariant Based Programming

131

click to vote

ENTCS
2000

82views more ENTCS 2000»

Abstract Interpretation Based Verification of Logic Programs

15 years 6 months ago

Download www.di.unipi.it

Giorgio Levi

claim paper

Read More »

136

click to vote

HEURISTICS
2002

91views more HEURISTICS 2002»

Constraint Programming Based Column Generation for Crew Assignment

15 years 6 months ago

Download www.carmen.se

Torsten Fahle, Ulrich Junker, Stefan E. Karisch, N...

claim paper

Read More »

130

click to vote

AC
1999
Springer

99views Software Engineering» more AC 1999»

Component-Based Programming of Distributed Applications

15 years 6 months ago

Download reference.kfupm.edu.sa

Valérie Issarny, Luc Bellissard, Michel Riv...

claim paper

Read More »

123

click to vote

BIOINFORMATICS
1999

82views more BIOINFORMATICS 1999»

BAliBASE: a benchmark alignment database for the evaluation of multiple alignment programs

15 years 6 months ago

Download bioinf.mpi-inf.mpg.de

Julie Dawn Thompson, Frédéric Plewni...

claim paper

Read More »

click to vote

IJUFKS
1998

31views more IJUFKS 1998»

ICOT: An Integrated C-Object Tool for Knowledge-Based Programming

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers