Results 31 to 40 of about 23,644,798 (245)
Finite element analysis of train speed effect on dynamic response of steel bridge
Open Engineering, 2021 The development of materials engineering has facilitated the design of slender, light bridges replacing standard construction materials with others, which fulfil their purpose both in terms of structural behaviour and safety.
Jukowski Michał +2 more
doaj +1 more source
A system for the static analysis of XPath [PDF]
ACM Transactions on Information Systems, 2006 XPath is the standard language for navigating XML documents and returning a set of matching nodes. We present a sound and complete decision procedure for containment of XPath queries, as well as other related XPath decision problems such as satisfiability, equivalence, overlap, and coverage.
Genevès, Pierre, Layaïda, Nabil
openaire +3 more sources
More Sound Static Handling of Java Reflection [PDF]
, 2014 Reflection is a highly dynamic language feature that poses grave problems for static analyses. In the Java setting, reflection is ubiquitous in large programs.
George Balatsouras +7 more
core +1 more source
Parameterisation and Optimisation of a Hand-Rake Sweeper: Application in Olive Picking
Agriculture, 2020 Olive picking is one of the most common social agricultural activities in many regions of Andalusia where the predominant crop is the traditional olive grove. The machinery used includes shakers, blowers and essential, low-cost hand-rake sweepers.
Rafael E. Hidalgo Fernández +3 more
doaj +1 more source
A Hybrid Approach for Android Malicious Software Classification
Computing Open, 2023 Android operating systems have grown in popularity and are currently being increasingly used on smartphone devices. Because of the quickly expanding quantity of Android malware and the potential safeguard of vast amounts of data kept on Android devices ...
Deepon Deb Nath +3 more
doaj +1 more source
Static analysis of functional programs [PDF]
Information and Software Technology, 1995 In this paper, the static analysis of programs in the functional programming language Miranda is described based on two graph models. A new control-flow graph model of Miranda definitions is presented, and a model with four classes of callgraphs. Standard software metrics are applicable to these models. A Miranda front end for Prometrix, a tool for the
van den Berg, Klaas, van den Broek, P.M.
openaire +2 more sources
Detection of Sensitive Malicious Android Functionalities Using Inter-Component Control-Flow Analysis
IEEE AccessAndroid Smartphone’s popularity among users and developers is due to its open architecture and third-party apps. The exponential growth of third-party developer apps needs a robust code audit before upload.
Rati Bhan +2 more
doaj +1 more source
A Fiber-Optic Six-Axis Force Sensor Based on a 3-UPU-Compliant Parallel Mechanism
Applied SciencesTraditional six-axis force sensors are mostly based on resistance strain, piezoelectricity and capacitors, which have poor resistance to electromagnetic interference.
Jiachen Ma +3 more
doaj +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