Sciweavers

2152 search results - page 17 / 431
» An Abstract Account of Composition
Sort
View
IEEESCC
2009
IEEE
15 years 6 months ago
A Backwards Composition Context Based Service Selection Approach for Service Composition
Abstract—In SOA applications are built from individual services offered by different providers. Typically an application comprises of several such services usually stemming from ...
HongQing Yu, Stephan Reiff-Marganiec
SOCO
2009
Springer
15 years 6 months ago
A Framework for Testing Model Composition Engines
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
Freddy Munoz, Benoit Baudry
ISSRE
2000
IEEE
15 years 4 months ago
Criteria for Testing Polymorphic Relationships
The emphasis in object-oriented programs is on defining abstractions that have both state and behavior. This emphasis causes a shift in focus from software units to the way softw...
Roger T. Alexander, A. Jefferson Offutt
DAGSTUHL
1996
15 years 1 months ago
Competitive Analysis of Distributed Algorithms
Abstract. Most applications of competitive analysis have involved online problems where a candidate on-line algorithm must compete on some input sequence against an optimal o -line...
James Aspnes
CORR
2010
Springer
77views Education» more  CORR 2010»
14 years 12 months ago
Sound Bisimulations for Higher-Order Distributed Process Calculus
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
Adrien Piérard, Eijiro Sumii