Search Sciweavers | Sciweavers

4917 search results - page 28 / 984

» Software Engineering is Not Computer Science

133

click to vote

VMCAI
2005
Springer

112views Software Engineering» more VMCAI 2005»

The Verifying Compiler, a Grand Challenge for Computing Research

15 years 11 months ago

Download asimod.in.tum.de

C. A. R. Hoare

claim paper

Read More »

126

click to vote

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 11 months ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

124

Voted

WOSS
2004
ACM

122views Software Engineering» more WOSS 2004»

Using model trees to characterize computer resource usage

15 years 11 months ago

Download www.cs.cmu.edu

Stephen Heisig, Steve Moyle

claim paper

Read More »

141

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

15 years 11 months ago

Download www.ilab.sztaki.hu

Dániel Fogaras, Balázs Rácz

claim paper

Read More »

122

click to vote

KBSE
2003
IEEE

108views Software Engineering» more KBSE 2003»

Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers