Results 221 to 230 of about 334,215 (267)
Some of the next articles are maybe not open access.
Developing a Security Meta-Language Framework
2011 44th Hawaii International Conference on System Sciences, 2011Service-oriented architectures (SOAs) with web services have become commonplace in business and government application development. One reason that web services should facilitate application implementation and deployment is their use of standards to provide clear descriptions of service expectations.
Robert Baird, Rose F. Gamble
openaire +1 more source
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 +4 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 +2 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 +1 more source