Data Transformation and verification
Language independent model transformation verification
... of data-dependency analysis on the translated specification. Verification properties of interest for this case study include: (i) termination; (ii) confluence (meaning that semantically equivalent source ...
11
Language-independent model transformation verification
... will use UML class diagrams, together with OCL constraints. These form the concrete syntax of language descriptions. Figure 1 shows a generic metamodel (termed LMM) which can serve di- rectly or indirectly as a ...
10
Correct model to model transformation for formal verification
... [Jensen, 1981, Jensen and Kristensen, 2009, Jensen, 1997a, Jensen, 1994]. Places may contain zero or more tokens, which are usually shown as black dots. A token represents a mark assigned to a place. A token is ...
422
Fingerprint verification based on dual transformation technique
... Keyword: Fingerprint, Directional Information Features, Centre Area Features, FRR, TSR. 1. INTRODUCTION The Biometrics is an automated method of recognizing a person and the term is derived from the greek word bio (life) ...
6
Transformation Techniques for Constraint Logic Programs with Applications to Protocol Verification
... 3.5 Related Work and Conclusions We have presented a method for proving first order properties of constraint logic programs based on unfold/fold program transformations, and we have shown that the ability of unfold/fold ...
200
Blind Stochastic Feature Transformation for Channel Robust Speaker Verification
... speaker verification; feature transformation; blind channel compensation; acous- tic ...speech data obtained from one type of transducer and is subsequently tested on speech data recorded from ...
15
Automatic Transformation of Ordinary Timed Petri Nets into Event-B for Formal Verification
... Basically, a Petri net [8] is a formal model illustrating a discrete and concurrent system and enabling both qualitative and quantitative analysis of the system’s behavior. Several Petri net simulation tools [9] were ...
15
Automatic Transformation of Ordinary Timed Petri Nets into Event B for Formal Verification
... Basically, a Petri net [8] is a formal model illustrating a discrete and concurrent system and enabling both qualitative and quantitative analysis of the system’s behavior. Several Petri net simulation tools [9] were ...
15
Run-time generation, transformation, and verification of access control models for self-protection
... Atlas Transformation Language (ATL) [21] transformation program, referred to as PER- ...of data collected by probes in the au- thorisation infrastructure, the SAAF controller performs the ...
11
Run-Time Generation, Transformation, and Verification of Access Control Models for Self-Protection
... Atlas Transformation Language (ATL) [21] transformation program, referred to as PER- ...of data collected by probes in the au- thorisation infrastructure, the SAAF controller performs the ...
10
A framework for model transformation verification
... for transformation verification based on proof, and identifies their appropriateness or limitations for different verification ...most verification tasks involve interactive proof: automated ...
51
Exploring AADL verification tool through model transformation
... Compared with current studies, the methodology proposed in this paper have the following features: 1 A proper subset of AADL has been chosen as the transformation target including thread[r] ...
17
Program Transformation and Its Applications to Software Synthesis and Verification
... ● Find specific classes of programs where the synthesis strategies can be proved successful in terms of synthesis times and speed-up... Verification of Program Properties by Program[r] ...
35
Advanced Software Engineering ( -Formal specification, verification, transformation, and application-
... Requirements analysis Design Coding Formal Specification Validation Verification and validation Verification Verification Testing. The change is not only at the increase of activities,[r] ...
51
Data Center Transformation
... these transformation techniques has proven to save up to 35% while providing more processing power and storage ...the data center can now seriously impact customer satisfaction and company ...The ...
9
A data transformation walkthrough
... Background Data transformation is widely used in IT ...numerous data types and many ways of converting on type to ...of data will not always be clear, meta data might be missing or be ...
87
DATA VERIFICATION IN ETL PROCESSES
... the data from the external sources, transforming the data in order to satisfy the in- tegration needs and for loading the data into the data ...the data mining world, there is a special ...
8
XML Data Transformation and Integration A Schema Transformation Approach
... both data and service ...and data transforma- tion and integration, our approach makes a number of ...for data sources in the context of XML schema and data trans- formation and integration, ...
354
Speed Data Center Transformation
... that data center requirements are evolving rapidly and the need for a high performance, simple and efficient data center has become a key priority for ...of data center technologies is combined into ...
5
Study of Graph to data Transformation
... required data, the curve should be tracked and vectorized, that is, sample the curve at fixed intervals, use vector line to replace the curve, and write down its coordinate ...
7