To ease the development of geo-distributed applications, replicated data types (RDTs) offer a familiar programming interface while ensuring state convergence, low latency, and high availability. However, RDTs are still designed exclusively by experts using ad-hoc solutions that error-prone result in brittle systems. Recent works statically detect conflicting operations on existing coordinate th...

Abstract The project Rischio Implicito – Norme Tecniche per le Costruzioni (RINTC) assessed the seismic structural reliability, in terms of annual rate earthquakes causing failure, a large set code‐conforming buildings, designed to be located three different sites, representative low, mid, and high hazard Italy. It was found that reliability tends decrease significantly as site's increases, des...

This paper presents a study in the field of automated compliance checking, concentrating on building code representations. A new model for representing building codes in computable form is developed for use in building automated compliance checking systems. The model adopts Nyman and Fenves’s four-level representation paradigm as a theoretical base and uses the semantic modeling approach of the...

Message Authentication Codes (MAC) are used to ensure the integrity of digital content is not compromised and to authenticate the sender. A MAC can be constructed by using a message digest and a shared secret value. Two different digital contents should have a low probability of having the same message digest. This is called a collision. Also, when a message digest is used to create a MAC, it s...

Currently, design and construction documents submitted to the governing body for permitting are checked manually against a continuously changing and increasingly complex set of building codes. The complexity and changing nature of codes leads to delays in both the design and construction processes. The designer must assess which codes are applicable to a given project as well as sort through po...

Stephen S. Szoke, P.E., LEED/AP, FACI Director, Codes and Standards Portland Cement Association 5420 Old Orchard Road, Skokie, IL 60077 +1-847-972-9078 [email protected] Stephen V. Skalko, P.E. Manager, Regional Code Services Portland Cement Association 128 Summerfield Drive, Macon, GA 31210 +1-478-477-5028 [email protected] A paper presented at the April 23-25, 2012 The Infrastructure Security...

This paper is about the merging of two software applications that allows building decision makers to consider code compliance and to use performance simulation tools from the early, schematic phases of building design. By making the capabilities of a code compliance tool available at the early schematic phases of building design, the hope and expectation is that users will use this software to ...

one of the special liability is the liability of proprietor of building.sometime the citizen sustain a loss from the destruction of a building and for this reason in evry legal systems the proprietor or the guard of building is responsible. in the law of rom the proprietor was responsible and this liability has been entered into the article 1386 of french civil code and article 333 of iranian c...