Analysis of dependencies between entities is an important part of modeling. Whether the modeling domain is at the enterprise level or at the system or software component level, characterization, representation, and analysis of these dependencies is essential to correctly modeling the domain. For example, it is important to identify and characterize dependencies between both system and software ...

Critical software needs to obtain an assessment before commissioning. This assessment is given after a long task of software analysis performed by assessors. They may be helped by tools, used interactively, to build models using information-flow analysis. Tools like SPARK-Ada exist for Ada subsets used for critical software. But some emergent languages such as those of the ML family lack such a...

Dependency Grammars prove to be effective in improving sentiment analysis, because they can directly capture syntactic relations between words. However, most dependency-based systems suffer from a major drawback: they only use 1-best dependency trees for feature extraction, which adversely affects the performance due to parsing errors. Therefore, we propose an approach that applies dependency f...

Formally verifying the correctness of programs in a program logic provides strong static guarantees about the program’s runtime behaviour. Unlike static analysis techniques, proving such correctness properties typically requires some form of user interaction, e.g. the user might need to manually state appropriate loop invariants. In the context of dL, this problem is somewhat exacerbated becaus...

We propose an Abstract Interpretation-based static analysis for automatically detecting the dependencies between the names linked to the agents of a mobile system. We focus our study on the mobile systems written in the π-calculus. We first refine the standard semantics in order to restore the relation between the names and the agents that have declared them. We then abstract the dependency rel...

Dependency analysis is important in all of the stages of workflow processes. An appropriate analysis will help us to identify the potentially affected entities if changes occur. In this technical report we thoroughly analyze the critical entities of workflow processes and their dependency relationships, and propose a multi-dimensional dependency model, that includes routing dependency, data dep...

Abstract Background: Stroke is the third cause of mortality and not only leads to dependency, which is a great social, individual and cultural problem, but also can affect the physiology, immune system and coagulation system such as plasma fibrinogen, and it may potentially increase the risk of stroke. This study investigated the relationship of opium dependency and stroke. Method...

The main goal of this paper is to reveal the extent import dependency on electricity, gas, steam, and air conditioning supply (EGSA), basic component energy, in Turkey. Such that growing industrialization Turkey has expanded need for energy since many sectors use as input produce output. However, Turkey’s domestic production fails meet demand. For reason, meets approximately 75 percent its need...