Sciweavers

3268 search results - page 204 / 654
» Structured Service Composition
Sort
View
ENTCS
2006
199views more  ENTCS 2006»
15 years 6 months ago
Compositional Operational Semantics of a UML-Kernel-Model Language
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
Harald Fecher, Marcel Kyas, Willem P. de Roever, F...
SIAMCOMP
2008
109views more  SIAMCOMP 2008»
15 years 5 months ago
On Monotone Formula Composition of Perfect Zero-Knowledge Languages
We investigate structural properties of interactive perfect zero-knowledge (PZK) proofs. Specifically, we look into the closure properties of PZK languages under monotone boolean ...
Alfredo De Santis, Giovanni Di Crescenzo, Giuseppe...
EMNLP
2009
15 years 4 months ago
Language Models Based on Semantic Composition
In this paper we propose a novel statistical language model to capture long-range semantic dependencies. Specifically, we apply the concept of semantic composition to the problem ...
Jeff Mitchell, Mirella Lapata
CSMR
2009
IEEE
15 years 11 months ago
Handling the Dynamic Reconfiguration of Software Architectures Using Aspects
Currently, most software systems have a dynamic nature and need to evolve at run-time. For this reason, the dynamic reconfiguration of software architectures is a challenge that m...
Cristóbal Costa Soria, Jennifer Pére...
ICSE
2009
IEEE-ACM
16 years 7 months ago
FEATUREHOUSE: Language-independent, automated software composition
Superimposition is a composition technique that has been applied successfully in many areas of software development. Although superimposition is a general-purpose concept, it has ...
Christian Kästner, Christian Lengauer, Sven A...