Search results for "Transformation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Olivier Danvy	Back to Direct Style.	ESOP	1992	DBLP DOI BibTeX RDF	Direct style transformation, continuation-passing style transformation, Scheme, calculus
22	Xiao He 0005, Zhiyi Ma, Yan Zhang, Weizhong Shao	On Model Transformation Reuse.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
22	Leila Ribeiro 0001, Luciana Foss, Bruno Carreiro da Silva, Daltro José Nunes	Model Transformation Using Graph Transactions.	ICSR	2009	DBLP DOI BibTeX RDF
22	Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig	Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.	CALCO	2009	DBLP DOI BibTeX RDF
22	Shuai Gong, Jinhua Xiong	Interaction Mismatch Discovery Based Transformation from BPMN to BPEL.	IEEE SCC	2009	DBLP DOI BibTeX RDF
22	Vincent Noblet, Christian Heinrich, Fabrice Heitz, Jean-Paul Armspach	Accurate Inversion of 3-D Transformation Fields.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
22	Lukman Ab. Rahim, Sharifah Bahiyah Rahayu Syed Mansoor	Proposed Design Notation for Model Transformation.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF
22	Pieter Van Gorp, Anne Keller, Dirk Janssens	Transformation Language Integration Based on Profiles and Higher Order Transformations.	SLE	2008	DBLP DOI BibTeX RDF
22	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
22	Zhenwei Shang, Honge Ren, Jian Zhang	A Block Location Scrambling Algorithm of Digital Image Based on Arnold Transformation.	ICYCS	2008	DBLP DOI BibTeX RDF
22	Liu Peng, Bosheng Zhou	The Research on the Modeling Transformation from GBMS to jBPM.	CSSE (2)	2008	DBLP DOI BibTeX RDF
22	Md. Sumon Shahriar, Jixue Liu	Preserving Functional Dependency in XML Data Transformation.	ADBIS	2008	DBLP DOI BibTeX RDF
22	Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger	AADL Execution Semantics Transformation for Formal Verification.	ICECCS	2008	DBLP DOI BibTeX RDF
22	Xue-Bo Chen 0001, Ying Zhang	Affine Transformation of Multiple Mobile Robot Formation by Generalized Ant Colony Optimization.	RAM	2008	DBLP DOI BibTeX RDF
22	Weizhu Chen, Jun Yan 0001, Benyu Zhang, Zheng Chen 0001, Qiang Yang 0001	Document Transformation for Multi-label Feature Selection in Text Categorization.	ICDM	2007	DBLP DOI BibTeX RDF
22	J. V. Sumanth, David R. Swanson, Hong Jiang 0001	A Novel Force Matrix Transformation with Optimal Load-Balance for 3-Body Potential Based Parallel Molecular Dynamics Using Atom-Decomposition in a Heterogeneous Cluster Environment.	HiPC	2007	DBLP DOI BibTeX RDF
22	Douglas R. Smith	Requirement enforcement by transformation automata.	FOAL	2007	DBLP DOI BibTeX RDF
22	Masahiro Hayashi, Takeo Abe, I. Nakajima	Transformation from availability expression to failure frequency expression.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
22	Jesús Sánchez Cuadrado, Jesús García Molina	A Plugin-Based Language to Experiment with Model Transformation.	MoDELS	2006	DBLP DOI BibTeX RDF
22	Leen Lambers, Hartmut Ehrig, Fernando Orejas	Conflict Detection for Graph Transformation with Negative Application Conditions.	ICGT	2006	DBLP DOI BibTeX RDF
22	Shunsuke Koshita, Masahide Abe, Masayuki Kawamata	Gramian-Preserving Frequency Transformation for State-Space Digital Filters.	APCCAS	2006	DBLP DOI BibTeX RDF
22	Jesús Sánchez Cuadrado, Jesús García Molina, Marcos Menárguez Tortosa	RubyTL: A Practical, Extensible Transformation Language.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
22	Burton Voorhees	Discrete Baker Transformation for Binary Valued Cylindrical Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF
22	Wei Zhang 0004, Hong Mei 0001, Haiyan Zhao, Jie Yang 0014	Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach.	MoDELS	2005	DBLP DOI BibTeX RDF
22	Thomas Cleenewerck, Theo D'Hondt	Disentangling the implementation of local-to-global transformations in a rewrite rule transformation system.	SAC	2005	DBLP DOI BibTeX RDF	program transformations, maintainability, evolvability, rewrite rules
22	Shigeru Chiba	Program Transformation with Reflection and Aspect-Oriented Programming.	GTTSE	2005	DBLP DOI BibTeX RDF
22	Yucong Duan, Shing-Chi Cheung, Xiaolan Fu, Yuqing Gu	A Metamodel Based Model Transformation Approach.	SERA	2005	DBLP DOI BibTeX RDF
22	Jon Oldevik	Transformation Composition Modelling Framework.	DAIS	2005	DBLP DOI BibTeX RDF
22	Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel	Implementation and Verification of Implicit-Invocation Systems Using Source Transformation.	SCAM	2005	DBLP DOI BibTeX RDF
22	Yasushi Makihara, Yoshiaki Shirai, Nobutaka Shimada	Online Learning of Color Transformation for Interactive Object Recognition under Various Lighting Conditions.	ICPR (3)	2004	DBLP DOI BibTeX RDF
22	Yuliang He, Jie Tian 0001	Transformation-Variants Estimation Using Similarity Relative Histogram Grouping Model.	SINOBIOMETRICS	2004	DBLP DOI BibTeX RDF
22	Mark Minas	AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications.	AGTIVE	2003	DBLP DOI BibTeX RDF
22	Siew Teck Kiong, Wang Yin Chai	Applying UML to a New Model for Transformation of Spatial Data from Relational Database to Object-Oriented Database.	ICADL	2003	DBLP DOI BibTeX RDF
22	Tadeusz Pankowski	Transformation of XML Data Using an Unranked Tree Transducer.	EC-Web	2003	DBLP DOI BibTeX RDF
22	Lionel Villard, Nabil Layaïda	An incremental XSLT transformation processor for XML document manipulation.	WWW	2002	DBLP DOI BibTeX RDF	incremental transformations, XML, XSLT, authoring tools
22	Olivier Danvy, Lasse R. Nielsen	A First-Order One-Pass CPS Transformation.	FoSSaCS	2002	DBLP DOI BibTeX RDF
22	Motoshi Saeki	Role of Model Transformation in Method Engineering.	CAiSE	2002	DBLP DOI BibTeX RDF
22	Robert E. Strom, Joshua S. Auerbach	The Optimistic Readers Transformation.	ECOOP	2001	DBLP DOI BibTeX RDF
22	Holger Wache, Heiner Stuckenschmidt	Practical Context Transformation for Information System Interoperability.	CONTEXT	2001	DBLP DOI BibTeX RDF
22	Berthold Hoffmann	Shapely Hierarchical Graph Transformation.	HCC	2001	DBLP DOI BibTeX RDF
22	Guang Gong, Amr M. Youssef	On Welch-Gong Transformation Sequence Generators.	Selected Areas in Cryptography	2000	DBLP DOI BibTeX RDF	pseudo-random sequence (number) generator, auto/cross correlation, linear span, r-resilient property, Boolean function, Stream cipher, non-linearity
22	M. Carmen Hernando, Michael E. Houle, Ferran Hurtado	On Local Transformation of Polygons with Visibility Properties.	COCOON	2000	DBLP DOI BibTeX RDF
22	Siyoung Lee, Sungho Kim, DongGill Lee, Joon-Kyung Lee	Conceptual Transformation from SDL-92 to CHILL-96 Using Signal Subordination.	RTCSA	1999	DBLP DOI BibTeX RDF	reengineering, formal language, object-oriented language, SDL, CHILL
22	Nicoletta De Francesco, Antonella Santone	A Transformation System for Concurrent Processes.	Acta Informatica	1998	DBLP DOI BibTeX RDF
22	Julia L. Lawall, Olivier Danvy	Separating Stages in the Continuation-Passing Style Transformation.	POPL	1993	DBLP DOI BibTeX RDF	SCHEME
22	Bernd Krieg-Brückner	Algebraic Formalisation of Program Development by Transformation.	ESOP	1988	DBLP DOI BibTeX RDF
22	Hartmut Ehrig, Ulrike Prange	Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.	ICGT	2008	DBLP DOI BibTeX RDF
22	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
22	Te-Wen Hsieh, Huang-Cheng Kuo, Jen-Peng Huang	Filtering Bio-sequence Based on Sequence Descriptor.	BioDM	2006	DBLP DOI BibTeX RDF	Bio-sequence, Sequence Descriptor, Similarity Searching, KNN
22	Bernd Krieg-Brückner	Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
21	Xavier Dolques, Marianne Huchard, Clémentine Nebut, Philippe Reitz	Learning Transformation Rules from Transformation Examples: An Approach Based on Relational Concept Analysis.	EDOCW	2010	DBLP DOI BibTeX RDF	Model Transformation, Model Driven Engineering, Formal Concept Analysis
21	Bin Shao, Du Li, Ning Gu	A sequence transformation algorithm for supporting cooperative work on mobile devices.	CSCW	2010	DBLP DOI BibTeX RDF	mobile computing, data consistency, operational transformation, collaborative applications, group editing
21	Martin Jetter, Gerhard Satzger, Andreas Neus	Technological Innovation and Its Impact on Business Model, Organization and Corporate Culture - IBM's Transformation into a Globally Integrated, Service-Oriented Enterprise.	Bus. Inf. Syst. Eng.	2009	DBLP DOI BibTeX RDF	Corporate culture, Transformation, Innovation, Business model, Organization, Change management, Information and communication technology, IBM
21	Martin Jetter, Gerhard Satzger, Andreas Neus	Technologische Innovation und die Auswirkung auf Geschäftsmodell, Organisation und Unternehmenskultur - Die Transformation der IBM zum global integrierten, dienstleistungsorientierten Unternehmen.	Wirtschaftsinf.	2009	DBLP DOI BibTeX RDF	corporate culture, transformation, innovation, business model, organization, change management, information and communication technology, IBM
21	Andreas Lundell, Joakim Westerlund, Tapio Westerlund	Some transformation techniques with applications in global optimization.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Transformation and convexification techniques, Signomial functions, Mixed integer non-linear programming, Global optimization
21	John Brant, Don Roberts	The SmaCC transformation engine: how to convert your entire code base into a different programming language.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	code modernization, program transformation, refactoring, migration
21	Yu Sun 0002	Supporting model evolution through demonstration-based model transformation.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	MT-scribe, model transformation, demonstration
21	Anne Fleur van Veenstra, Arre Zuurmond	Opening the Black Box: Exploring the Effect of Transformation on Online Service Delivery in Local Governments.	EGOV	2009	DBLP DOI BibTeX RDF	Transformational Government, Organizational transformation, Quality of service delivery, e-Government
21	Dhrupad Mathur	Business Process Transformation Grid: An Empirical Model for Strategic Decision Making Towards IT Enabled Transformations.	BIS (Workshops)	2009	DBLP DOI BibTeX RDF	IT-enablement, Grid, Transformation, Process, e-Business
21	Mohammad Ali Ghodrat, Tony Givargis	Efficient dynamic voltage/frequency scaling through algorithmic loop transformation.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	algorithmic loop transformation, compiler optimization for low power, dynamic voltage/frequency scaling
21	Mark H. Linehan, Eric Putrycz	Introduction to "Rule Transformation and Extraction" Track.	RuleML	2009	DBLP DOI BibTeX RDF	rule transformation, rules, business rules, rule extraction
21	Chengen Wang, Lida Xu	Parameter mapping and data transformation for engineering application integration.	Inf. Syst. Frontiers	2008	DBLP DOI BibTeX RDF	Engineering application integration, Parameter mapping, Data transformation, Multidisciplinary design optimization
21	Changjun Hu, Yewei Shao, Jue Wang 0013, Jianjiang Li	Automatic Transformation for Overlapping Communication and Computation.	NPC	2008	DBLP DOI BibTeX RDF	Parallel compiling, Communication optimization, Control-flow analysis, Source-to-source transformation
21	Vahid Rafe, Adel Torkaman Rahmani	Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems.	ICTAC	2008	DBLP DOI BibTeX RDF	Verification, Workflow, Graph Transformation, Activity Diagram, Dynamic Semantics
21	Ivan Kurtev	Application of Reflection in Model Transformation Languages.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF	model transformation languages, MISTRAL, reflection, MDE
21	Tao Li 0001, Chris H. Q. Ding, Yi Zhang 0005, Bo Shao	Knowledge transformation from word space to document space.	SIGIR	2008	DBLP DOI BibTeX RDF	clustering, knowledge transformation
21	Jiashen Tian, Jixue Liu, Weidong Pan, Millist W. Vincent, Chengfei Liu	Performance Analysis and Improvement for Transformation Operators in XML Data Integration.	APWeb	2008	DBLP DOI BibTeX RDF	Performance Analysis and Improvement, XML, Data Integration, Transformation, DTD
21	Pablo César, Dick C. A. Bulterman, Jack Jansen 0001, Maria da Graça Campos Pimentel, Simone Diniz Junqueira Barbosa	Multimedia content transformation: fragmentation, enrichment, and adaptation.	ACM Symposium on Document Engineering	2008	DBLP DOI BibTeX RDF	content transformation, structured multimedia, content adaptation, multimedia content
21	Shaharuddin Salleh, Stephan Olariu, Albert Y. Zomaya, Kiew Leh Yieng, Nur Arina B. Aziz	Single-row mapping and transformation of connected graphs.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	Demand-supply problem and linear transformation, Connected graph, Single-row routing
21	Rui Li 0018, Du Li	A New Operational Transformation Framework for Real-Time Group Editors.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	groupware, operational transformation, group editors, Consistency control
21	Alcino Cunha, Joost Visser 0001	Transformation of structure-shy programs: applied to XPath queries and strategic functions.	PEPM	2007	DBLP DOI BibTeX RDF	XML query languages, algebraic program transformation, point-free program calculation, strategic functional programming, type generalization, type specialization
21	Konstantinos Raftopoulos, Stefanos D. Kollias	The Global-Local Transformation for Invariant Shape Representation.	ISVC (2)	2007	DBLP DOI BibTeX RDF	Global-Local transformation, Shape representation, Shape recognition
21	Olegas Vasilecas, Diana Bugaite	An algorithm for the automatic transformation of ontology axioms into a rule model.	CompSysTech	2007	DBLP DOI BibTeX RDF	ontology, conceptual model, rule, axiom, automatic transformation
21	Xianchao Zhang 0001, Yu Zong, He Jiang 0001, Xinyue Liu	Data Set Homeomorphism Transformation Based Meta-clustering.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF	Data Set Homeomorphism Transformation, Clustering Analysis, Meta-Clustering
21	Marc Nanard, Jocelyne Nanard, Peter R. King, Ludovic Gaillard	Genre driven multimedia document production by means of incremental transformation.	ACM Symposium on Document Engineering	2007	DBLP DOI BibTeX RDF	series, multimedia, transformation, genre, meta-structure
21	Catherine Pugin, Rolf Ingold	Combination of transformation and schema languages described by a complete formal semantics.	ACM Symposium on Document Engineering	2007	DBLP DOI BibTeX RDF	static type checking, XML, integration, transformation, schema
21	Christian Panse, Mike Sips, Daniel A. Keim, Stephen C. North	Visualization of Geo-spatial Point Sets via Global Shape Transformation and Local Pixel Placement.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	Geo-spatial Data, Pixel Placement, Shape Transformation, Cartogram
21	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
21	Yasunori Yanai, Minoru Okada	A study on a geometry transformation method for a geometry and scene modeler by a verbal interface.	GRAPHITE	2006	DBLP DOI BibTeX RDF	geometry transformation, modeler, animation, computer graphics, natural language
21	Mohammed Ketel, Abdollah Homaifar	Privacy-preserving mining by rotational data transformation.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	data mining, privacy, data transformation
21	Rui Li 0018, Du Li	A landmark-based transformation approach to concurrency control in group editors.	GROUP	2005	DBLP DOI BibTeX RDF	groupware, concurrency control, data consistency, operational transformation, group editor
21	Juan de Lara, Gabriele Taentzer	Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation.	ACSD	2005	DBLP DOI BibTeX RDF	Distributed Graph Transformation, Protocols, Discrete Event Simulation, Distributed Simulation
21	Shaun A. Forth, Mohamed Tadjouddine, John D. Pryce, John K. Reid	Jacobian code generated by source transformation and vertex elimination can be as efficient as hand-coding.	ACM Trans. Math. Softw.	2004	DBLP DOI BibTeX RDF	vertex elimination, Jacobian, source transformation
21	Jing Zhang 0003	Supporting software evolution through model-driven program transformation.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	model-driven program transformation, software evolution, model-driven software development
21	André Baresel, David W. Binkley, Mark Harman, Bogdan Korel	Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach.	ISSTA	2004	DBLP DOI BibTeX RDF	flags, testability transformation, empirical evaluation, evolutionary testing
21	William Kwok-Wai Cheung	e-Transformation Technologies: Case Studies and the Road Ahead - A Value Chain Perspective.	EEE	2004	DBLP DOI BibTeX RDF	e-Transformation, information extraction, information integration, value chain, Web intelligence
21	Tyng-Ruey Chuang, Jan-Li Lin	On modular transformation of structural content.	ACM Symposium on Document Engineering	2004	DBLP DOI BibTeX RDF	bird-meertens formalism, document transformation and validation, XML, functional programming, ML, modules
21	Sheena R. Judson	Pattern-based model transformation.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	query/views/transformations (QVT), UML, design patterns, model driven architecture (MDA), model transformation, model evolution
21	Mario Michele Gala, Elisa Quintarelli, Letizia Tanca	Graph Transformation for Merging User Navigation Histories.	AGTIVE	2003	DBLP DOI BibTeX RDF	User Navigation History, Web Mining, Graph Transformation, Semistructured Data
21	Zhanhai Qin, Chung-Kuan Cheng	Realizable parasitic reduction using generalized Y-Delta transformation.	DAC	2003	DBLP DOI BibTeX RDF	Y-?, parasitic reduction, transformation, model order reduction
21	Wael M. Badawy, Magdy A. Bayoumi	A Multiplication-Free Algorithm and A Parallel Architecture for Affine Transformation.	J. VLSI Signal Process.	2002	DBLP DOI BibTeX RDF	VLSI, low power, texture mapping, MPEG-4, affine transformation, video object
21	Jan Hendrik Hausmann, Reiko Heckel, Gabriele Taentzer	Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation.	ICSE	2002	DBLP DOI BibTeX RDF	UML, use cases, requirements specification, graph transformation, unified process
21	Christian H. Bischof, H. Martin Bücker, Bruno Lang, Arno Rasch, Andre Vehreschild	Combining Source Transformation and Operator Overloading Techniques to Compute Derivatives for MATLAB Programs.	SCAM	2002	DBLP DOI BibTeX RDF	operator overloading, MATLAB, high-level language, automatic differentiation, derivatives, source transformation
21	Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu 0005, Sebastian Danicic, Joachim Wegener	VADA: A Transformation-Based System for Variable Dependence Analysis.	SCAM	2002	DBLP DOI BibTeX RDF	Variable Dependence Analysis, Program Transformation, Program Slicing
21	Kazuo Iwama, Yahiko Kambayashi, Shigeru Yamashita	Transformation rules for designing CNOT-based quantum circuits.	DAC	2002	DBLP DOI BibTeX RDF	CNOT gate, local transformation rules, quantum circuit
21	Jean-Yves Vion-Dury, Veronika Lux, Emmanuel Pietriga	Experimenting with the circus language for XML modeling and transformation.	ACM Symposium on Document Engineering	2002	DBLP DOI BibTeX RDF	typed document transformation, XML, programming language, XSLT, document model, circus
21	Michael Leuschel	Homeomorphic Embedding for Online Termination of Symbolic Methods.	The Essence of Computation	2002	DBLP DOI BibTeX RDF	Specialisation and Transformation, Functional & Logic Programming, Infinite Model Checking, Logic Programming, Program Analysis, Termination, Metaprogramming, Well-quasi orders
21	Toru Wakahara, Yoshimasa Kimura, Akira Tomono	Affine-Invariant Recognition of Gray-Scale Characters Using Global Affine Transformation Correlation.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	global affine transformation, noise-tolerant and affine-invariant image matching, successive iteration method, normalized cross-correlation, Gray-scale character recognition
21	Liyin Xue, Kang Zhang, Chengzheng Sun	An Integrated Post-Locking, Multi-Versioning, and Transformation Scheme for Consistency Maintenance in Real-Time Group Editors.	ISADS	2001	DBLP DOI BibTeX RDF	post-locking, CSCW, Operational transformation, consistency maintenance, multi-versioning, collaborative editors
21	Thomas Rauber, Gudula Rünger	A Transformation Approach to Derive Efficient Parallel Implementations.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	task and data parallelism, hierarchical module structure, data distribution types, MPI, scientific computing, coordination language, Transformation system, message-passing program