Search Sciweavers | Sciweavers

335 search results - page 2 / 67

» A Composite Stabilizing Data Structure

click to vote

CAV
2007
Springer

126views Hardware» more CAV 2007»

Shape Analysis for Composite Data Structures

13 years 11 months ago

Download www.eecs.qmul.ac.uk

We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...

Josh Berdine, Cristiano Calcagno, Byron Cook, Dino...

claim paper

Read More »

click to vote

APSEC
2009
IEEE

162views Software Engineering» more APSEC 2009»

Web Services Composition by I/O Data Structure Correspondences

14 years 2 days ago

Download www.se.sie.dendai.ac.jp

Qiushi Wang, Osamu Shigo

claim paper

Read More »

click to vote

CONCUR
2009
Springer

187views Distributed And Parallel Com...» more CONCUR 2009»

A Logic-Based Framework for Reasoning about Composite Data Structures

13 years 11 months ago

Download www.memics.cz

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...

claim paper

Read More »

click to vote

BPM
2006
Springer

98views Business» more BPM 2006»

Structured Service Composition

13 years 9 months ago

Download is.tm.tue.nl

Composition languages like BPEL and many enactment tools only support structured process models, while most composition approaches only consider unstructured models. In this paper,...

Rik Eshuis, Paul W. P. J. Grefen, Sven Till

claim paper

Read More »

click to vote

PTS
2007

112views Hardware» more PTS 2007»

Implementing Conformiq Qtronic

13 years 6 months ago

Download cs.ttu.ee

with abstract data structures • Margus Veanes, Colin Campbell and Wolfram Schulte: Composition of Model Programs

Antti Huima

claim paper