Sciweavers

2521 search results - page 76 / 505
» Semantic Component Composition
Sort
View
SIGSOFT
2000
ACM
15 years 5 months ago
A compositional approach to statecharts semantics
Gerald Lüttgen, Michael von der Beeck, Rance ...
81
Voted
COMPOS
1997
Springer
15 years 4 months ago
Compositional Proof Methods for Concurrency: A Semantic Approach
Frank S. de Boer, Willem P. de Roever
68
Voted
CSMR
2006
IEEE
15 years 4 months ago
Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3
Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sc...
90
Voted
IFM
2000
Springer
111views Formal Methods» more  IFM 2000»
15 years 4 months ago
A Concurrent and Compositional Petri Net Semantics of Preemption
Hanna Klaudel, Franck Pommereau
81
Voted
ECOWS
2009
Springer
15 years 3 months ago
Negotiating Robustness in Semantic Web Service Composition
Freddy Lécué, Usman Wajid, Nikolay M...