We propose estimators of the buffer overflow probability in queues fed by a Markov-modulated input process and serviced by an autocorrelated service process. These estimators are based on large-deviations asymptotics for the overflow probability. We demonstrate that the proposed estimators are less likely to underestimate the overflow probability than the estimator obtained by certainty equival...

Buffer overflow is a serious problem when the software is run as a server on the internet. Especially when the return addresses are overwritten intentionally, the control flow may be changed as the attacker intends. Although there have been proposed several ways to protect attacks that utilize the buffer overflow, the number of the errors owing to the buffer overflow have been increasing gradua...

Buffer overflow has become a major source of network security vulnerability. Traditional schemes for detecting buffer overflow attacks usually terminate the attacked service, degrading the service availability. In this paper, we propose a lightweight buffer overflow protection mechanism that allows continued network service. The proposed mechanism allows a service program to reconfigure itself ...

Increasingly, software developers are using a wide array of social collaborative platforms for software development and learning. In this work, we examined the similarities in developer’s interests within and across GitHub and Stack Overflow. Our study finds that developers share common interests in GitHub and Stack Overflow; on average, 39% of the GitHub repositories and Stack Overflow questio...

this study investigates the amount of suspended solid particles in three drinking water wells, conducted several times per day in the city of mashhad. the results have also been used for the review and optimization of tested hydro-cyclones. for this purpose, 18 different hydro-cyclones, based on the experimental design process of the taguchi method, were designed and the affecting factors were ...

It is known that moxonidine acts as an agonist at presynaptic alpha(2)-adrenoceptors of the postganglionic sympathetic nerve terminals and leads to a reduction in noradrenaline release. In addition, it is conceivable that I(1)-binding sites located in other regions of the pre- and postganglionic sympathetic neurons are involved in this effect. Our aim was to investigate whether and to what exte...

Bupropion, an efficacious antidepressant and smoking cessation agent, inhibits dopamine and norepinephrine transporters (DAT and NET, respectively). Recently, bupropion has been reported to noncompetitively inhibit alpha3beta2, alpha3beta4, and alpha4beta2 nicotinic acetylcholine receptors (nAChRs) expressed in Xenopus oocytes or established cell lines. The present study evaluated bupropion-ind...

vii CHAPTER

Integer overflows in commodity software are a main source for software bugs, which can result in exploitable memory corruption vulnerabilities and may eventually contribute to powerful software based exploits, i.e., code reuse attacks (CRAs). In this paper, we present INTGUARD, a symbolic execution based tool that can repair integer overflows with high-quality source code repairs. Specifically,...

Introduction Chemically reacting flows are of increasing importance to NASA's terrestrial and space missions. In cases where the flow geometry is complex, which includes most practical devices, ability to utilize overset grids greatly enhances NASA's ability to accurately model the flow physics. The OVERFLOW code is therefore an ideal platform for implementing chemical modeling capability. This...