M. Naor (Ed.): TCC 2004, LCNS 2951, pages 336 352, February 2004. c © Springer-Verlag Berlin Heidelberg 2004. Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography, i.e., the specification is an ideal system and a real system should in some sense simulate this ideal one...

The article analyzes the use of 3D-printing technologies in construction industry. main trends development this area related to modern software for 3D printers, printer designs and forming extrusion heads also formulations building mixes used printing are noted. relevance using concrete is conditioned by creation unique structural elements, objects landscape gardening architecture or buildings....

A unique, multi-phase, random, complex, and composite material, concrete provides both strength and impermeability to engineered structures. Unlike most construction materials, the properties of concrete continue to develop over time and in place—assisting processing and fabrication. Testing and quality assurance, however, become more complicated. For instance, having to wait 28 days to ensure ...

Glass Fibre Reinforced Concrete is recent introduction in the field of concrete technology. The present day world is witnessing the construction of very challenging and difficult Civil Engineering Structures. Concrete being the most important and widely used material is called upon to possess very high strength and sufficient workability properties. Concrete the most widely used consrtuction ma...

Traditional vibrating equipment and technology combined with manual experience to judge the quality of concrete is highly subjective poorly standardized. Due under-vibration, over-vibration leakage vibration, has defects such as holes, segregation cracks, which lead pouring not meeting design requirements. The research progress introduced from four aspects: parameters affecting quality, evaluat...

Abstract The current study presents a comprehensive quality management plan for different stages of the precast concrete technology by adopting an efficient workflow methodology. In this study, data was collected using primary sources and through close observation existing control plans. aim is to identify gaps in system propose easily-adoptable process-oriented framework mitigate issues. resea...