Sciweavers

2498 search results - page 226 / 500

» Software Fault Tolerance

155

SIGSOFT
2007
ACM

138views Software Engineering» more SIGSOFT 2007»

Formal modeling of BPEL workflows including fault and compensation handling

16 years 8 months ago

Formal modeling of BPEL workflows including fault and compensation handling

Download www.inf.mit.bme.hu

Dániel Varró, László G...

claim paper

Read More »

112

COMPSAC
2008
IEEE

83views Software Engineering» more COMPSAC 2008»

Fault Propagation in Tabular Expression-Based Specifications

16 years 1 months ago

Fault Propagation in Tabular Expression-Based Specifications

Download hub.hku.hk

Xin Feng, David Lorge Parnas, T. H. Tse

claim paper

Read More »

158

ISPW
2006
IEEE

107views Software Engineering» more ISPW 2006»

Automatic Fault Tree Derivation from Little-JIL Process Definitions

16 years 1 months ago

Automatic Fault Tree Derivation from Little-JIL Process Definitions

Download laser.cs.umass.edu

Bin Chen, George S. Avrunin, Lori A. Clarke, Leon ...

claim paper

Read More »

126

ICSE
2001
IEEE-ACM

116views Software Engineering» more ICSE 2001»

Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization

15 years 11 months ago

Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization

Download www.cse.unl.edu

Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg ...

claim paper

Read More »

170

DSN
2005
IEEE

104views Computer Networks» more DSN 2005»

A System Demonstration of ST-TCP

16 years 25 days ago

A System Demonstration of ST-TCP

Download magellan.colorado.edu

ST-TCP (Server fault-Tolerant TCP) is an extension of TCP to tolerate TCP server failures. Server fault tolerance is provided by using an active-backup server that keeps track of ...

Manish Marwah, Shivakant Mishra, Christof Fetzer

claim paper

Read More »

« Prev « First page 226 / 500 Last » Next »