Search Sciweavers | Sciweavers

4917 search results - page 28 / 984

» Software Engineering is Not Computer Science

click to vote

VMCAI
2005
Springer

112views Software Engineering» more VMCAI 2005»

The Verifying Compiler, a Grand Challenge for Computing Research

14 years 3 months ago

Download asimod.in.tum.de

C. A. R. Hoare

claim paper

Read More »

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

14 years 3 months ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

click to vote

WOSS
2004
ACM

122views Software Engineering» more WOSS 2004»

Using model trees to characterize computer resource usage

14 years 3 months ago

Download www.cs.cmu.edu

Stephen Heisig, Steve Moyle

claim paper

Read More »

click to vote

EDBTW
2004
Springer

116views Software Engineering» more EDBTW 2004»

A Scalable Randomized Method to Compute Link-Based Similarity Rank on the Web Graph

14 years 3 months ago

Download www.ilab.sztaki.hu

Dániel Fogaras, Balázs Rácz

claim paper

Read More »

click to vote

KBSE
2003
IEEE

108views Software Engineering» more KBSE 2003»

Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers