Search results for "Transformation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Matthias Neubauer, Peter Thiemann 0001	From sequential programs to multi-tier applications by program transformation.	POPL	2005	DBLP DOI BibTeX RDF	application partioning, concurrency, type systems
19	Berthold Hoffmann	Graph Transformation with Variables.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
19	Luciano Baresi, Mauro Pezzè	From Graph Transformation to Software Engineering and Back.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
19	Denivaldo Lopes, Slimane Hammoudi, Jean Bézivin, Frédéric Jouault	Generating Transformation Definition from Mapping Specification: Application to Web Service Platform.	CAiSE	2005	DBLP DOI BibTeX RDF	Tools for MDA, Web Services, Model Driven Architecture (MDA)
19	David C. Brogan, Paul F. Reynolds Jr., Robert G. Bartholet, Joseph C. Carnahan, Yannick Loitière	Semi-automated Simulation Transformation for DDDAS.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
19	Shunsuke Koshita, Masahide Abe, Masayuki Kawamata	A novel property of the second-order modes of discrete-time systems under variable transformation.	ISCAS (2)	2005	DBLP DOI BibTeX RDF
19	Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer	Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation.	VL/HCC	2005	DBLP DOI BibTeX RDF
19	Harald Böhme, Glenn Schütze, Konrad Voigt	Component Development: MDA Based Transformation from eODL to CIDL.	SDL Forum	2005	DBLP DOI BibTeX RDF
19	Prasad Jayanti, Srdjan Petrovic, Neha Narula	Read/Write Based Fast-Path Transformation for FCFS Mutual Exclusion.	SOFSEM	2005	DBLP DOI BibTeX RDF
19	Li Zhang, Shiming Ji, Yi Xie, Qiaoling Yuan, Yuehua Wan, Guanjun Bao	Principle of Image Encrypting Algorithm Based on Magic Cube Transformation.	CIS (2)	2005	DBLP DOI BibTeX RDF
19	Derek M. Shimozawa, James R. Cordy	TETE: A Non-Invasive Unit Testing Framework for Source Transformation.	STEP	2005	DBLP DOI BibTeX RDF
19	Abdol-Reza Mansouri, Dipti Prasad Mukherjee, Scott T. Acton	Constraining active contour evolution via Lie Groups of transformation.	IEEE Trans. Image Process.	2004	DBLP DOI BibTeX RDF
19	Xintian Wu, Yonghong Yan 0002	Speaker adaptation using constrained transformation.	IEEE Trans. Speech Audio Process.	2004	DBLP DOI BibTeX RDF
19	Daofeng Luo, Ting Chen, Tok Wang Ling, Xiaofeng Meng 0001	On View Transformation Support for a Native XML DBMS.	DASFAA	2004	DBLP DOI BibTeX RDF
19	Chi-Hung Chi, Xiang Li, Hongguang Wang	Evaluation of Data Streaming Effect on Real-Time Content Transformation in Active Proxies.	EUC	2004	DBLP DOI BibTeX RDF
19	Koichi Koizumi, Takaaki Mizuki, Takao Nishizeki	Necessary and Sufficient Numbers of Cards for the Transformation Protocol.	COCOON	2004	DBLP DOI BibTeX RDF
19	Gabriele Taentzer	AGG: A Graph Transformation Environment for Modeling and Validation of Software.	AGTIVE	2003	DBLP DOI BibTeX RDF
19	Wolfgang Lohmann, Günter Riedewald	Towards Automatical Migration of Transformation Rules after Grammar Extension.	CSMR	2003	DBLP DOI BibTeX RDF
19	Chi-Leung Tsang, Man-Wai Mak, Sun-Yuan Kung	Cluster-Dependent Feature Transformation for Telephone-Based Speaker Verification.	AVBPA	2003	DBLP DOI BibTeX RDF
19	May Dehayni, Louis Féraud	An Approach of Model Transformation Based on Attribute Grammars.	OOIS	2003	DBLP DOI BibTeX RDF
19	Nerissa Tong	Database Schema Transformation Optimisation Techniques for the AutoMed System.	BNCOD	2003	DBLP DOI BibTeX RDF
19	Teresa Nascimento, Thaís Vasconcelos Batista, Nélio Cacho	TUPI: Transformation from PIM to IDL.	OTM	2003	DBLP DOI BibTeX RDF
19	Swagata Saha, Prasanta K. Jana	A Parallel Algorithm for Medial Axis Transformation.	ISPA	2003	DBLP DOI BibTeX RDF
19	Soon-Kyeong Kim, David A. Carrington	A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z.	ICFEM	2002	DBLP DOI BibTeX RDF
19	Wolfram Kahl	A Relation-Algebraic Approach to Graph Structure Transformation.	RelMiCS	2001	DBLP DOI BibTeX RDF
19	Hong Su, Harumi A. Kuno, Elke A. Rundensteiner	Automating the transformation of XML documents.	WIDM	2001	DBLP DOI BibTeX RDF	XML, World Wide Web (WWW)
19	Raimund Kirner, Peter P. Puschner	Transformation of Path Information for WCET Analysis during Compilation.	ECRTS	2001	DBLP DOI BibTeX RDF
19	James R. Cordy, Thomas R. Dean, Andrew J. Malton, Kevin A. Schneider	Software Engineering by Source Transformation-Experience with TXL.	SCAM	2001	DBLP DOI BibTeX RDF
19	Masayuki Umehara, Koji Iwanuma	A Case-Based Transformation from HTML to XML.	IDEAL	2000	DBLP DOI BibTeX RDF
19	David J. Paper, James A. Rodger, Parag C. Pendharkar	Development and Initial Testing of a Theoretical Model of Transformation.	HICSS	2000	DBLP DOI BibTeX RDF
19	Scott D. Cohen, Leonidas J. Guibas	The Earth Mover's Distance under Transformation Sets.	ICCV	1999	DBLP DOI BibTeX RDF
19	Ju-Won Song, Kyu-Young Whang, Young-Koo Lee, Min-Jae Lee, Sang-Wook Kim	Transformation-Based Spatial Join.	CIKM	1999	DBLP DOI BibTeX RDF
19	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni	Spatial and Temporal Refinement of Typed Graph Transformation Systems.	MFCS	1998	DBLP DOI BibTeX RDF
19	Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik	Unfolding the Mystery of Mergesort.	LOPSTR	1997	DBLP DOI BibTeX RDF
19	Jian Wang, Guang R. Gao	Pipelining-Dovetailing: A Transformation to Enhance Software Pipelining for Nested Loops.	CC	1996	DBLP DOI BibTeX RDF	Very Long Instruction Word(VLIW), Instruction-Level Parallelism, Software Pipelining, Superscalar, Nested Loop, Loop Scheduling, Fine-Grain Parallelism
19	Shaoying Liu, Chris Ho-Stuart	Semi-automatic Transformation from Formal Specifications to Programs.	ICECCS	1996	DBLP DOI BibTeX RDF
19	David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey	ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS.	DOOD	1995	DBLP DOI BibTeX RDF
19	Yuan Yan Tang, Ching Y. Suen	New algorithms for fixed and elastic geometric transformation models.	IEEE Trans. Image Process.	1994	DBLP DOI BibTeX RDF
19	Doron A. Peled, Mathai Joseph	A Compositional Approach for Fault-Tolerance Using Specification Transformation.	PARLE	1993	DBLP DOI BibTeX RDF
19	Max Moser	Improving Transformation Systems for General E-Unification.	RTA	1993	DBLP DOI BibTeX RDF
19	Bernd-Uwe Pagel, Hans-Werner Six, Heinrich Toben	The Transformation Technique for Spatial Objects Revisited.	SSD	1993	DBLP DOI BibTeX RDF
19	C. F. T. Tang, K. J. Ray Liu, Shih-Fu Hsieh, Kung Yao	VLSI algorithms and architectures for complex householder transformation with applications to array processing.	J. VLSI Signal Process.	1992	DBLP DOI BibTeX RDF
19	J. Allan Yang, Young-il Choo	Metalinguistic features for formal parallel-program transformation.	ICCL	1992	DBLP DOI BibTeX RDF
19	Harald Vogt, Aswin van den Berg, Arend Freije	Rapid Development of a Program Transformation System with Attribute Grammars and Dynamic Transformations.	WAGA	1990	DBLP DOI BibTeX RDF
19	Chung Mou, Peng Wu, Edward T. Lee	Picture recognition using arc length and turning angle transformation.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
18	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
18	Oksana Nikiforova, Natalya Pavlova	Development of the Tool for Generation of UML Class Diagram from Two-Hemisphere Model.	ICSEA	2008	DBLP DOI BibTeX RDF
18	Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas	Embedding and Confluence of Graph Transformations with Negative Application Conditions.	ICGT	2008	DBLP DOI BibTeX RDF
18	William Zhu 0001, Clark D. Thomborson, Fei-Yue Wang 0001	Applications of Homomorphic Functions to Software Obfuscation.	WISI	2006	DBLP DOI BibTeX RDF
18	Gabriele Taentzer, Giovanni Toffetti Carughi	A Graph-Based Approach to Transform XML Documents.	FASE	2006	DBLP DOI BibTeX RDF
18	Jean Bézivin, Bernhard Rumpe, Andy Schürr, Laurence Tratt	Model Transformations in Practice Workshop.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
18	Jongmoo Choi, Juneho Yi	Low-Dimensional Facial Image Representation Using FLD and MDS.	ICIC (1)	2005	DBLP DOI BibTeX RDF
18	Gabriele Taentzer	AGTIVE'03: Summary from the Theoretical Point of View.	AGTIVE	2003	DBLP DOI BibTeX RDF
18	Lin Du, John Bigham	Constrained Coverage Optimisation for Mobile Cellular Networks.	EvoWorkshops	2003	DBLP DOI BibTeX RDF
18	Alberto Pettorossi, Maurizio Proietti	Program Derivation = Rules + Strategies.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
18	Patrick Cousot	Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.	ICLP	2001	DBLP DOI BibTeX RDF
18	Lionel Villard	Authoring transformations by direct manipulation for adaptable multimedia presentations.	ACM Symposium on Document Engineering	2001	DBLP DOI BibTeX RDF	incremental transformations, XML, XML, multimedia, XSLT, authoring tools, document model
18	Koji Iwanuma	Conservative Query Normalization on Parallel Circumscription.	CADE	1994	DBLP DOI BibTeX RDF
18	Jack W. Davidson, Sanjay Jinturkar	Memory Access Coalescing: A technique for Eliminating Redundant memory Accesses.	PLDI	1994	DBLP DOI BibTeX RDF
18	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The Essence of Compiling with Continuations.	PLDI	1993	DBLP DOI BibTeX RDF
18	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The essence of compiling with continuations (with retrospective)	Best of PLDI	1993	DBLP DOI BibTeX RDF
18	Oscar Mayor, Jordi Bonada, Jordi Janer	KaleiVoiceKids: interactive real-time voice transformation for children.	IDC	2010	DBLP DOI BibTeX RDF	museum installation, voice transformation, real-time, interactive, children
18	Eun Yeong Ahn, Tracy Mullen, John Yen	Finding feature transformation functions using genetic algorithm.	GECCO (Companion)	2010	DBLP DOI BibTeX RDF	genetic algorithm, feature selection, feature transformation
18	Phil McMinn, David W. Binkley, Mark Harman	Empirical evaluation of a nesting testability transformation for evolutionary testing.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	testability transformation, test data generation, Evolutionary testing, search-based software engineering
18	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo	Towards a Complete Scheme for Tabled Execution Based on Program Transformation.	PADL	2009	DBLP DOI BibTeX RDF	Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
18	Muhua Zhu, Huizhen Wang, Jingbo Zhu	Label correspondence learning for part-of-speech annotation transformation.	CIKM	2009	DBLP DOI BibTeX RDF	annotation transformation, sequence labeling, natural language processing, part-of-speech tagging
18	Jun Gong, Lidan Wang, Douglas W. Oard	Personal name-matching through name transformation.	JCDL	2009	DBLP DOI BibTeX RDF	name transformation, personal name-matching, string distance
18	David Coeurjolly, Valentin Blot, Marie-Andrée Jacob-Da Col	Quasi-Affine Transformation in 3-D: Theory and Algorithms.	IWCIA	2009	DBLP DOI BibTeX RDF	quasi-affine transform, periodic tiling, arithmetic, image transformation
18	Fahrettin Özdemirci, Özlem (Gökkurt) Bayram	Approaches of E-Records Management in E-State Transformation Process in Turkey.	WSKS (2)	2009	DBLP DOI BibTeX RDF	e-state management, e-state transformation, national e-records management, Turkey
18	Shuo Deng, Jianming Hu, Yin Wang, Yi Zhang 0029	Urban Road Network Modeling and Real-Time Prediction Based on Householder Transformation and Adjacent Vector.	ISNN (3)	2009	DBLP DOI BibTeX RDF	Urban road network, Householder Transformation, Adjacent Vector
18	Hui Wang 0002, Zhijian Wu, Yong Liu 0012, Jing Wang 0110, Dazhi Jiang, Lili Chen	Space transformation search: a new evolutionary technique.	GEC Summit	2009	DBLP DOI BibTeX RDF	space transformation search (sts), optimization, evolutionary algorithm, particle swarm optimization (pso), evolutionary technique
18	Andrés Yie, Rubby Casallas, Dennis Wagelaar, Dirk Deridder	An Approach for Evolving Transformation Chains.	MoDELS	2009	DBLP DOI BibTeX RDF	Model transformation, Model Driven Engineering, Model composition
18	Jing Wang 0110, Zhijian Wu, Hui Wang 0002, Lishan Kang	A Novel Evolutionary Algorithm Based on Multi-parent Crossover and Space Transformation Search.	ISICA	2009	DBLP DOI BibTeX RDF	space transformation search, elite-preservation strategy, evolutionary algorithm, multi-parent crossover
18	Prateek Jain 0001, Peter Z. Yeh, Kunal Verma, Cory A. Henson, Amit P. Sheth	SPARQL Query Re-writing Using Partonomy Based Transformation Rules.	GeoS	2009	DBLP DOI BibTeX RDF	Geospatial Semantic Web, Query Re-writing, Partonomy, Spatial information retrieval, SPARQL, Transformation Rules, Spatial Query Processing
18	Du Li, Rui Li 0018	An Operational Transformation Algorithm and Performance Evaluation.	Comput. Support. Cooperative Work.	2008	DBLP DOI BibTeX RDF	performance evaluation, concurrency control, consistency, operational transformation, group editing
18	Søren Debois	Imperative-program transformation by instrumented-interpreter specialization.	High. Order Symb. Comput.	2008	DBLP DOI BibTeX RDF	Interpretive approach, Moore automata, Program transformation, Partial evaluation, Code duplication
18	Jörg Dümmler, Thomas Rauber, Gudula Rünger	A Transformation Framework for Communicating Multiprocessor-Tasks.	PDP	2008	DBLP DOI BibTeX RDF	CM-Tasks, transformation framework, parallel programming model
18	Shudong Wang, Michael Higgins	Mobile 2.0 Leads to a Transformation in mLearning.	ICHL	2008	DBLP DOI BibTeX RDF	Mobile 2.0, learning transformation, Mobile 2.0 applications for learning, Web 3.0, mLearning
18	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo	A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation.	ICLP	2008	DBLP DOI BibTeX RDF	Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
18	Alfredo Cuzzocrea	Towards Real-Time Data Transformation Services over Grids.	COMPSAC	2008	DBLP DOI BibTeX RDF	Grid-based RTSOA Frameworks, Data Transformation Services over Grids
18	Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall	Graph Transformation for Topology Modelling.	ICGT	2008	DBLP DOI BibTeX RDF	topology-based geometric modelling, graph transformation, generalized map
18	Chunxia Zhang 0001, Cungen Cao 0001, Zhendong Niu, Qing Yang 0004	A Transformation-Based Error-Driven Learning Approach for Chinese Temporal Information Extraction.	AIRS	2008	DBLP DOI BibTeX RDF	temporal information extraction, Chinese temporal expressions, transformation-based error-driven learning
18	Tom Mens, Gabriele Taentzer, Olga Runge	Analysing refactoring dependencies using graph transformation.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF	Critical pair analysis, AGG, Refactoring, Graph transformation, Dependency analysis
18	Ari Pirkola, Jarmo Toivonen, Heikki Keskustalo, Kalervo Järvelin	Frequency-based identification of correct translation equivalents (FITE) obtained through transformation rules.	ACM Trans. Inf. Syst.	2007	DBLP DOI BibTeX RDF	OOV words, Cross-language information retrieval, transliteration, transformation rules, fuzzy matching
18	João Paulo A. Almeida, Maria-Eugenia Iacob, Pascal van Eck	Requirements traceability in model-driven development: Applying model and transformation conformance.	Inf. Syst. Frontiers	2007	DBLP DOI BibTeX RDF	Assessment, Model transformation, Conformance, Requirements traceability, Model-driven design
18	Manuel Llavador, José H. Canós	A Framework for the Generation of Transformation Templates.	ECDL	2007	DBLP DOI BibTeX RDF	Metadata Schemas, XML, Interoperability, Document Transformation
18	Thomas Huining Feng, Miriam Zia, Hans Vangheluwe	Multi-formalism modelling and model transformation for the design of reactive systems.	SCSC	2007	DBLP BibTeX RDF	computer automated multi-paradigm modelling (CAMPaM), modelling and simulation based design, model transformation
18	Robbie Schaefer	A Survey on Transformation Tools for Model Based User Interface Development.	HCI (1)	2007	DBLP DOI BibTeX RDF	Transformation Tools, Model Driven Architecture, Model Based User Interface Development, User Interface Engineering
18	Jirí Vyskocil, Petr Stepánek	Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation.	MICAI	2007	DBLP DOI BibTeX RDF	unfold/fold transformation, homeomorphic embedding, logic programming, prolog, partial deduction
18	Sufen Dong, Guifa Teng, Dan Wang, Yan Hu, Fang Wang, Shuhui Chang	Research on the Transformation of Display Format for Web Information.	CCTA	2007	DBLP DOI BibTeX RDF	format transformation, width adjustment, relayout, thumbnail
18	Daniel Bitts, Chris Blancett, Johnny J. Garcia, Kate T. Nguyen, Cynthia Tavarez	Joint operation logistics transformation and training.	SpringSim (3)	2007	DBLP BibTeX RDF	effects based operations, joint operation, logistics planning, logistics transformation, transportation feasibility analysis, training
18	Luchuan Liu, Wanjin Hu, Yu Chen	IOS Enabled Business Process Transformation: A Case Study in China.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Inter-organizational enterprise systems, Business process transformation, case study, Information System integration, Inter-Enterprise collaboration
18	Hiroyuki Nakagawa, Kenji Taguchi 0001, Shinichi Honiden	Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models.	ASE	2007	DBLP DOI BibTeX RDF	formal methods, model transformation, requirements analysis
18	Wu-Yuin Hwang, Jia-Han Su, Jian-Jie Dung, Yi-Shien Su	A Study of Virtual Manipulative and Whiteboard System for Improving Multi-presentation Transformation of Geometry Problem Solving.	Edutainment	2007	DBLP DOI BibTeX RDF	Geometry problem solving, Multi-presentation mode transformation, Web3D, Virtual Manipulatives
18	Chengfei Liu, Millist W. Vincent, Jixue Liu	Constraint Preserving Transformation from Relational Schema to XML Schema.	World Wide Web	2006	DBLP DOI BibTeX RDF	XML, relational databases, XML schema, schema transformation
18	Maarten Grachten, Josep Lluís Arcos, Ramón López de Mántaras	A case based approach to expressivity-aware tempo transformation.	Mach. Learn.	2006	DBLP DOI BibTeX RDF	Tempo transformation, Expressive performance, Music, Case based reasoning
18	Hee Beng Kuan Tan, Yong Yang 0002, Lei Bian	Systematic Transformation of Functional Analysis Model into OO Design and Implementation.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	design, model transformation, requirements analysis, object-oriented model, functional decomposition, Functional model
18	Chouki Tibermacine, Régis Fleurquin, Salah Sadou	Simplifying transformation of software architecture constraints.	SAC	2006	DBLP DOI BibTeX RDF	architecture constraint languages, constraint transformation, OCL, component-based software development
18	M. Elena Renda, Umberto Straccia	Automatic structured query transformation over distributed digital libraries.	SAC	2006	DBLP DOI BibTeX RDF	automatic mappings, automatic query transformation, digital libraries, schema matching, structured queries
18	Jing Cong, Bernd E. Wolfinger	A unified load generator based on formal load specification and load transformation.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	load generation, load transformation, performance evaluation tool, QoS, load modeling