Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
This paper describes an online control framework to design self-managing distributed computing systems that continually optimize their performance in response to changing computin...
Systems composed of microprocessors interacting with ASICs are necessarily multiple-process systems, since the controller in the microprocessor is separate from any controllers on...
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
As new software components become available for an existing system, we can evolve not only the system itself but also its requirements based on the new components. In this paper, ...