Sciweavers

2152 search results - page 17 / 431
» An Abstract Account of Composition
Sort
View
IEEESCC
2009
IEEE
16 years 18 days 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
16 years 15 days 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 10 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 7 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»
15 years 6 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