Search Sciweavers | Sciweavers

866 search results - page 33 / 174

» A compositional semantics for CHR

click to vote

VLDB
2005
ACM

84views Database» more VLDB 2005»

Automatic Composition of Transition-based Semantic Web Services with Messaging

14 years 3 months ago

Download www.vldb2005.org

Daniela Berardi, Diego Calvanese, Giuseppe De Giac...

claim paper

Read More »

click to vote

SEMWEB
2004
Springer

79views Internet Technology» more SEMWEB 2004»

Introduction to Semantic Web Services and Web Process Composition

14 years 2 months ago

Download knoesis.wright.edu

Jorge Cardoso, Amit P. Sheth

claim paper

Read More »

click to vote

SIGSOFT
2000
ACM

92views Software Engineering» more SIGSOFT 2000»

A compositional approach to statecharts semantics

14 years 1 months ago

Download www-users.cs.york.ac.uk

Gerald Lüttgen, Michael von der Beeck, Rance ...

claim paper

Read More »

click to vote

COMPOS
1997
Springer

144views Formal Methods» more COMPOS 1997»

Compositional Proof Methods for Concurrency: A Semantic Approach

14 years 1 months ago

Download www-sst.informatik.tu-cottbus.de

Frank S. de Boer, Willem P. de Roever

claim paper

Read More »

click to vote

CSMR
2006
IEEE

81views Software Engineering» more CSMR 2006»

Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers