Results 241 to 250 of about 4,623,694 (286)
Some of the next articles are maybe not open access.
AML: an Architecture Meta-Language
14th IEEE International Conference on Automated Software Engineering, 2003The language AML (Architecture Meta-Language) is used to specify the semantics of architecture description languages (ADLs). It is a very primitive language, having declarations for only three constructs: elements, kinds and relationships. Each of these constructs may be constrained via predicates in temporal logic. The essence of AML is the ability to
openaire +2 more sources
MERA: meta language for software engineering
Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering, 2003MERA (Meta Entity-Relation-Attribute) is a versatile graphical language which can be used for modeling and analysis of the user requirements, for building a prototype, for representing designer's knowledge for controlling design process, etc. The current version of MERA has capacity for animation, view operation, user adaptability, and some semantic ...
Koji Takeda +2 more
openaire +1 more source
Extensible Binary Meta Language
RFC, 2020This document defines the Extensible Binary Meta Language (EBML) format as a generalized file format for any type of data in a hierarchical form. EBML is designed as a binary equivalent to XML and uses a storage-efficient approach to build nested Elements with identifiers, lengths, and values.
S. Lhomme, D. Rice, M. Bunkus
openaire +2 more sources
Languages, Meta-languages and METATEM, A Discussion Paper
Logic Journal of IGPL, 1996Summary: Meta-languages are vital to the development and usage of formal systems, and yet the nature of meta-languages and associated notions require clarification. Here, we attempt to provide a clear definition of the requirements for a language to be a meta-language, together with consideration of issues of proof theory, model theory and interpreters
Howard Barringer +9 more
openaire +5 more sources
A Meta-language for Enterprise Architecture Analysis
2011Enterprise Architecture (EA) management is a commonly accepted instrument to support strategic decision making. The objective of EA management is to improve business IT alignment by making the impact of planned changes explicit. The increasing interconnectivity of applications with other applications and with business processes however makes it ...
Sabine Buckl +4 more
openaire +1 more source
A Meta-Language Approach for Machine Learning
2019In the last decade, machine learning has increasingly been utilized for solving various types of problems in different domains, such as, manufacturing finance, and healthcare. However, designing and fine-tuning algorithms require extensive expertise in artificial intelligence.
Nicholas Caporusso +2 more
openaire +1 more source
SML: SoFMIS Meta Language for Surgical Simulation
2011Developing a surgical simulation is a very complex task, requiring various components and usually the involvement of multiple people. As the complexity of the simulator increases, the functionality and the functional semantics of the components become very challenging to manage.
Tansel Halic, Suvranu De
openaire +3 more sources
2014
In the last 9 chapters we introduced the classical mathematical Logic and the basic theory of axiomatization processes. In this chapter, we shall survey these basic theories from two aspects: what these basic theories are, and how to use them.
openaire +1 more source
In the last 9 chapters we introduced the classical mathematical Logic and the basic theory of axiomatization processes. In this chapter, we shall survey these basic theories from two aspects: what these basic theories are, and how to use them.
openaire +1 more source
An Inscriptional Meta-Language
2016In this chapter a formalisation of Scheffler’s inscriptionalist approach will be attempted. As noted at the end of the previous chapter, the aforementioned formalisation will rely heavily on the work of Goodman , Quine , Martin and Woodger . Martin’s work is of particular importance.
openaire +1 more source
A Meta Language for Threat Modeling and Attack Simulations
Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018Attack simulations may be used to assess the cyber security of systems. In such simulations, the steps taken by an attacker in order to compromise sensitive system assets are traced, and a time estimate may be computed from the initial step to the compromise of assets of interest. Attack graphs constitute a suitable formalism for the modeling of attack
Pontus Johnson +2 more
openaire +2 more sources