A. S. Lim. Abstraction and Composition Techniques for Reconfiguration of Large-Scale Complex Applications. In Proceedings of the 3rd International Conference on Configurable Distributed Systems, pages 186--193, May 1996.  Home/Search   Document Not in Database   Summary   Related Articles

....concerning the execution disruption caused by their implementation using DARWIN and the NIH C class library, we can deduce that a mindful implementation should not introduce high execution disruption. In the same spirit, two approaches are based respectively on a Finite State Machine model [10] and on a CSP or CCS like process algebra [2] They both require the formal specifications of the reconfiguration conditions, which can be seen as part of the application specifications. Hence, if the programming environment supports formal specifications, the guidance that is expected from the ....

A. S. Lim. Abstraction and Composition Techniques for Reconfiguration of Large-Scale Complex Applications. In Proceedings of the 3rd International Conference on Configurable Distributed Systems, pages 186--193, May 1996.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC