799 search results - page 42 / 160 » Refinement and Separation Contexts |
ICMCS
2000
IEEE
14 years 8 days ago
2000
IEEE
In the context of communication networks with no QoS guarantees, we describe the problem of streaming layer encoded multimedia presentation data as a two-phase decision problem. W...
ATVA
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
BNCOD
2009
13 years 9 months ago
2009
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration, but with reduced upfront costs, combined with opportunities for in...
IJFCS
2006
13 years 8 months ago
2006
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the con...
INFSOF
2006
13 years 8 months ago
2006
This paper proposes a principled methodology for the realization of distribution transparencies. The proposed methodology is placed within the general context of Model-Driven Arch...