1890 search results - page 117 / 378 » A component model for building systems software |
SIGSOFT
2003
ACM
14 years 1 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
APSEC
2002
IEEE
14 years 1 months ago
2002
IEEE
One of the major problems in building large-scale distributed systems is to anticipate the performance of the eventual solution before it has been built. This problem is especiall...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we are trying to clarify, with the aid of some semiotic notions, the confusions that lie around the widely used terms “analysis model” and “design model” in s...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adap...
COMPSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...