357 search results - page 8 / 72 » A Contracting System for Hierarchical Components |
EDOC
2003
IEEE
14 years 4 months ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
APSEC
2003
IEEE
14 years 4 months ago
2003
IEEE
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
VIS
2005
IEEE
14 years 12 months ago
2005
IEEE
VisIt is a richly featured visualization tool that is used to visualize some of the largest simulations ever run. The scale of these simulations requires that optimizations are in...
ACSD
2004
IEEE
14 years 2 months ago
2004
IEEE
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
SCS
2003
14 years 4 days ago
2003
Architectural based approaches to designing software are motivating changes in the way software is developed for safety-critical systems. These new approaches allow developers to d...