1885 search results - page 110 / 377 » Optimization of Component Connections for an Embedded Compon... |
WOSS
2004
ACM
15 years 3 months ago
2004
ACM
This paper describes an online control framework to design self-managing distributed computing systems that continually optimize their performance in response to changing computin...
TACAS
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
DATE
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—The SPEEDS project is aimed at making rich components models (RCM) into a mature framework in all phases of the design of complex distributed embedded systems. The RCM m...
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
In this article we provide an embedding of an interaction-based service notion into UML2. Such an embedding is needed, because to this date, UML2 has only limited support for servi...
ACSD
2005
IEEE
15 years 3 months ago
2005
IEEE
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...