Search results for "transformations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Romain Lenglet	Composition flexible et efficace de transformations de programmes. (Flexible and efficient composition of program transformations).		2004	RDF
18	Julien Cohen	Intégration des collections topologiques et des transformations dans un langage fonctionnel. (Integration of topological collections and transformations into a functional language).		2004	RDF
18	Artur Boronat, José A. Carsí, Isidro Ramos	An Algebraic Baseline for Automatic Transformations in MDA.	SETra@ICGT	2004	DBLP DOI BibTeX RDF
18	Hans Schippers, Pieter Van Gorp, Dirk Janssens	Leveraging UML Profiles to Generate Plugins From Visual Model Transformations.	SETra@ICGT	2004	DBLP DOI BibTeX RDF
18	Mehdi Jazayeri, Johann Oberleitner	Predicting Incompatibility of Transformations in Model-driven Development.	SETra@ICGT	2004	DBLP DOI BibTeX RDF
18	Jean-Marie Favre, Tam Nguyen	Towards a Megamodel to Model Software Evolution Through Transformations.	SETra@ICGT	2004	DBLP DOI BibTeX RDF
18	Arend Rensink, Ákos Schmidt, Dániel Varró	Model Checking Graph Transformations: A Comparison of Two Approaches.	ICGT	2004	DBLP DOI BibTeX RDF
18	André Marburger, Bernhard Westfechtel	Behavioral Analysis of Telecommunication Systems by Graph Transformations.	AGTIVE	2003	DBLP DOI BibTeX RDF
18	Hawley K. Rising	MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia (Invited Talk).	AGTIVE	2003	DBLP DOI BibTeX RDF
18	Alon Amsel, Dirk Janssens	Expressing Component-Relating Aspects with Graph Transformations.	AGTIVE	2003	DBLP DOI BibTeX RDF
18	Dorina C. Petriu, Xin Wang	Deriving Software Performance Models from Architectural Patterns by Graph Transformations.	TAGT	1998	DBLP DOI BibTeX RDF
18	Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann	Incremental Development of Safety Properties in Petri Net Transformations.	TAGT	1998	DBLP DOI BibTeX RDF
18	Bruno Courcelle	The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic.	Handbook of Graph Grammars	1997	DBLP BibTeX RDF
18	Minjoong Rim, Rajiv Jain	Valid Transformations: A New Class of Loop Transformations.	ICPP (2)	1994	DBLP DOI BibTeX RDF
18	Tibor Csendes, Tamás Rapcsák	Nonlinear coordinate transformations for unconstrained optimization I. Basic transformations.	J. Glob. Optim.	1993	DBLP DOI BibTeX RDF
17	Anne Etien, Alexis Muller, Thomas Legrand, Xavier Blanc 0001	Combining independent model transformations.	SAC	2010	DBLP DOI BibTeX RDF
17	Aurélien Lemay, Sebastian Maneth, Joachim Niehren	A learning algorithm for top-down XML transformations.	PODS	2010	DBLP DOI BibTeX RDF	myhill-nerode equivalence, tree transformation, minimization, learning algorithm, top-down, transducer
17	James Gross	Admission control based on OFDMA channel transformations.	WOWMOM	2009	DBLP DOI BibTeX RDF
17	Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller	A language and framework for invariant-driven transformations.	GPCE	2009	DBLP DOI BibTeX RDF	runtime invariant checking, program transformation, invariants, program optimization, incremental maintenance
17	Jeremiah Willcock, Andrew Lumsdaine, Daniel J. Quinlan	Reusable, generic program analyses and transformations.	GPCE	2009	DBLP DOI BibTeX RDF	compiler optimization, generic programming
17	Edoardo Ardizzone, Roberto Gallea, Orazio Gambino, Roberto Pirrone	Fuzzy Smoothed Composition of Local Mapping Transformations for Non-rigid Image Registration.	ICIAP	2009	DBLP DOI BibTeX RDF	function interpolation, image registration, fuzzy clustering, free form deformation
17	Bedir Tekinerdogan, Namik Aktekin	Interaction-based feature-driven model-transformations for generating e-forms.	FOSD	2009	DBLP DOI BibTeX RDF	feature-oriented modeling, e-government, model-driven software development
17	Joshua D. Guttman	Transformations between Cryptographic Protocols.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
17	Esther Guerra, Juan de Lara, Fernando Orejas	Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF
17	Thomas Hettel, Michael Lawley, Kerry Raymond	Towards Model Round-Trip Engineering: An Abductive Approach.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF
17	Luis E. Garza, Javier Hernández, Francisco Marcellán	Spectral transformations of measures supported on the unit circle and the Szegö transformation.	Numer. Algorithms	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 42C05, 15A23
17	Alberto Pettorossi, Maurizio Proietti	Totally correct logic program transformations via well-founded annotations.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Program transformation rules, Partial and total correctness, Well-founded orderings, Logic programming
17	Stephan Roser, Bernhard Bauer	Automatic Generation and Evolution of Model Transformations Using Ontology Engineering Space.	J. Data Semantics	2008	DBLP DOI BibTeX RDF
17	Karl Gmeiner, Bernhard Gramlich	Transformations of Conditional Rewrite Systems Revisited.	WADT	2008	DBLP DOI BibTeX RDF
17	Pieter Van Gorp, Anne Keller, Dirk Janssens	Transformation Language Integration Based on Profiles and Higher Order Transformations.	SLE	2008	DBLP DOI BibTeX RDF
17	Reema Al-Kamha, David W. Embley, Stephen W. Liddle	Foundational Data Modeling and Schema Transformations for XML Data Engineering.	UNISCON	2008	DBLP DOI BibTeX RDF
17	Tara N. Sainath, Dimitri Kanevsky, Bhuvana Ramabhadran	Gradient steepness metrics using extended Baum-Welch transformations for universal pattern recognition tasks.	ICASSP	2008	DBLP DOI BibTeX RDF
17	Olaf Muliawan	Extending a Model Transformation Language Using Higher Order Transformations.	WCRE	2008	DBLP DOI BibTeX RDF
17	Uday Bondhugula, Muthu Manikandan Baskaran, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, P. Sadayappan	Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model.	CC	2008	DBLP DOI BibTeX RDF
17	Christian Hundt 0001, Maciej Liskiewicz	Combinatorial Bounds and Algorithmic Aspects of Image Matching under Projective Transformations.	MFCS	2008	DBLP DOI BibTeX RDF
17	Stephan Heckmüller, Bernd E. Wolfinger	Using Load Transformations to Predict the Impact of Packet Fragmentation and Losses on Markovian Arrival Processes.	ASMTA	2008	DBLP DOI BibTeX RDF
17	Val Tannen	Provenance for Database Transformations.	IPAW	2008	DBLP DOI BibTeX RDF
17	Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara	An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.	MoDELS	2008	DBLP DOI BibTeX RDF
17	Steffen Becker 0001	Coupled model transformations.	WOSP	2008	DBLP DOI BibTeX RDF	mda, platform completions, performance prediction, model-driven software development
17	Raphael Romeikat, Stephan Roser, Pascal Müllender, Bernhard Bauer	Translation of QVT Relations into QVT Operational Mappings.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
17	Jesús Sánchez Cuadrado, Jesús García Molina	Approaches for Model Transformation Reuse: Factorization and Composition.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
17	Zef Hemel, Lennart C. L. Kats, Eelco Visser	Code Generation by Model Transformation.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
17	Thomas Hettel, Michael Lawley, Kerry Raymond	Model Synchronisation: Definitions for Round-Trip Engineering.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
17	Juan de Lara, Esther Guerra	Pattern-Based Model-to-Model Transformation.	ICGT	2008	DBLP DOI BibTeX RDF
17	Cécile Braunstein, Emmanuelle Encrenaz	CTL-property Transformations along an Incremental Design Process.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	System design and verification, Computational tree logic, Simulation relation
17	Qubo Hu, Per Gunnar Kjeldsberg, Arnout Vandecappelle, Martin Palkovic, Francky Catthoor	Incremental hierarchical memory size estimation for steering of loop transformations.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Data optimization, memory architecture exploration, memory size estimation, high-level synthesis, code transformation
17	François Lagarde, François Terrier, Charles André, Sébastien Gérard	Extending OCL to Ensure Model Transformations.	ER Workshops	2007	DBLP DOI BibTeX RDF
17	Yuko Hara, Hiroyuki Tomiyama, Shinya Honda, Hiroaki Takada, Katsuya Ishii	Behavioral Synthesis of Double-Precision Floating-Point Adders with Function-Level Transformations: A Case Study.	ICESS	2007	DBLP DOI BibTeX RDF
17	TzuYen Wong, Peter Kovesi, Amitava Datta	Projective Transformations for Image Transition Animations.	ICIAP	2007	DBLP DOI BibTeX RDF
17	Vijay D'Silva, Sampada Sonalkar, S. Ramesh	Existential abstractions for distributed reactive systems via syntactic transformations.	EMSOFT	2007	DBLP DOI BibTeX RDF
17	Perdita Stevens	A Landscape of Bidirectional Model Transformations.	GTTSE	2007	DBLP DOI BibTeX RDF	bidirectional model transformation, bidirectional programming language, graph transformation, QVT, triple graph grammar
17	Luca Lucchese, Simone Leorin, Guido M. Cortelazzo	Estimation of Two-Dimensional Affine Transformations Through Polar Curve Matching and Its Application to Image Mosaicking and Remote-Sensing Data Registration.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
17	Junhua Wang, Soon-Kyeong Kim, David A. Carrington	Verifying Metamodel Coverage of Model Transformations.	ASWEC	2006	DBLP DOI BibTeX RDF
17	Xiangjian He, Wenjing Jia, Qiang Wu 0001, Namho Hur, Tom Hintz, Huaqing Wang, Jinwoong Kim	Basic Transformations on Virtual Hexagonal Structure.	CGIV	2006	DBLP DOI BibTeX RDF	Hexagonal structure, image translation, Spiral Architecture, image rotation
17	Ramón López de Mántaras	Play It Again: A Case-Based Approach to Expressivity-Preserving Tempo Transformations in Music.	ISMIS	2006	DBLP DOI BibTeX RDF
17	Jan-Hendrik Oetjens, Joachim Gerlach, Wolfgang Rosenstiel	Flexible specification and application of rule-based transformations in an automotive design flow.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
17	Shih-Wei Liao, Zhaohui Du, Gansha Wu, Guei-Yuan Lueh	Data and Computation Transformations for Brook Streaming Applications on Multiprocessors.	CGO	2006	DBLP DOI BibTeX RDF
17	Markus Lumpe	Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy.	APLAS	2006	DBLP DOI BibTeX RDF
17	Erwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry, Yves Le Traon	Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool.	ISSRE	2006	DBLP DOI BibTeX RDF
17	Uwe Zdun, Mark Strembeck	Modeling Composition in Dynamic Programming Environments with Model Transformations.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
17	Ljiljana D. Milic, Sanja Damjanovic, Marko Nikolic	Frequency Transformations of IIR Filters with Filter Bank Applications.	APCCAS	2006	DBLP DOI BibTeX RDF
17	Nickolai A. Likhoded, S. V. Bakhanovich, A. V. Zherelo	Obtaining Affine Transformations to Improve Locality of Loop Nests.	Program. Comput. Softw.	2005	DBLP DOI BibTeX RDF
17	Gian Piero Zarri	Integrating the Two Main Inference Modes of NKRL, Transformations and Hypotheses.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
17	Stephen J. Maybank	The Fisher-Rao Metric for Projective Transformations of the Line.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	canonical volume, Fisher-Rao metric, probability of false detection, projective transformation of the line, asymptotic expansion, Riemannian manifold, heat equation
17	Xavier Vera, Jaume Abella 0001, Josep Llosa, Antonio González 0001	An accurate cost model for guiding data locality transformations.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	genetic algorithms, Cache memories, tiling, padding
17	Siavash Zokai, George Wolberg	Image Registration Using Log-Polar Mappings for Recovery of Large-Scale Similarity and Projective Transformations.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
17	Thomas Baar	OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF	OCL, Graph Grammars, Design by Contract, QVT, Behavior Specification
17	Peter B. Andrews	Some Reflections on Proof Transformations.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
17	Leopoldo Zepeda, Matilde Celma	Specifying metamodel transformations for data warehouse design.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF
17	Jakob E. Bardram, Claus Bossen, Anders Thomsen	Designing for transformations in collaboration: a study of the deployment of homecare technology.	GROUP	2005	DBLP DOI BibTeX RDF	monitoring, transformation, healthcare, activity theory, homecare, groupware design, hypertension
17	Davide Di Ruscio, Alfonso Pierantonio	Model Transformations in the Development of Data-Intensive Web Applications.	CAiSE	2005	DBLP DOI BibTeX RDF
17	D. Roy Mahapatra, Roderick V. N. Melnik	A Dynamic Model for Phase Transformations in 3D Samples of Shape Memory Alloys.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
17	José Luis Sierra, Alfredo Fernández-Valmayor, Baltasar Fernández-Manjón, Antonio Navarro 0001	Developing Content-Intensive Applications with XML Documents, Document Transformations and Software Components.	EUROMICRO-SEAA	2005	DBLP DOI BibTeX RDF	Development Approach, Content-Intensive Applications, Descriptive Markup Languages, XML, Software Components
17	Ramkrishnan Narayanan, Jeffrey A. Fessler, Hyunjin Park, Charles R. Meyer	Diffeomorphic Nonlinear Transformations: A Local Parametric Approach for Image Registration.	IPMI	2005	DBLP DOI BibTeX RDF
17	John H. Gennari, Peter Mork, Hao Li	Knowledge transformations between frame systems and RDB systems.	K-CAP	2005	DBLP DOI BibTeX RDF	knowledge interoperation, knowledge transformation
17	Peter Mahlmann, Christian Schindelhauer	Peer-to-peer networks based on random transformations of connected regular undirected graphs.	SPAA	2005	DBLP DOI BibTeX RDF	distributed algorithms, peer-to-peer networks, random graphs, expander graphs
17	Lars Grunske, Leif Geiger, Michael Lawley	A Graphical Specification of Model Transformations with Triple Graph Grammars.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
17	Kai Chen 0010, Janos Sztipanovits, Sherif Abdelwahed, Ethan K. Jackson	Semantic Anchoring with Model Transformations.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
17	Nik Swoboda, Gerard Allwein	Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Euler and Venn diagrams, Graph transformation, Diagrammatic reasoning, Proof verification
17	András Kocsor, László Tóth 0001	Application of Kernel-Based Feature Space Transformations and Learning Methods to Phoneme Classification.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	phoneme classification, feature extraction, principal component analysis, independent component analysis, discriminant analysis, kernel-based methods
17	Marat Boshernitsan, Susan L. Graham	iXj: interactive source-to-source transformations for java.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	program transformation languages, interactive environments
17	Nick Benton	Simple relational correctness proofs for static analyses and program transformations.	POPL	2004	DBLP DOI BibTeX RDF	partial equivalence relations, security, dependency, program analysis, information flow, types, optimizing compilation, denotational semantics, Hoare logic
17	Ralph Müller-Pfefferkorn, Wolfgang E. Nagel, Bernd Trenkler	Optimizing Cache Access: A Tool for Source-to-Source Transformations and Real-Life Compiler Tests.	Euro-Par	2004	DBLP DOI BibTeX RDF
17	Wim Martens, Frank Neven	Frontiers of Tractability for Typechecking Simple XML Transformations. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
17	Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin	Locally Consistent Transformations and Query Answering in Data Exchange. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
17	Alison Cawsey, Euan W. Dempster, Daniel Pacey, M. Howard Williams, David H. Marwick, Lachlan M. MacKinnon	Constraining XML Transformations for Personalised Information Presentation.	BNCOD	2004	DBLP DOI BibTeX RDF
17	Dominik Stein, Stefan Hanenberg, Rainer Unland	A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models.	MDAFA	2004	DBLP DOI BibTeX RDF
17	Hartmut Ehrig, Annegret Habel, Julia Padberg, Ulrike Prange	Adhesive High-Level Replacement Categories and Systems.	ICGT	2004	DBLP DOI BibTeX RDF
17	Tanguy Urvoy	Composition of Path Transductions.	ICGT	2004	DBLP DOI BibTeX RDF
17	Maneesh K. Yadav, Brian P. Kelley, Steven M. Silverman	The Potential of a Chemical Graph Transformation System.	ICGT	2004	DBLP DOI BibTeX RDF
17	Tero Harju, Ion Petre, Grzegorz Rozenberg	Tutorial on DNA Computing and Graph Transformation.	ICGT	2004	DBLP DOI BibTeX RDF
17	Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg	Embedding in Switching Classes with Skew Gains.	ICGT	2004	DBLP DOI BibTeX RDF
17	A. Yu. Dorogov	Implementation of Spectral Transformations in the Class of Fast Neural Networks.	Program. Comput. Softw.	2003	DBLP DOI BibTeX RDF
17	Zoltán Fülöp 0001, Heiko Vogler	Tree Series Transformations that Respect Copying.	Theory Comput. Syst.	2003	DBLP DOI BibTeX RDF
17	Nicholas F. Polys	Stylesheet transformations for interactive visualization: towards a Web3D chemistry curricula.	Web3D	2003	DBLP DOI BibTeX RDF	molecular chemistry, education, information visualization, interactive 3D graphics
17	Ivan Porres	Model Refactorings as Rule-Based Update Transformations.	UML	2003	DBLP DOI BibTeX RDF
17	Ingo Sander, Axel Jantsch, Zhonghai Lu	Development and Application of Design Transformations in ForSyDe.	DATE	2003	DBLP DOI BibTeX RDF
17	Konstantinos Sirlantzis, Sanaul Hoque, Michael C. Fairhurst	Input Space Transformations for Multi-classifier Systems Based on n-tuple Classifiers with Application to Handwriting Recognition.	Multiple Classifier Systems	2003	DBLP DOI BibTeX RDF
17	Chengkai Li 0001, Philip Bohannon, Henry F. Korth, P. P. S. Narayan	Composing XSL Transformations with XML Publishing Views.	SIGMOD Conference	2003	DBLP DOI BibTeX RDF	XML
17	Véronique Benzaken, Marwan Burelle, Giuseppe Castagna	Information Flow Security for XML Transformations.	ASIAN	2003	DBLP DOI BibTeX RDF