Integers represent a growing and underestimated source of vulnerabilities in C and C++ programs. In this paper, we present the as-if infinitely ranged (AIR) integer model, which provides a largely automated mechanism for eliminating integer overflow, truncation, and other integral exceptional conditions. The AIR integer model either produces a value equivalent to one that would have been obtain...

Service-oriented architecture is an architectural approach that can be applied for building autonomous service systems dynamically to satisfy on-demand business requests. During the execution of service compositions, architectural constraint violations relating to functional and non-fucntional system properties need to be handled intelligently and autonomously, possibly requiring architectural ...

Integers represent a growing and underestimated source of vulnerabilities in C and C++ programs. In this paper, we present the as-if infinitely ranged (AIR) integer model, which provides a largely automated mechanism for eliminating integer overflow, truncation, and other integral exceptional conditions. The AIR integer model either produces a value equivalent to one that would have been obtain...

Air pollution is one of the major threats to environment in the present time. Increase in degree of urbanization is a major cause of this air pollution. Due to urbanization, vehicular activities are continuously increasing at a tremendous rate. Mobile or vehicular pollution is predominantly degrading the air quality worldwide. Thus, air quality management is necessary for dealing with this seve...

A four year long research programme divided into four phases has been designed for the first time to assess the combined Noise-Air quality and combined exposure to Noise-Air pollution at the curbside open-air microenvironment of Kolkata city, India. The results and the findings of the different phases of study had already been published. The objective of the review work is to fuse the findings ...

background: air pollution and concerns about health impacts have been raised in metropolitan cities like tehran. trend and prediction of air pollutants can show the effectiveness of strategies for the management and control of air pollution. artificial neural network (ann) technique is widely used as a reliable method for modeling of air pollutants in urban areas. therefore, the aim of current ...

bake-out was executed against the newly constructed apartment buildings using two methods to find out the effect of improvement on the indoor air quality and identify the concentration changes in the indoor air by the bake-out method for 3 months after occupancy. from two methods of bake-out executed before occupying, we did not find any reduction effect on the hazardous substances in the indoo...

A four year long research programme divided into four phases has been designed for the first time to assess the combined Noise-Air quality and combined exposure to Noise-Air pollution at the curbside open-air microenvironment of Kolkata city, India. The results and the findings of the different phases of study had already been published. The objective of the review work is to fuse the findings ...

Steering Committee at NIER: You Deok Hong (Air Quality Research Division) Joon Young Ahn (Air Quality Research Division) Chang-Keun Song (Air Quality Forecasting Center) Lim-Seok Chang (Air Quality Forecasting Center) Jeong-Hoo Park (Air Quality Forecasting Center) Sang-Kyun Kim (Global Environment Research Division) Jaehyun Lim (Global Environment Research Division) Ji Young Kim (Air Pollution...