Results 31 to 40 of about 2,438,026 (283)
Methods for analyzing the impact of software changes on objective functions and safety functions
Российский технологический журналObjectives. This paper examines the various approaches to analyzing the impact of software changes, and suggests a new method using function control flows.
A. А. Legkodumov +3 more
doaj +1 more source
Neural-Augmented Static Analysis of Android Communication
, 2018 We address the problem of discovering communication links between applications in the popular Android mobile operating system, an important problem for security and privacy in Android.
Abadi Martín +9 more
core +1 more source
Automated Generation of Test Cases for Smart Contract Security Analyzers
IEEE Access, 2020 We address the absence of reliable tests on contract analyzers of smart contracts and present a systematic method to diversify test cases by combining smart-contract-specific bugs and static analysis barriers in this paper.
Ki Byung Kim, Jonghyup Lee
doaj +1 more source
Semantic Modeling Approach Supporting Process Modeling and Analysis in Aircraft Development
Applied Sciences, 2022 With the increasing complexity of aircraft development programs, the development processes of aircraft and their subsystems are continuously becoming complicated, leading to the growing risks of development cost across the entire life cycle.
Junda Ma +5 more
doaj +1 more source
Structural analysis and optimum design of ECM machine tool based on variable density method
Journal of Hebei University of Science and Technology, 2019 In order to improve the precision and quality of electrochemical machining of complex surface/cavity parts, the design of horizontal electrochemical machine tool which can realize the compound feeding motion of straight line and rotation is carried out ...
Lunye SUN, Hao CHEN, Hui WANG, Zhibo FU
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Characterizing stressful events reported by childhood cancer survivors experienced throughout the lifespan may help improve trauma‐informed care relevant to the survivor experience. Methods Participants included 2552 survivors (54% female; 34 years of age) and 469 community controls (62% female; 33 years of age) from the St.
Megan E. Ware +13 more
wiley +1 more source
RUDN Journal of Engineering Research, 2020 The scientific work represents a research of the cutting process in order to determine the influence of the cutting tool extensions length from the tool holder and the cutting forces that occur during processing and corresponding to different values of ...
Dmitry G. Allenov +3 more
doaj +1 more source
Radial basis functions-finite differences collocation and a Unified Formulation for bending, vibration and buckling analysis of laminated plates, according to Murakami's zig-zag theory [PDF]
, 2011 In this paper, we propose to use the Murakami's zig-zag theory for the static and vibration analysis of laminated plates, by local collocation with radial basis functions in a finite differences framework.
A.J.M. Ferreira +45 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.Abstract Background Sickle cell disease (SCD) is an autosomal recessive hemoglobinopathy affecting millions of individuals worldwide. The clinical expression and psychosocial burden of SCD vary widely across geographical, cultural, and healthcare system contexts, underscoring the need for setting‐specific approaches to assessment.
Desiré Fantasia +7 more
wiley +1 more source
An Empirical Case Study on the Temporary File Smell in Dockerfiles
IEEE Access, 2019 Docker is widely used in data centers to host services. The docker image adopts a hierarchical storage architecture, which means that the docker image is composed of a set of filesystem layers.
Zhigang Lu +4 more
doaj +1 more source