394 search results - page 11 / 79 » Composition mechanisms for retrenchment |
INFSOF
2002
13 years 8 months ago
2002
In this paper, we present methods of translating transactions from object-oriented database(OODB) to relational database(RDB). The process involves schema mapping in data definiti...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We propose an univesal scheme to design loop-free and superstabilizing protocols for constructing spanning trees optimizing any tree metrics (not only those that are isom...
CONCUR
1998
Springer
14 years 24 days ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— Mechanisms utilizing rigid links and relatively small flexural joints are very suitable for fabrication at the meso scale. The Micromechanical Flying Insect (MFI) project at U...
GECCO
2009
Springer
14 years 3 months ago
2009
Springer
Multi-material 3D-printing technologies permit the freeform fabrication of complex spatial arrangements of materials in arbitrary geometries. This technology has opened the door t...