Search Sciweavers | Sciweavers

2521 search results - page 76 / 505

» Semantic Component Composition

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 22 days ago

Download sisinflab.poliba.it

Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sc...

claim paper

Read More »

click to vote

IFM
2000
Springer

111views Formal Methods» more IFM 2000»

A Concurrent and Compositional Petri Net Semantics of Preemption

14 years 19 days ago

Download hal.archives-ouvertes.fr

Hanna Klaudel, Franck Pommereau

claim paper

Read More »

click to vote

ECOWS
2009
Springer

81views Internet Technology» more ECOWS 2009»

Negotiating Robustness in Semantic Web Service Composition

14 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers