Sciweavers

4752 search results - page 13 / 951

» Dependability in Web Software

24

AC
2000
Springer

102views Software Engineering» more AC 2000»

An Introduction to Dependent Type Theory

14 years 2 months ago

An Introduction to Dependent Type Theory

Download www.springer.com

Gilles Barthe, Thierry Coquand

claim paper

Read More »

34

ICSM
1998
IEEE

79views Software Engineering» more ICSM 1998»

Slicing Objects Using System Dependence Graphs

14 years 1 months ago

Slicing Objects Using System Dependence Graphs

Download pleuma.cc.gatech.edu

Donglin Liang, Mary Jean Harrold

claim paper

Read More »

22

COMPSAC
2004
IEEE

101views Software Engineering» more COMPSAC 2004»

Dependable Computing: Concepts, Challenges, Directions

14 years 1 months ago

Dependable Computing: Concepts, Challenges, Directions

Download conferences.computer.org

Jean-Claude Laprie

claim paper

Read More »

20

COMPSAC
2004
IEEE

89views Software Engineering» more COMPSAC 2004»

Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking

14 years 1 months ago

Portable Faultloads Based on Operator Faults for DBMS Dependability Benchmarking

Download paris.utdallas.edu

Marco Vieira, Henrique Madeira

claim paper

Read More »

21

CC
2008
Springer

90views System Software» more CC 2008»

Visualization of Program Dependence Graphs

13 years 11 months ago

Visualization of Program Dependence Graphs

Download www.ssw.uni-linz.ac.at

Thomas Würthinger, Christian Wimmer, Hanspete...

claim paper

Read More »

« Prev « First page 13 / 951 Last » Next »