394 search results - page 1 / 79 » Composition mechanisms for retrenchment |
JLP
2008
13 years 4 months ago
2008
Abstract. Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additi...
JLP
2010
12 years 11 months ago
2010
Abstract. Noting that the usual `propositionally' based way of composing retrenchments can yield many `junk' cases, alternative approaches to composition are introduced (...
SAC
2008
ACM
13 years 4 months ago
2008
ACM
This paper proposes a design for the optimized dynamic (re)composition of services that supports various user requests and accounts for changes in user`s context. The composition ...
PERCOM
2010
ACM
13 years 3 months ago
2010
ACM
Abstract—Service composition schemes create high-level application services by combining several basic services. Service composition schemes for dynamic, open systems, such as th...
PERCOM
2011
ACM
12 years 8 months ago
2011
ACM
—This paper examines the possible uses of different market mechanisms for resource allocation at different levels of Wireless Sensor Network (WSN) architecture. The goal is to ma...