1024 search results - page 122 / 205 » Compositional Methods for Probabilistic Systems |
SERA
2005
Springer
14 years 1 months ago
2005
Springer
In recent years, embedded systems have become so complex and the development time to market is required to be shorter than before. As embedded systems include more functions for n...
CSMR
2002
IEEE
14 years 25 days ago
2002
IEEE
It is shown how software metrics and architectural patterns can be used for the management of software evolution. In the presented architecture-centric software evolutionmethod th...
FORTE
2003
13 years 9 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
AAAI
1994
13 years 9 months ago
1994
' This paper describes a computer accompaniment system capable of providing musical accompaniment for an ensemble of performers. The system tracks the performance of each musi...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
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...