Sentence examples for by using formal from inspiring English sources

Reputational effects, renegotiation and cooperation between the players are analyzed by using formal models.

In order to solve this problem, the standard communication verified by using formal method is required.

In this paper we present how refactoring of object-oriented programs can be accomplished by using formal refinement.

This is often conducted by using formal economic valuation methods grounded in neoclassical economic theory, although noneconomic techniques may also be applied.

In this work we present a Model Driven Engineering methodology that addresses validation and verification of security requirements by using formal methods and model transformation algorithms.

Our first contribution is to demonstrate both experimentally and by using formal verification that selective strategies are suitable for mitigating TDoS attacks.

In complex cases of measles, it was easier to avoid negative consequences for the referring physician by not using formal reporting channels, but instead referring them directly to a pediatrician, outside the PHC system: " The more important thing is that every case of measles should be reported so that proper information is available in the health system.

In the first year, the lablet will focus on four topics: improving privacy controls by applying contextual norms, using formal methods to reason about privacy, governance for Big Data, and how to best apply "Privacy-by-Design" principles.

It can be seen as a framework to evaluate and select test suites using formal methods, assisted by informal heuristics.

In addition to validation by domain experts, we used formal analyses to demonstrate the model's self-consistency.

Most translation systems are trained with collections of business, political, legal, and news documents that have been translated by professionals, but they tend to use formal language.