Results 221 to 230 of about 845,088 (265)
Some of the next articles are maybe not open access.
A Meta Model for Team Recommendations
2010Teams are an important organizational unit and need to be composed appropriately. Whenever a high number of possible team members exists, the complexity of the composition task can not be effectively handled by humans. To support the composition in this scenario, team recommenders can be used.
Michele Brocco +2 more
openaire +1 more source
LanguageLab - A Meta-modelling Environment
2015In the LanguageLab language workbench, we build on a component-based approach to language specification that facilitates the specification of all aspects of a computer language in a consistent manner, taking into account best practices in meta-modelling and language design.
Terje Gjøsæter, Andreas Prinz 0001
openaire +1 more source
A Calculus for (Meta)Models and Transformations
International Journal of Software Engineering and Knowledge Engineering, 2014This paper proposes a formal representation of modeling languages based on category theory. These languages are generally described by "metamodels", i.e. structures composed by classes and relations, and related by "transformations". Thus, this paper studies how the key categorical concepts such as functors and relations between functors (called ...
Laurent Thiry, Michel Hassenforder
openaire +2 more sources
2004
The Testing and Test Control Notation TTCN-3 is a test specification and implementation language that has been defined classically in form of a formal syntax and a semiformal semantics. UML, MOF and MDA has shown that on contrary meta-model based language definitions impose new ways of defining language semantics as a separation of syntax and semantic ...
Ina Schieferdecker, George Din
openaire +1 more source
The Testing and Test Control Notation TTCN-3 is a test specification and implementation language that has been defined classically in form of a formal syntax and a semiformal semantics. UML, MOF and MDA has shown that on contrary meta-model based language definitions impose new ways of defining language semantics as a separation of syntax and semantic ...
Ina Schieferdecker, George Din
openaire +1 more source
Logic Journal of IGPL, 2009
Summary: This paper introduces and studies a new type of logical construction, which allows us to combine various nonclassical propositional logics with temporal or modal background. The possible candidates include (but are not restricted to) a number of epistemic, multi-agent, deontological and other well-studied logics.
Sergey Babenyshev, Vladimir V. Rybakov
openaire +2 more sources
Summary: This paper introduces and studies a new type of logical construction, which allows us to combine various nonclassical propositional logics with temporal or modal background. The possible candidates include (but are not restricted to) a number of epistemic, multi-agent, deontological and other well-studied logics.
Sergey Babenyshev, Vladimir V. Rybakov
openaire +2 more sources
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), 2019
Although artificial intelligence and machine learning are currently extremely fashionable, applying machine learning on real-life problems remains very challenging. Data scientists need to evaluate various learning algorithms and tune their numerous parameters, based on their assumptions and experience, against concrete problems and training data sets.
Thomas Hartmann 0001 +4 more
openaire +1 more source
Although artificial intelligence and machine learning are currently extremely fashionable, applying machine learning on real-life problems remains very challenging. Data scientists need to evaluate various learning algorithms and tune their numerous parameters, based on their assumptions and experience, against concrete problems and training data sets.
Thomas Hartmann 0001 +4 more
openaire +1 more source
Meta model approach for mediation
Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003, 2004In this work, we discuss how to interpret traditional Data Flow Diagram (DFD) by Unified Modeling Language (UML) for the purpose of integrating legacy systems with modern systems. To do that we introduce DFD meta model by using UML class diagrams and Object Constraint Language (OCL).
Masataro Shiroiwa +2 more
openaire +1 more source
Meta-modeling for Manufacturing Processes
2011Meta-modeling for manufacturing processes describes a procedure to create reduced numeric surrogates that describe cause-effect relationships between setting parameters as input and product quality variables as output for manufacturing processes. Within this method, expert knowledge, empiric data and physical process models are transformed such that ...
Thomas Auerbach +19 more
openaire +1 more source
A meta-model for context-patterns
Proceedings of the 18th European Conference on Pattern Languages of Program, 2013It is essential for building the right software system to elicit and analyze requirements. Writing requirements that can achieve the purpose of building the right system is only possible if the domain knowledge of the system-to-be and its environment is known and considered thoroughly. We consider this as the context problem of software development. In
Kristian Beckers +2 more
openaire +1 more source
BioSignalML--a meta-model for biosignals.
Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual International Conference, 2012The multitude of biosignal file formats used in research has hampered the easy exchange of biosignals and their use with physiological modelling software. We describe an abstract data model that accommodates the diversity of formats, along with a software implementation which links biosignal data into the Semantic Web, using existing data formats ...
David J. Brooks +3 more
openaire +2 more sources