Sciweavers

1037 search results - page 24 / 208
» Compositional Variability - Concepts and Patterns
Sort
View
111
Voted
WICSA
2008
15 years 3 months ago
A Pattern-Based Approach to Development of Service Mediators for Protocol Mediation
Service composition is one of the key objectives for adopting Service Oriented Architecture. Today, web services, however, are not always perfectly compatible and composition mism...
Xitong Li, Yushun Fan, Jian Wang, Li Wang, Feng Ji...
226
Voted
POPL
2005
ACM
16 years 2 months ago
Polymorphic bytecode: compositional compilation for Java-like languages
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...
Davide Ancona, Ferruccio Damiani, Sophia Drossopou...
158
Voted
MFCS
1994
Springer
15 years 6 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
ISSAC
1990
Springer
60views Mathematics» more  ISSAC 1990»
15 years 6 months ago
Normal Forms in Function Fields
We consider function fields of functions of one variable augmented by the binary operation of composition of functions. It is shown that the straightforward axiom
Karl Aberer
COMBINATORICS
2006
121views more  COMBINATORICS 2006»
15 years 2 months ago
Combinatorics of Partial Derivatives
The natural forms of the Leibniz rule for the kth derivative of a product and of Fa`a di Bruno's formula for the kth derivative of a composition involve the differential oper...
Michael Hardy