Search Sciweavers | Sciweavers

10072 search results - page 54 / 2015

» Composition of Model Programs

142

Voted

JCS
2007

141views more JCS 2007»

Compositional information flow security for concurrent programs

15 years 4 months ago

Download www.dsi.unive.it

We present a general unwinding framework for the deﬁnition of information ﬂow security properties of concurrent programs, described in a simple imperative language enriched wi...

Annalisa Bossi, Carla Piazza, Sabina Rossi

claim paper

Read More »

105

click to vote

WWW
2002
ACM

96views Internet Technology» more WWW 2002»

XL: an XML programming language for web service specification and composition

16 years 5 months ago

Download www.dbis.ethz.ch

Andreas Grünhagen, Daniela Florescu, Donald K...

claim paper

Read More »

113

click to vote

IWDC
2005
Springer

115views Communications» more IWDC 2005»

Safe Composition of Distributed Programs Communicating over Order-Preserving Imperfect Channels

15 years 10 months ago

Download www.cse.unsw.edu.au

Kai Engelhardt, Yoram Moses

claim paper

Read More »

111

click to vote

VMCAI
2005
Springer

71views Software Engineering» more VMCAI 2005»

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

15 years 10 months ago

Download www.di.ens.fr

Julien Bertrane

claim paper

Read More »

click to vote

WDAG
2005
Springer

94views Algorithms» more WDAG 2005»

Causing Communication Closure: Safe Program Composition with Non-FIFO Channels

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers