Search results for "ATL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Karim Dahman, François Charoy, Claude Godart	From Business Process to Component Architecture: Engineering Business to IT Alignment.	EDOCW	2011	DBLP DOI BibTeX RDF	Unidirectional Model Transformation, SCA, BPMN, Business-IT Alignment, ATL, Conceptual Mapping
1	Yuki Shiroma, Hironori Washizaki, Yoshiaki Fukazawa, Atsuto Kubo, Nobukazu Yoshioka	Model-Driven Security Patterns Application Based on Dependences among Patterns.	ARES	2010	DBLP DOI BibTeX RDF	UML, Model Driven Development, Security Patterns, ATL
1	Guillaume Hillairet, Frédéric Bertrand, Jean-Yves Lafaye	Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa.	ICMT	2009	DBLP DOI BibTeX RDF	Query languages, Model Transformations, SPARQL, ATL, OQL
1	Abdelouahed Gherbi, Ferhat Khendek	From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	UML/SPT, UML, Real-time, MDA, Model transformations, Schedulability analysis, ATL
1	María Agustina Cibrán	Translating BPMN Models into UML Activities.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	UML Activities, MDA, Model Transformations, BDD, MDE, BPMN, ATL
1	Rasha Tawhid, Dorina C. Petriu	Integrating Performance Analysis in the Model Driven Development of Software Product Lines.	MoDELS	2008	DBLP DOI BibTeX RDF	UML, Performance Analysis, Software Product Line, MARTE, ATL, Model to model Transformation
1	Goetz Botterweck, Liam O'Brien, Steffen Thiel	Model-driven derivation of product architectures.	ASE	2007	DBLP DOI BibTeX RDF	software architectures, model transformation, software product lines, ATL, product derivation, model-driven approaches
1	Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei	Towards automatic model synchronization from model transformations.	ASE	2007	DBLP DOI BibTeX RDF	MDA, model transformation, ATL, model synchronization
1	Alessio Lomuscio, Franco Raimondi	Model checking knowledge, strategies, and games in multi-agent systems.	AAMAS	2006	DBLP DOI BibTeX RDF	model checking multi-agent systems, ATL
1	Frédéric Jouault, Freddy Allilaire, Jean Bézivin, Ivan Kurtev, Patrick Valduriez	ATL: a QVT-like transformation language.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	model transformation, model-driven engineering, QVT, ATL
1	Frédéric Jouault, Ivan Kurtev	On the architectural alignment of ATL and QVT.	SAC	2006	DBLP DOI BibTeX RDF	interoperability, model transformations, QVT, ATL, model engineering
1	Ivan Kurtev, Klaas van den Berg, Frédéric Jouault	Evaluation of rule-based modularization in model transformation languages illustrated with ATL.	SAC	2006	DBLP DOI BibTeX RDF	adaptability, modularity, model transformations, reusability, ATL, transformation languages
1	Xianwei Lai, Shanli Hu, Zhengyuan Ning	Reasoning about Actions, Knowledge and Normative Ability.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	cooperation logic, multi-agent systems, knowledge, actions, ATL
1	Goetz Botterweck	A Model-Driven Approach to the Engineering of Multiple User Interfaces.	MoDELS Workshops	2006	DBLP DOI BibTeX RDF	multiple front-ends, Atlas Transformation Language, model transformation, user interface modelling, Model-driven, ATL, user interface engineering, multiple user interfaces
1	Thomas Ågotnes, Michal Walicki	A logic of reasoning, communication and cooperation with syntactic knowledge.	AAMAS	2005	DBLP DOI BibTeX RDF	syntactic knowledge representation, epistemic logic, ATL
1	Carlos Domingo	Faster Near-Optimal Reinforcement Learning: Adding Adaptiveness to the E3 Algorithm.	ATL	1999	DBLP DOI BibTeX RDF
1	Andrew R. Mitchell, Tobias Scheffer, Arun Sharma, Frank Stephan	The VC-Dimension of Subclasses of Pattern.	ATL	1999	DBLP DOI BibTeX RDF
1	Kenji Yamanishi	Extended Stochastic Complexity and Minimax Relative Loss Analysis.	ATL	1999	DBLP DOI BibTeX RDF
1	Steffen Lange, Gunter Grieser	On the Strength of Incremental Learning.	ATL	1999	DBLP DOI BibTeX RDF
1	Montserrat Hermo, Víctor Lavín	Learning Minimal Covers of Functional Dependencies with Queries.	ATL	1999	DBLP DOI BibTeX RDF
1	Víctor Dalmau	Boolean Formulas are Hard to Learn for most Gate Bases.	ATL	1999	DBLP DOI BibTeX RDF
1	Francesco De Comité, François Denis, Rémi Gilleron, Fabien Letouzey	Positive and Unlabeled Examples Help Learning.	ATL	1999	DBLP DOI BibTeX RDF
1	Kouichi Hirata	Flattening and Implication.	ATL	1999	DBLP DOI BibTeX RDF
1	Peter Rossmanith	Learning from Random Text.	ATL	1999	DBLP DOI BibTeX RDF
1	Richard Nock	Complexity in the Case against Accuracy: When Building one Function-Free Horn Clause is as Hard as Any.	ATL	1999	DBLP DOI BibTeX RDF
1	Katharina Morik	Tailoring Representations to Different Requirements.	ATL	1999	DBLP DOI BibTeX RDF
1	Nader H. Bshouty, Nadav Eiron, Eyal Kushilevitz	PAC Learning with Nasty Noise.	ATL	1999	DBLP DOI BibTeX RDF
1	Jochen Nessel	Learnability of Enumerable Classes of Recursive Functions from "Typical" Examples.	ATL	1999	DBLP DOI BibTeX RDF
1	Kenji Fukumizu	Generalization Error of Limear Neural Networks in Unidentifiable Cases.	ATL	1999	DBLP DOI BibTeX RDF
1	Sally A. Goldman, Stephen Kwek	On Learning Unions of Pattern Languages and Tree Patterns.	ATL	1999	DBLP DOI BibTeX RDF
1	Yuri Kalnishkan	Genral Linear Relations among Different Types of Predictive Complexity.	ATL	1999	DBLP DOI BibTeX RDF
1	Ryan M. Rifkin, Massimiliano Pontil, Alessandro Verri	A Note on Support Vector Machine Degeneracy.	ATL	1999	DBLP DOI BibTeX RDF
1	Frank Stephan, Thomas Zeugmann	On the Uniform Learnability of Approximations to Non-Recursive Functions.	ATL	1999	DBLP DOI BibTeX RDF
1	Jirí Wiedermann	The Computational Limits to the Cognitive Power of the Neuroidal Tabula Rasa.	ATL	1999	DBLP DOI BibTeX RDF
1	Phil Watson	Inductive Learning with Corroboration.	ATL	1999	DBLP DOI BibTeX RDF
1	Sumio Watanabe	Algebraic Analysis for Singular Statistical Estimation.	ATL	1999	DBLP DOI BibTeX RDF
1	Nobuhiro Morita, Makoto Haraguchi, Yoshiaki Okubo	A Method of Similarity-Driven Knowledge Revision for Type Specializations.	ATL	1999	DBLP DOI BibTeX RDF
1	David Guijarro, Jun Tarui, Tatsuie Tsukiji	Finding Relevant Variables in PAC Model with Membership Queries.	ATL	1999	DBLP DOI BibTeX RDF
1	Yutaka Sasaki	Induction of Logic Programs Based on psi-Terms.	ATL	1999	DBLP DOI BibTeX RDF
1	Theodoros Evgeniou, Massimiliano Pontil	On the Vgamma Dimension for Regression in Reproducing Kernel Hilbert Spaces.	ATL	1999	DBLP DOI BibTeX RDF
1	Dennis Cheung	Learning Real Polynomials with a Turing Machine.	ATL	1999	DBLP DOI BibTeX RDF
1	Eiji Takimoto, Manfred K. Warmuth	Predicting Nearly as well as the best Pruning of a Planar Decision Graph.	ATL	1999	DBLP DOI BibTeX RDF
1	José L. Balcázar, Jorge Castro, David Guijarro, Hans-Ulrich Simon	The Consistency Dimension and Distribution-Dependent Learning from Queries (Extended Abstract).	ATL	1999	DBLP DOI BibTeX RDF
1	Robert E. Schapire	Theoretical Views of Boosting and Applications.	ATL	1999	DBLP DOI BibTeX RDF