Sciweavers

1893 search results - page 32 / 379
» Computational composites
Sort
View
CONCUR
2009
Springer
15 years 8 months ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...
APSCC
2007
IEEE
15 years 7 months ago
Web Service in Context and Dependency-Aware Service Composition
Jiehan Zhou, Eila Niemelä, Juho Peräl&au...
ICMT
2010
Springer
15 years 6 months ago
Domain-Specific Composition of Model Deltas
Maider Azanza, Don S. Batory, Oscar Díaz, S...