Search Sciweavers | Sciweavers

10707 search results - page 11 / 2142

» Designing executable abstractions

click to vote

GI
2007
Springer

111views Theoretical Computer Science» more GI 2007»

Executing Abstract Test Cases

15 years 10 months ago

Download www.soft-net.at

Bernhard Peischl, Martin Weiglhofer, Franz Wotawa

claim paper

Read More »

130

click to vote

ER
2006
Springer

101views Database» more ER 2006»

The DeltaGrid Abstract Execution Model: Service Composition and Process Interference Handling

15 years 10 months ago

Download www.public.asu.edu

Yang Xiao, Susan Darling Urban, Ning Liao

claim paper

Read More »

146

click to vote

NOSSDAV
1995
Springer

81views Computer Networks» more NOSSDAV 1995»

A Rate-Based Execution Abstraction for Multimedia Computing

15 years 10 months ago

Download www.cs.unc.edu

Kevin Jeffay, David Bennett

claim paper

Read More »

129

click to vote

FMCO
2008
Springer

120views Formal Methods» more FMCO 2008»

Abstract Interpretation of Symbolic Execution with Explicit State Updates

15 years 8 months ago

Download www.cse.chalmers.se

Richard Bubel, Reiner Hähnle, Benjamin Wei&sz...

claim paper

Read More »

Voted

MKWI
2008

127views Business» more MKWI 2008»

An Algorithm for the Validation of Executable Completions of an Abstract BPEL Process

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers