9974 search results - page 1514 / 1995 » Software Interconnection Models |
200
click to vote
SAC
2005
ACM
16 years 15 days ago
2005
ACM
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...
188
click to vote
EWSA
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
209
click to vote
ISSTA
2004
ACM
16 years 11 days ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
188
click to vote
ISSTA
2004
ACM
16 years 11 days ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
208
click to vote
CBSE
2004
Springer
16 years 10 days ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...