1746 search results - page 109 / 350 » Residual for Component Specifications |
129
click to vote
EDOC
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we present a constraint-based approach for selecting and deploying active network components, called proxylets, which execute on servers within the network to perfo...
117
click to vote
FTDCS
1997
IEEE
15 years 8 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
115
click to vote
ENTCS
2006
15 years 4 months ago
2006
Global component behaviours as distinguished in Paradigm, offer the ingredients for specifying inter-component coordination in separation from and consistent with detailed compone...
130
click to vote
MPC
1995
Springer
15 years 7 months ago
1995
Springer
This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
141
click to vote
SAM
2004
15 years 5 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...