BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (601)
graph (311)
program (308)
base (302)
use (245)

Stem transform$ (all stems)

2117 papers:

CASECASE-2015-ChenXZCL #effectiveness #learning #multi #optimisation #simulation
An effective learning procedure for multi-fidelity simulation optimization with ordinal transformation (RC, JX, SZ, CHC, LHL), pp. 702–707.
DATEDATE-2015-YinLLWG #pipes and filters
Joint affine transformation and loop pipelining for mapping nested loop on CGRAs (SY, DL, LL, SW, YG), pp. 115–120.
SIGMODSIGMOD-2015-MorcosAIOPS #data transformation #interactive #named
DataXFormer: An Interactive Data Transformation Tool (JM, ZA, IFI, MO, PP, MS), pp. 883–888.
SIGMODSIGMOD-2015-UlrichG #compilation #query
The Flatter, the Better: Query Compilation Based on the Flattening Transformation (AU, TG), pp. 1421–1426.
FASEFASE-2015-BornAHT #dependence #rule-based
Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin (KB, TA, FH, GT), pp. 165–168.
FASEFASE-2015-NgoTGG #compilation #validation
Translation Validation for Clock Transformations in a Synchronous Compiler (VCN, JPT, TG, PLG), pp. 171–185.
FASEFASE-2015-StruberRCT #approach #model transformation #performance #reuse #variability
A Variability-Based Approach to Reusable and Efficient Model Transformations (DS, JR, MC, GT), pp. 283–298.
TACASTACAS-2015-ChenHTWW #contest #named #program transformation #recursion #source code #text-to-text #verification
CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation — (Competition Contribution) (YFC, CH, MHT, BYW, FW), pp. 426–428.
ICSMEICSME-2015-SantosAEDV #program transformation #source code
System specific, source code transformations (GS, NA, AE, SD, MTV), pp. 221–230.
SANERSANER-2015-Cordy #txl
TXL source transformation in practice (JRC), pp. 590–591.
SANERSANER-2015-Martin #analysis #framework #towards
Towards a framework for analysis, transformation, and manipulation of Makefiles (DM), pp. 601–602.
SCAMSCAM-2015-SantosEADV #game studies #program transformation #source code
Recording and replaying system specific, source code transformations (GS, AE, NA, SD, MTV), pp. 221–230.
PLDIPLDI-2015-FeserCD #data type
Synthesizing data structure transformations from input-output examples (JKF, SC, ID), pp. 229–239.
PLDIPLDI-2015-VenkatHS #data transformation #matrix
Loop and data transformations for sparse matrix code (AV, MWH, MS), pp. 521–532.
DLTDLT-2015-BrandlS #analysis #automaton #complexity #finite #monad
Complexity Analysis: Transformation Monoids of Finite Automata (CB, HUS), pp. 143–154.
ICALPICALP-v1-2015-Ailon #bound #fourier
Tighter Fourier Transform Lower Bounds (NA), pp. 14–25.
LATALATA-2015-Panteleev #sequence
Preset Distinguishing Sequences and Diameter of Transformation Semigroups (PP), pp. 353–364.
LATALATA-2015-PolicritiGP #linear
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform (AP, NG, NP), pp. 587–598.
FMFM-2015-0009ZZZ #abstraction #hybrid
Abstraction of Elementary Hybrid Systems by Variable Transformation (JL, NZ, HZ, LZ), pp. 360–377.
GaMGaM-2015-KulcsarDLVS #detection #graph transformation
Improved Conflict Detection for Graph Transformation with Attributes (GK, FD, ML, GV, AS), pp. 97–112.
GaMGaM-2015-Wijs #confluence #detection #lts
Confluence Detection for Transformations of Labelled Transition Systems (AW), pp. 1–15.
GCMGCM-2015-MaignanS #graph transformation
Global Graph Transformations (LM, AS), pp. 34–49.
GCMGCM-2015-Zaytsev #co-evolution
Coupled Transformations of Shared Packed Parse Forests (VZ), pp. 2–17.
ICGTICGT-2015-Bruggink0NZ #graph #graph transformation #proving #termination #using
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings (HJSB, BK, DN, HZ), pp. 52–68.
ICGTICGT-2015-MachadoRH #evolution #graph transformation
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (RM, LR, RH), pp. 171–186.
ICGTICGT-2015-Oliveira #graph transformation #reachability #slicing
Reachability in Graph Transformation Systems and Slice Languages (MdOO), pp. 121–137.
ICGTICGT-2015-Stuckrath #analysis #graph transformation #named #using #verification
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems (JS), pp. 266–274.
ICGTICGT-2015-TaentzerG #analysis #confluence #graph transformation #towards
Towards Local Confluence Analysis for Amalgamated Graph Transformation (GT, UG), pp. 69–86.
ICGTICGT-2015-WeberDP #formal method #graph transformation #monitoring #using
Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence (JHW, SD, MP), pp. 205–220.
CHICHI-2015-Gilbert #abstraction
Open Book: A Socially-inspired Cloaking Technique that Uses Lexical Abstraction to Transform Messages (EG), pp. 477–486.
HCIHIMI-IKC-2015-KinoeM
Situational Transformation of Personal Space (YK, NM), pp. 15–24.
CAiSECAiSE-2015-KopkeE #data flow #design #equivalence
Equivalence Transformations for the Design of Interorganizational Data-Flow (JK, JE), pp. 367–381.
ICEISICEIS-v1-2015-AyadiHAF
Decision Tree Transformation for Knowledge Warehousing (RA, YH, SA, JF), pp. 616–623.
ICEISICEIS-v2-2015-AbadeFL #bibliography #perspective #testing
Testing M2T Transformations — A Systematic Literature Review (AA, FF, DL), pp. 177–187.
ICEISICEIS-v2-2015-MeloFOS #approach #diagrams #modelling #process #uml
A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams (MdSM, JMSF, EAOJ, MSS), pp. 92–101.
ICMLICML-2015-LeC #learning #metric #using
Unsupervised Riemannian Metric Learning for Histograms Using Aitchison Transformations (TL, MC), pp. 2002–2011.
KDDKDD-2015-ChaoHZ #analysis #kernel
Optimal Kernel Group Transformation for Exploratory Regression Analysis and Graphics (PC, QH, MZ), pp. 905–914.
MLDMMLDM-2015-DhulekarNOY #graph #learning #mining #predict
Seizure Prediction by Graph Mining, Transfer Learning, and Transformation Learning (ND, SN, BO, BY), pp. 32–52.
SEKESEKE-2015-MagalhaesAM #approach #framework #independence #model transformation #on the #specification
On the Specification of Model Transformations through a Platform Independent Approach (APM, AMSA, RSPM), pp. 558–561.
SEKESEKE-2015-MagalhaesMA #case study #design #experience #metamodelling #model transformation #towards
Towards a Metamodel Design Methodology: Experiences from a model transformation metamodel design (APM, RSPM, AMSA), pp. 625–630.
SEKESEKE-2015-ManiPW #co-evolution #modelling #performance #using
Exploring SOA Pattern Performance using Coupled Transformations and Performance Models (NM, DCP, CMW), pp. 552–557.
SIGIRSIGIR-2015-LiLZS #matrix #modelling #multi #retrieval #using
Modeling Multi-query Retrieval Tasks Using Density Matrix Transformation (QL, JL, PZ, DS), pp. 871–874.
ECMFAECMFA-J-2012-SelimWCD15 #deployment #industrial #legacy #migration #model transformation #modelling
Model transformations for migrating legacy deployment models in the automotive industry (GMKS, SW, JRC, JD), pp. 365–381.
ICMTICMT-J-2012-AtkinsonGT15 #model transformation #modelling #multi
Enhancing classic transformation languages to support multi-level modeling (CA, RG, CVT), pp. 645–666.
ICMTICMT-J-2012-DemuthLE15 #constraints #modelling
Constraint-driven modeling through transformation (AD, RELH, AE), pp. 573–596.
ICMTICMT-J-2012-GuerraS15 #model transformation #testing
Specification-driven model transformation testing (EG, MS), pp. 623–644.
ICMTICMT-J-2012-KuselSWKRS15 #model transformation #question #reuse
Reuse in model-to-model transformation languages: are we there yet? (AK, JS, MW, GK, WR, WS), pp. 537–572.
AMTAMT-2015-DyckGLSG #automation #behaviour #model transformation #towards #verification
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (JD, HG, LL, SS, SG), pp. 36–45.
AMTAMT-2015-GholizadehDKM #analysis #model transformation
Analysis of Source-to-Target Model Transformations in QueST (HG, ZD, SK, TSEM), pp. 46–55.
AMTAMT-2015-HilkenBGV #development #modelling #using
Iterative Development of Transformation Models by Using Classifying Terms (FH, LB, MG, AV), pp. 1–6.
AMTAMT-2015-HoislS #benchmark #evolution #metric #model-to-text #towards
Towards Benchmarking Evolution Support in Model-to-Text Transformation Systems (BH, SS), pp. 16–25.
AMTAMT-2015-SalayZC #question #reuse #what
Transformation Reuse: What is the Intent? (RS, SZ, MC), pp. 7–15.
AMTAMT-2015-SelimCDLO #case study #debugging #experience #model transformation #verification
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report (GMKS, JRC, JD, LL, BJO), pp. 26–35.
BXBX-2015-CheneyGMS #bidirectional #towards
Towards a Principle of Least Surprise for Bidirectional Transformations (JC, JG, JM, PS), pp. 66–80.
BXBX-2015-HidakaBTM #analysis #approach #bidirectional #graph transformation
Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations (SH, MB, QMT, KM), pp. 51–65.
ECMFAECMFA-2015-OgunyomiRK #incremental #model-to-text
Property Access Traces for Source Incremental Model-to-Text Transformation (BO, LMR, DSK), pp. 187–202.
ECMFAECMFA-2015-SaxonBA #black box #model transformation
Opening the Black-Box of Model Transformation (JTS, BB, DHA), pp. 171–186.
MoDELSMoDELS-2015-CuadradoGL #atl #model transformation
Quick fixing ATL model transformations (JSC, EG, JdL), pp. 146–155.
MoDELSMoDELS-2015-GogollaVBH #model transformation #testing
Employing classifying terms for testing model transformations (MG, AV, LB, FH), pp. 312–321.
MoDELSMoDELS-2015-HolldoblerRW #model transformation
Systematically deriving domain-specific transformation languages (KH, BR, IW), pp. 136–145.
MoDELSMoDELS-2015-KuselEKRSS #co-evolution #consistency #modelling
Consistent co-evolution of models and transformations (AK, JE, EK, WR, WS, JS), pp. 116–125.
MoDELSMoDELS-2015-OakesTLW #atl #contract #declarative #verification
Fully verifying transformation contracts for declarative ATL (BJO, JT, LL, MW), pp. 256–265.
MoDELSMoDELS-2015-Rodriguez-Echeverria #analysis #approach #evolution #model transformation #statistics
A statistical analysis approach to assist model transformation evolution (RRE, FM), pp. 226–235.
OnwardOnward-2015-LiPPK #semantics
Slimming languages by reducing sugar: a case for semantics-altering transformations (JL, JP, JGP, SK), pp. 90–106.
OOPSLAOOPSLA-2015-DaraisMH #composition #program analysis #reuse
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis (DD, MM, DVH), pp. 552–571.
OOPSLAOOPSLA-2015-UrecheBSO #ad hoc #automation #data transformation #representation
Automating ad hoc data representation transformations (VU, AB, YS, MO), pp. 801–820.
GPCEGPCE-2015-AlsharaSTBDS #component #inheritance #migration #object-oriented #scalability
Migrating large object-oriented Applications into component-based ones: instantiation and inheritance transformation (ZA, ADS, CT, HLB, CD, AS), pp. 55–64.
PADLPADL-2015-TamaritVCM #c #haskell #implementation #program transformation #rule-based #source code
A Haskell Implementation of a Rule-Based Program Transformation for C Programs (ST, GV, MC, JM), pp. 105–114.
POPLPOPL-2015-AlurDR #declarative #named #string
DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations (RA, LD, MR), pp. 125–137.
SACSAC-2015-KimL #diagrams #qvt #sequence chart #using
Pattern-based transformation of sequence diagrams using QVT (DKK, BL), pp. 1492–1497.
ESEC-FSEESEC-FSE-2015-Cadar #execution #program transformation #symbolic computation
Targeted program transformations for symbolic execution (CC), pp. 906–909.
ICSEICSE-v2-2015-ClarkFPY #re-engineering
Information Transformation: An Underpinning Theory for Software Engineering (DC, RF, SMP, SY), pp. 599–602.
SLESLE-2015-Bagge #analysis #library
Analysis and transformation with the nuthatch tree-walking library (AHB), pp. 83–88.
SLESLE-2015-BenelallamGTC #atl #distributed #model transformation #pipes and filters
Distributed model-to-model transformation with ATL on MapReduce (AB, AG, MT, JC), pp. 37–48.
SLESLE-2015-EramoPR #bidirectional #model transformation #nondeterminism
Managing uncertainty in bidirectional model transformations (RE, AP, GR), pp. 49–58.
SLESLE-2015-RitschelE #composition #program transformation
Modular capture avoidance for program transformations (NR, SE), pp. 59–70.
SPLCSPLC-2015-ChavarriagaRNCJ #case study #configuration management #experience #feature model #modelling #multi #using
Using multiple feature models to specify configuration options for electrical transformers: an experience report (JC, CR, CN, RC, VJ), pp. 216–224.
HPDCHPDC-2015-HaleD #kernel #operating system #parallel
A Case for Transforming Parallel Runtimes Into Operating System Kernels (KCH, PAD), pp. 27–32.
HPDCHPDC-2015-WahibM #automation #gpu #kernel #scalability
Automated GPU Kernel Transformations in Large-Scale Production Stencil Applications (MW, NM), pp. 259–270.
PPoPPPPoPP-2015-AcharyaB #locality #modelling #parallel
PLUTO+: near-complete modeling of affine transformations for parallelism and locality (AA, UB), pp. 54–64.
ICLPICLP-2015-Saleh #performance
Transforming Delimited Control: Achieving Faster Effect Handlers (AHS).
ICLPICLP-J-2015-GangeNSSS #horn clause #program analysis #program transformation #representation
Horn clauses as an intermediate representation for program analysis and transformation (GG, JAN, PS, HS, PJS), pp. 526–542.
RTARTA-2015-LepperW #performance #towards
A Simple and Efficient Step Towards Type-Correct XSLT Transformations (ML, BTyW), pp. 350–364.
RTARTA-2015-SabelZ #string
Transforming Cycle Rewriting into String Rewriting (DS, HZ), pp. 285–300.
VMCAIVMCAI-2015-BackesR #abstraction #analysis #clustering #graph transformation #infinity
Analysis of Infinite-State Graph Transformation Systems by Cluster Abstraction (PB, JR), pp. 135–152.
ASEASE-2014-BergmayrTW #evolution
From out-place transformation evolution to in-place model patching (AB, JT, MW), pp. 647–652.
ASEASE-2014-OsterlundL #component #concurrent #using
Concurrent transformation components using contention context sensors (, WL), pp. 223–234.
CASECASE-2014-XuZHCLC #framework #multi #optimisation #simulation
An ordinal transformation framework for multi-fidelity simulation optimization (JX, SZ, EH, CHC, LHL, NC), pp. 385–390.
DATEDATE-2014-MacrelliWRHPTR #design #energy
Design and fabrication of a 315 μΗ bondwire micro-transformer for ultra-low voltage energy harvesting (EM, NW, SR, MH, RPP, MT, AR), pp. 1–4.
DATEDATE-2014-SharmaPLAC #composition #data flow #energy #performance
Energy efficient data flow transformation for Givens Rotation based QR Decomposition (NS, PRP, ML, PA, FC), pp. 1–4.
DocEngDocEng-2014-LimaBFFLSR #graph
Transforming graph-based sentence representations to alleviate overfitting in relation extraction (RJL, JB, RF, FF, RDL, SJS, MR), pp. 53–62.
DRRDRR-2014-BanerjeeC #locality #using #video
Video text localization using wavelet and shearlet transforms (PB, BBC), p. ?–10.
VLDBVLDB-2014-ShanbhagS #optimisation #query
Optimizing Join Enumeration in Transformation-based Query Optimizers (AS, SS), pp. 1243–1254.
FASEFASE-2014-DuvalEPR
Transformation of Attributed Structures with Cloning (DD, RE, FP, LR), pp. 310–324.
FASEFASE-2014-KrauseTG #graph transformation #implementation #parallel
Implementing Graph Transformations in the Bulk Synchronous Parallel Model (CK, MT, HG), pp. 325–339.
FASEFASE-2014-LoweKS #category theory #graph transformation #polymorphism
Polymorphic Single-Pushout Graph Transformation (ML, HK, CS), pp. 355–369.
FASEFASE-2014-Stevens #bidirectional #consistency #nondeterminism
Bidirectionally Tolerating Inconsistency: Partial Transformations (PS), pp. 32–46.
TACASTACAS-2014-AngelisFPP #named #source code #verification
VeriMAP: A Tool for Verifying Programs through Transformations (EDA, FF, AP, MP), pp. 568–574.
WRLAWRLA-2014-Duran #composition #domain-specific language
Composition of Graph-Transformation-Based DSL Definitions by Amalgamation (FD), pp. 1–20.
SCAMSCAM-2014-RooverI #program transformation
The Ekeko/X Program Transformation Tool (CDR, KI), pp. 53–58.
PEPMPEPM-2014-LeatherJLS #semantics
Type-changing rewriting and semantics-preserving transformation (SL, JJ, AL, BS), pp. 109–120.
PEPMPEPM-2014-MartinsSFW #attribute grammar #bidirectional #generative #grammarware
Generating attribute grammar-based bidirectional transformations from rewrite rules (PM, JS, JPF, EVW), pp. 63–70.
FMFM-2014-HuPF #bidirectional #programming
Validity Checking of Putback Transformations in Bidirectional Programming (ZH, HP, SF), pp. 1–15.
FMFM-2014-LiuXZS #verification
Formal Verification of Operational Transformation (YL, YX, SJZ, CS), pp. 432–448.
FMFM-2014-RinastSG #graph #performance #reduction
A Graph-Based Transformation Reduction to Reach UPPAAL States Faster (JR, SS, DG), pp. 547–562.
LISPILC-2014-Nunes-Harwitt14a #approach #code generation #evaluation #semantics
Eager Evaluation Isn’t Eager Enough A Transformation Based Approach to Semantics-Directed Code Generation (ANH), p. 79.
GRAPHITEGRAPHITE-2014-Ziegert #abstraction #graph transformation
Graph Transformation Planning via Abstraction (SZ), pp. 71–83.
GT-VMTGT-VMT-2014-DeckwerthV #constraints #generative #graph transformation #higher-order
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation (FD, GV).
GT-VMTGT-VMT-2014-WangBL #alloy #graph #model transformation #using #verification
Verification of Graph-based Model Transformations Using Alloy (XW, FB, YL).
ICGTICGT-2014-AnjorinLST #graph grammar #model transformation #performance #static analysis
A Static Analysis of Non-confluent Triple Graph Grammars for Efficient Model Transformation (AA, EL, AS, GT), pp. 130–145.
ICGTICGT-2014-BelhaouariAGB #geometry #graph transformation #library #modelling #named
Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling (HB, AA, PLG, TB), pp. 269–284.
ICGTICGT-2014-Bruggink #graph transformation #mining #process #towards
Towards Process Mining with Graph Transformation Systems (HJSB), pp. 253–268.
ICGTICGT-2014-DanosHS #refinement
Transformation and Refinement of Rigid Structures (VD, RH, PS), pp. 146–160.
ICGTICGT-2014-KonigLSW #graph transformation
Van Kampen Squares for Graph Transformation (HK, ML, CS, UW), pp. 222–236.
ICGTICGT-2014-KreowskiKLL #evaluation #generative #graph transformation #synthesis
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis (HJK, SK, AL, ML), pp. 237–252.
ICGTICGT-2014-SelimLCDO #graph #model transformation #specification #verification
Specification and Verification of Graph-Based Model Transformation Properties (GMKS, LL, JRC, JD, BJO), pp. 113–129.
CSCWCSCW-2014-SunXA
Exhaustive search of puzzles in operational transformation (CS, YX, A), pp. 519–529.
CSCWCSCW-2014-XuSL #convergence
Achieving convergence in operational transformation: conditions, mechanisms and systems (YX, CS, ML), pp. 505–518.
HCIDUXU-ELAS-2014-Cossio #case study #experience
Transforming Data into Information Experiences (MGdC), pp. 411–422.
CAiSECAiSE-2014-GarciaDC #adaptation #approach #model-to-text #sql
An Adapter-Based Approach to Co-evolve Generated SQL in Model-to-Text Transformations (JG, OD, JC), pp. 518–532.
ICEISICEIS-v2-2014-PanfilenkoEML #impact analysis #independence #model transformation #recommendation #requirements
Recommendations for Impact Analysis of Model Transformations — From the Requirements Model to the Platform-independent Model (DVP, AE, CM, PL), pp. 428–434.
ICEISICEIS-v3-2014-DionisioT #assessment #enterprise #framework
ETA Framework — Enterprise Transformation Assessment (RD, JT), pp. 190–200.
ICMLICML-c2-2014-KingmaW #performance
Efficient Gradient-Based Inference through Transformations between Bayes Nets and Neural Nets (DPK, MW), pp. 1782–1790.
ICPRICPR-2014-DarvishLS #image
Super-resolution Facial Images from Single Input Images Based on Discrete Wavelet Transform (AMD, HL, US), pp. 843–848.
ICPRICPR-2014-EmbleySN #database #relational #web
Transforming Web Tables to a Relational Database (DWE, SCS, GN), pp. 2781–2786.
ICPRICPR-2014-KarM #fuzzy #using
Extraction of Retinal Blood Vessel Using Curvelet Transform and Fuzzy C-Means (SSK, SPM), pp. 3392–3397.
ICPRICPR-2014-LiCH #collaboration #invariant
Transformation-Invariant Collaborative Sub-representation (YL, CC, JH), pp. 3738–3743.
ICPRICPR-2014-LinnerS #alias #anti #distance #graph #implementation
A Graph-Based Implementation of the Anti-aliased Euclidean Distance Transform (EL, RS), pp. 1025–1030.
ICPRICPR-2014-LuWL #recognition
Cost-Sensitive Transformation for Chinese Address Recognition (SL, XW, YL), pp. 2897–2902.
ICPRICPR-2014-MavridouHCL #fourier #image #normalisation #robust
Scale Normalized Radial Fourier Transform as a Robust Image Descriptor (EM, MDH, JLC, AL), pp. 3993–3998.
ICPRICPR-2014-MehnertMSMB #approach
A Structural Texture Approach for Characterising Malignancy Associated Changes in Pap Smears Based on Mean-Shift and the Watershed Transform (AM, RM, KS, PM, EB), pp. 1189–1193.
ICPRICPR-2014-MoeiniMAF #2d #3d #image #invariant #modelling #recognition #women
Makeup-Invariant Face Recognition by 3D Face: Modeling and Dual-Tree Complex Wavelet Transform from Women’s 2D Real-World Images (AM, HM, FA, KF), pp. 1710–1715.
ICPRICPR-2014-PakKA #detection #probability
Improvement of Benign and Malignant Probability Detection Based on Non-subsample Contourlet Transform and Super-resolution (FP, HRK, AA), pp. 895–899.
ICPRICPR-2014-WakaharaY #2d #correlation #invariant
GPT Correlation for 2D Projection Transformation Invariant Template Matching (TW, YY), pp. 3810–3815.
ICPRICPR-2014-ZhangLZ
Transformed Neighborhood Propagation (ZZ, FZL, MBZ), pp. 3792–3797.
KEODKEOD-2014-FatyaniIP #ontology #petri net #simulation
Transformation of DEMO Model into Coloured Petri Net — Ontology based Simulation (TF, JI, JP), pp. 388–396.
KEODKEOD-2014-KrisciunieneNBP #ontology #owl
Rules for Transforming OWL 2 Ontology into SBVR (GK, LN, RB, BP), pp. 256–263.
KRKR-2014-EwinPV #calculus #reasoning
Transforming Situation Calculus Action Theories for Optimised Reasoning (CJE, ARP, SV).
RecSysRecSys-2014-BachrachFGKKNP #recommendation #using
Speeding up the Xbox recommender system using a euclidean transformation for inner-product spaces (YB, YF, RGB, LK, NK, NN, UP), pp. 257–264.
SEKESEKE-2014-ChourabiA #automation #process #specification
Automated transformation of business rules specification to business process model (OC, JA), pp. 684–687.
SEKESEKE-2014-HuHCC #diagrams #execution #model transformation #uml
Extended DEVSML as a Model Transformation Intermediary to Make UML Diagrams Executable (JH, LH, BC, XC), pp. 314–317.
SEKESEKE-2014-JiangCKZD #model transformation #source code #testing #using
Testing Model Transformation Programs using Metamorphic Testing (MJ, TYC, FCK, ZZ, ZD), pp. 94–99.
SEKESEKE-2014-NetoASFM #architecture #behaviour #data transformation #framework #modelling #named #using
CoMoVi: a Framework for Data Transformation in Credit Behavioral Scoring Applications Using Model Driven Architecture (RFON, PJLA, ACS, DRdCF, GRM), pp. 286–291.
SIGIRSIGIR-2014-Williams #big data #how
The data revolution: how companies are transforming with big data (HEW), pp. 525–526.
SIGIRSIGIR-2014-YeH #effectiveness #feedback #pseudo
A simple term frequency transformation model for effective pseudo relevance feedback (ZY, JXH), pp. 323–332.
AMTAMT-2014-EramoMPR #bidirectional #nondeterminism #towards
Towards Analysing Non-Determinism in Bidirectional Transformations (RE, RM, AP, GR), pp. 76–85.
AMTAMT-2014-GholizadehDM #approach #model transformation #query
A Query Structured Approach for Model Transformation (HG, ZD, TSEM), pp. 54–63.
AMTAMT-2014-GogollaHH #dynamic analysis #modelling #ocl #on the #uml
On Static and Dynamic Analysis of UML and OCL Transformation Models (MG, LH, FH), pp. 24–33.
AMTAMT-2014-PoskittDPR #bidirectional #model transformation #towards
Towards Rigorously Faking Bidirectional Model Transformations (CMP, MD, RFP, AR), pp. 70–75.
AMTAMT-2014-RentschlerWNHR #automation #clustering #legacy #model transformation
Remodularizing Legacy Model Transformations with Automatic Clustering Techniques (AR, DW, QN, LH, RR), pp. 4–13.
AMTAMT-2014-RichaBPBR #algebra #graph transformation #model transformation #testing #towards #using
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation (ER, EB, LP, MB, JFR), pp. 34–43.
AMTAMT-2014-TisoRL #model-to-text #testing
Unit Testing of Model to Text Transformations (AT, GR, ML), pp. 14–23.
AMTAMT-2014-TroyaWBV #approximate #model transformation #towards
Towards Approximate Model Transformations (JT, MW, LB, AV), pp. 44–53.
BXBX-2014-BeineHWC #bidirectional #case study #database #evolution #scalability
Bidirectional Transformations in Database Evolution: A Case Study “At Scale” (MB, NH, JHW, AC), pp. 100–107.
BXBX-2014-MacedoCP #framework #model transformation #multi #towards
Towards a Framework for Multidirectional Model Transformations (NM, AC, HP), pp. 71–74.
BXBX-2014-Wider #bidirectional #domain-specific language #implementation #model transformation #scala
Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala (AW), pp. 63–70.
ECMFAECMFA-2014-CuadradoGL #model transformation #towards
Towards the Systematic Construction of Domain-Specific Transformation Languages (JSC, EG, JdL), pp. 196–212.
ECMFAECMFA-2014-SchwichtenbergGHE #modelling #normalisation #qvt
Normalizing Heterogeneous Service Description Models with Generated QVT Transformations (SS, CG, ZH, GE), pp. 180–195.
ICMTICMT-2014-CuadradoGL #model transformation #reuse #reverse engineering
Reverse Engineering of Model Transformations for Reusability (JSC, EG, JdL), pp. 186–201.
ICMTICMT-2014-ErginS #design pattern #graph #model transformation #towards
Towards a Language for Graph-Based Model Transformation Design Patterns (HE, ES), pp. 91–105.
ICMTICMT-2014-GarciaAID #testing
Testing MOFScript Transformations with HandyMOF (JG, MA, AI, OD), pp. 42–56.
ICMTICMT-2014-GonzalezC #analysis #constraints #generative #model transformation #testing
Test Data Generation for Model Transformations Combining Partition and Constraint Analysis (CAG, JC), pp. 25–41.
ICMTICMT-2014-GuanaS #analysis
ChainTracker, a Model-Transformation Trace Analysis Tool for Code-Generation Environments (VG, ES), pp. 146–153.
ICMTICMT-2014-HilkenHG #modelling #ocl #uml
Transformation of UML and OCL Models into Filmstrip Models (FH, LH, MG), pp. 170–185.
ICMTICMT-2014-InostrozaSE #program transformation #string
Tracing Program Transformations with String Origins (PI, TvdS, SE), pp. 154–169.
ICMTICMT-2014-JilaniIK #approach #generative #model transformation #testing
A Search Based Test Data Generation Approach for Model Transformations (AAJ, MZI, MUK), pp. 17–24.
ICMTICMT-2014-WieberAS #automation #graph grammar #model transformation #on the #testing
On the Usage of TGGs for Automated Model Transformation Testing (MW, AA, AS), pp. 1–16.
MODELSMoDELS-2014-BakiSCMF #learning #model transformation
Learning Implicit and Explicit Control in Model Transformations by Example (IB, HAS, QC, PM, MF), pp. 636–652.
MODELSMoDELS-2014-BascianiRIP #automation #metamodelling #model transformation
Automated Chaining of Model Transformations with Incompatible Metamodels (FB, DDR, LI, AP), pp. 602–618.
MODELSMoDELS-2014-DavidRV #model transformation #streaming
Streaming Model Transformations By Complex Event Processing (ID, IR, DV), pp. 68–83.
MODELSMoDELS-2014-GomesBA #classification #model transformation #pattern matching #tool support
Classification of Model Transformation Tools: Pattern Matching Techniques (CG, BB, VA), pp. 619–635.
MODELSMoDELS-2014-OgunyomiRK #incremental #model-to-text #on the
On the Use of Signatures for Source Incremental Model-to-text Transformation (BO, LMR, DSK), pp. 84–98.
MODELSMoDELS-2014-BakiSCMF #learning #model transformation
Learning Implicit and Explicit Control in Model Transformations by Example (IB, HAS, QC, PM, MF), pp. 636–652.
MODELSMoDELS-2014-BascianiRIP #automation #metamodelling #model transformation
Automated Chaining of Model Transformations with Incompatible Metamodels (FB, DDR, LI, AP), pp. 602–618.
MODELSMoDELS-2014-DavidRV #model transformation #streaming
Streaming Model Transformations By Complex Event Processing (ID, IR, DV), pp. 68–83.
MODELSMoDELS-2014-GomesBA #classification #model transformation #pattern matching #tool support
Classification of Model Transformation Tools: Pattern Matching Techniques (CG, BB, VA), pp. 619–635.
MODELSMoDELS-2014-OgunyomiRK #incremental #model-to-text #on the
On the Use of Signatures for Source Incremental Model-to-text Transformation (BO, LMR, DSK), pp. 84–98.
ECOOPECOOP-2014-ErdwegSD #program transformation
Capture-Avoiding and Hygienic Program Transformations (SE, TvdS, YD), pp. 489–514.
OOPSLAOOPSLA-2014-UrecheBO #data transformation #layout #representation
Late data layout: unifying data representation transformations (VU, EB, MO), pp. 397–416.
GPCEGPCE-2014-SmeltzerEM #approach #visualisation
A transformational approach to data visualization (KS, ME, RAM), pp. 53–62.
LOPSTRLOPSTR-2014-CornishGNSSS #array #program transformation #source code
Analyzing Array Manipulating Programs by Program Transformation (JRMC, GG, JAN, PS, HS, PJS), pp. 3–20.
LOPSTRLOPSTR-2014-ElsawyZA #execution #text-to-text
Exhaustive Execution of CHR Through Source-to-Source Transformation (AE, AZ, SA), pp. 59–73.
SACSAC-2014-BassoOF #java #model transformation
Extending JUnit 4 with Java annotations and reflection to test variant model transformation assets (FPB, TCdO, KF), pp. 1601–1608.
SACSAC-2014-BassoPOF #adaptation #case study #experience #generative #lessons learnt #model transformation
Generative adaptation of model transformation assets: experiences, lessons and drawbacks (FPB, RMP, TCdO, MDDF), pp. 1027–1034.
SACSAC-2014-GeorgiadisP #algorithm #online #problem #scheduling #smarttech
Dealing with storage without forecasts in smart grids: problem transformation and online scheduling algorithm (GG, MP), pp. 518–524.
SACSAC-2014-HoritaHSNTO #approach #modelling #refinement #using
Transformation approach from KAOS goal models to BPMN models using refinement patterns (HH, KH, YS, HN, YT, AO), pp. 1023–1024.
ICSEICSE-2014-ChenPYNZ #adaptation #generative #incremental #model transformation #runtime #self
Self-adaptation through incremental generative model transformations at runtime (BC, XP, YY, BN, WZ), pp. 676–687.
ICSEICSE-2014-SalayFRSC #model transformation #product line
Lifting model transformations to product lines (RS, MF, JR, ADS, MC), pp. 117–128.
SLESLE-2014-JukssVVV #model transformation
Dynamic Scope Discovery for Model Transformations (MJ, CV, DV, HV), pp. 302–321.
SLESLE-2014-TisiJDSC #assembly #model transformation
fUML as an Assembly Language for Model Transformation (MT, FJ, JD, ZS, HC), pp. 171–190.
SPLCSPLC-2014-YuZZJ #automation #case study #feature model #named
TDL: a transformation description language from feature model to use case for automated use case derivation (WY, WZ, HZ, ZJ), pp. 187–196.
ISSTAISSTA-2014-BaudryAM #program transformation #source code
Tailored source code transformations to synthesize computationally diverse program variants (BB, SA, MM), pp. 149–159.
LICSLICS-CSL-2014-AlurFR #combinator #string
Regular combinators for string transformations (RA, AF, MR), p. 10.
VMCAIVMCAI-2014-AngelisFPP #array #source code #verification
Verifying Array Programs by Transforming Verification Conditions (EDA, FF, AP, MP), pp. 182–202.
ECSAECSA-2013-LytraTZ #architecture #component #consistency #design #modelling #reuse
Supporting Consistency between Architectural Design Decisions and Component Models through Reusable Architectural Knowledge Transformations (IL, HT, UZ), pp. 224–239.
ASEASE-2013-AvazpourGG #automation #model transformation #specification #tool support #using #visualisation
Tool support for automatic model transformation specification using concrete visualisations (IA, JG, LG), pp. 718–721.
ASEASE-2013-DietrichCS #effectiveness #learning #query #requirements #retrieval
Learning effective query transformations for enhanced requirements trace retrieval (TD, JCH, YS), pp. 586–591.
ASEASE-2013-LetsholoZC #analysis #modelling #named #requirements
TRAM: A tool for transforming textual requirements into analysis models (KL, LZ, EVC), pp. 738–741.
ASEASE-2013-MacedoGC
Model repair and transformation with Echo (NM, TG, AC), pp. 694–697.
ASEASE-2013-OsterlundL #data type
Dynamically transforming data structures (, WL), pp. 410–420.
ASEASE-2013-SaadaHNS #model transformation #multi #optimisation #using
Recovering model transformation traces using multi-objective optimization (HS, MH, CN, HAS), pp. 688–693.
DATEDATE-2013-DaloukasMETS #approach #network #parallel #performance #power management
A parallel fast transform-based preconditioning approach for electrical-thermal co-simulation of power delivery networks (KD, AM, NEE, PT, GIS), pp. 1689–1694.
DATEDATE-2013-Gomez-PradoCT #latency #optimisation #using
FPGA latency optimization using system-level transformations and DFG restructuring (DGP, MJC, RT), pp. 1553–1558.
ICDARICDAR-2013-HangargeSP #identification
Directional Discrete Cosine Transform for Handwritten Script Identification (MH, KCS, RP), pp. 344–348.
ICDARICDAR-2013-HigaH #classification #image #recognition
Local Subspace Classifier with Transformation Invariance for Appearance-Based Character Recognition in Natural Images (KH, SH), pp. 533–537.
ICDARICDAR-2013-RazaSDE #detection #multi #using
Multilingual Artificial Text Detection Using a Cascade of Transforms (AR, IS, CD, AE), pp. 309–313.
ICDARICDAR-2013-ZhangLSM #invariant #rank
Rectification of Optical Characters as Transform Invariant Low-Rank Textures (XZ, ZL, FS, YM), pp. 393–397.
ICDARICDAR-2013-ZhangS #estimation #geometry #image #multi
Multiple Geometry Transform Estimation from Single Camera-Captured Text Image (XZ, FS), pp. 538–542.
PODSPODS-2013-Indyk #fourier #sketching
Sketching via hashing: from heavy hitters to compressed sensing to sparse fourier transform (PI), pp. 87–90.
SIGMODSIGMOD-2013-BonomiXL #integration #named #privacy
LinkIT: privacy preserving record linkage and integration via transformations (LB, LX, JJL), pp. 1029–1032.
ITiCSEITiCSE-2013-StephensonGHK
Transforming computer science in schools (CS, JGE, SH, JK), pp. 309–310.
ESOPESOP-2013-AlglaveKNT #memory management #program transformation #verification
Software Verification for Weak Memory via Program Transformation (JA, DK, VN, MT), pp. 512–532.
FASEFASE-2013-BapodraH #abstraction #graph transformation #probability
Abstraction and Training of Stochastic Graph Transformation Systems (MB, RH), pp. 312–326.
FASEFASE-2013-MacedoC #alloy #bidirectional #implementation #model transformation #qvt #using
Implementing QVT-R Bidirectional Model Transformations Using Alloy (NM, AC), pp. 297–311.
FoSSaCSFoSSaCS-2013-OrejasBGM #graph transformation #similarity
Checking Bisimilarity for Attributed Graph Transformation (FO, AB, UG, NM), pp. 113–128.
TACASTACAS-2013-MateescuS #model checking #model transformation #named #π-calculus
PIC2LNT: Model Transformation for Model Checking an Applied π-Calculus (RM, GS), pp. 192–198.
PEPMPEPM-2013-CarbinKMR #approximate #program transformation
Verified integrity properties for safe approximate program transformations (MC, DK, SM, MCR), pp. 63–66.
PEPMPEPM-2013-Hu #aspect-oriented #bidirectional #graph transformation
Practical aspects of bidirectional graph transformations (ZH), pp. 1–2.
PLDIPLDI-2013-KongVSFPS #code generation
When polyhedral transformations meet SIMD code generation (MK, RV, KS, FF, LNP, PS), pp. 127–138.
SASSAS-2013-NamjoshiZ #program transformation
Witnessing Program Transformations (KSN, LDZ), pp. 304–323.
DLTDLT-2013-Shur #anti #finite #order
Languages with a Finite Antidictionary: Growth-Preserving Transformations and Available Orders of Growth (AMS), pp. 445–457.
IFMIFM-2013-OlderogS #realtime
Structural Transformations for Data-Enriched Real-Time Systems (ERO, MS), pp. 378–393.
SEFMSEFM-2013-JiHB #deduction #execution #program transformation #symbolic computation
Program Transformation Based on Symbolic Execution and Deduction (RJ, RH, RB), pp. 289–304.
SEFMSEFM-2013-MenadD #approach #multi #requirements
A Transformation Approach for Multiform Time Requirements (NM, PD), pp. 16–30.
SEFMSEFM-2013-PerceboisST #graph transformation #invariant #transitive #verification
Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure (CP, MS, HNT), pp. 106–121.
GCMGCM-J-2012-ErmlerKLT #graph transformation #reduction
A Graph Transformational View on Reductions in NP (ME, SK, ML, CvT).
GCMGCM-J-2012-KniemeyerK #graph transformation #model transformation #named
XL4C4D — Adding the Graph Transformation Language XL to CINEMA 4D (OK, WK).
GCMGCM-J-2012-MantzTL #co-evolution #graph
Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping (FM, GT, YL).
GT-VMTGT-VMT-2013-AlshanqitiHK #graph transformation #learning
Learning Minimal and Maximal Rules from Observations of Graph Transformations (AMA, RH, TAK).
GT-VMTGT-VMT-2013-Corradini #concurrent #semantics
Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions (AC).
GT-VMTGT-VMT-2013-Giese #behaviour #graph transformation #probability
Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior (HG).
GT-VMTGT-VMT-2013-MaximovaEE #analysis #graph transformation
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors (MM, HE, CE).
HCIDUXU-WM-2013-AlpkayaS #experience #user interface
User Experience Transformation in Telco Companies: Turkcell Case (SA, CS), pp. 84–93.
HCIHCI-AS-2013-MbathaM #experience #learning #named
E-learning: The Power Source of Transforming the Learning Experience in an ODL Landscape (BM, MM), pp. 454–463.
HCIHIMI-LCCB-2013-WatabeMH #process
Application to Help Learn the Process of Transforming Mathematical Expressions with a Focus on Study Logs (TW, YM, YH), pp. 157–164.
ICEISICEIS-J-2013-DiefenthalerB13a #architecture #enterprise
From Gaps to Transformation Paths in Enterprise Architecture Planning (PD, BB), pp. 474–489.
ICEISICEIS-v2-2013-FragalSGJ #approach #embedded #product line #specification
Application Engineering for Embedded Systems — Transforming SysML Specification to Simulink within a Product-Line based Approach (VHF, RFS, IMdSG, EAdOJ), pp. 94–101.
ICEISICEIS-v2-2013-PanfilenkoHEL #architecture #model transformation #recommendation
Model Transformation Recommendations for Service-Oriented Architectures (DVP, KH, BE, EL), pp. 248–256.
ICMLICML-c3-2013-0002YY #linear
Guaranteed Sparse Recovery under Linear Transformation (JL, LY, JY), pp. 91–99.
KEODKEOD-2013-AkamaN #problem #proving
Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation (KA, EN), pp. 253–260.
MLDMMLDM-2013-DincA #classification #evaluation #image #random #using
Evaluation of Hyperspectral Image Classification Using Random Forest and Fukunaga-Koontz Transform (SD, RSA), pp. 234–245.
MLDMMLDM-2013-YasojimaFBOS #analysis #case study #generative #power management
Partial Discharge Analysis and Inspection Alert Generation in High Power Transformers: A Case Study of an Autotransformer Bank at Eletrobrás-ELETRONORTE Vila do Conde Station (CTKY, MSF, FdSB, TFdO, AMdS), pp. 367–378.
SEKESEKE-2013-AlviD #classification #fuzzy #image #using
Image Steganography Using Fuzzy Domain Transformation and Pixel Classification (AKA, RD), pp. 277–282.
SEKESEKE-2013-CorreaOW #co-evolution #evolution #graph #metamodelling #modelling #towards #traceability
Towards Coupled Evolution of Metamodels, Models, Graph-Based Transformations and Traceability Links (S) (CKFC, TCO, CW), pp. 747–752.
AMTAMT-2013-CalegariD #qvt #testing
Rule Chains Coverage for Testing QVT-Relations Transformations (DC, AD), pp. 32–41.
AMTAMT-2013-KuselSWRSK #atl #case study #model transformation #reuse
Reality Check for Model Transformation Reuse: The ATL Transformation Zoo Case Study (AK, JS, MW, WR, WS, GK), pp. 42–51.
AMTAMT-2013-MatragkasKPZ #approach #model transformation #testing
A Traceability-Driven Approach to Model Transformation Testing (NDM, DSK, RFP, AZ), pp. 2–11.
AMTAMT-2013-NalchigarSC #model transformation #non-functional #requirements #towards
Towards a Catalog of Non-Functional Requirements in Model Transformation Languages (SN, RS, MC), pp. 72–81.
AMTAMT-2013-TichyKL #detection #model transformation #performance #smell
Detecting Performance Bad Smells for Henshin Model Transformations (MT, CK, GL), pp. 82–91.
AMTAMT-2013-TisoRL #model-to-text #testing
A Method for Testing Model to Text Transformations (AT, GR, ML), pp. 22–31.
BXBX-2013-EramoB #bidirectional #comprehension #graph grammar
Understanding bidirectional transformations with TGGs and JTL (RE, AB), pp. 37–56.
ECMFAECMFA-2013-0002G #debugging #execution #model transformation
End-User Support for Debugging Demonstration-Based Model Transformation Execution (YS, JG), pp. 86–100.
ECMFAECMFA-2013-KleinerFS
Transformation as Search (MK, MDDF, DDQS), pp. 54–69.
ICMTICMT-2013-ButtnerEGL #model transformation #refinement
Checking Model Transformation Refinement (FB, ME, EG, JdL), pp. 158–173.
ICMTICMT-2013-CuadradoL #challenge #model transformation #streaming
Streaming Model Transformations: Scenarios, Challenges and Initial Solutions (JSC, JdL), pp. 1–16.
ICMTICMT-2013-FaunesSB #approach #model transformation
Genetic-Programming Approach to Learn Model Transformation Rules from Examples (MF, HAS, MB), pp. 17–32.
ICMTICMT-2013-FinotMSA #model transformation #testing
Partial Test Oracle in Model Transformation Testing (OF, JMM, GS, CA), pp. 189–204.
ICMTICMT-2013-KrauseDG #co-evolution #evolution #graph transformation #metamodelling
Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations (CK, JD, HG), pp. 76–91.
ICMTICMT-2013-RentschlerNHR #interactive #maintenance #model transformation #performance #visual notation
Interactive Visual Analytics for Efficient Maintenance of Model Transformations (AR, QN, LH, RHR), pp. 141–157.
ICMTICMT-2013-RuscioIP #approach #atl #co-evolution #evolution #metamodelling
A Methodological Approach for the Coupled Evolution of Metamodels and ATL Transformations (DDR, LI, AP), pp. 60–75.
ICMTICMT-2013-WieberS #approach #graph transformation #testing
Systematic Testing of Graph Transformations: A Practical Approach Based on Graph Patterns (MW, AS), pp. 205–220.
MODELSMoDELS-2013-FamelisSSC #modelling #nondeterminism
Transformation of Models Containing Uncertainty (MF, RS, ADS, MC), pp. 673–689.
MODELSMoDELS-2013-SelimBCDW #automation #industrial #model transformation #verification
Automated Verification of Model Transformations in the Automotive Industry (GMKS, FB, JRC, JD, SW), pp. 690–706.
MODELSMoDELS-2013-TisiPC #atl #execution #parallel
Parallel Execution of ATL Transformation Rules (MT, SMP, HC), pp. 656–672.
MODELSMoDELS-2013-WimmerB #testing
Testing M2T/T2M Transformations (MW, LB), pp. 203–219.
MODELSMoDELS-2013-FamelisSSC #modelling #nondeterminism
Transformation of Models Containing Uncertainty (MF, RS, ADS, MC), pp. 673–689.
MODELSMoDELS-2013-SelimBCDW #automation #industrial #model transformation #verification
Automated Verification of Model Transformations in the Automotive Industry (GMKS, FB, JRC, JD, SW), pp. 690–706.
MODELSMoDELS-2013-TisiPC #atl #execution #parallel
Parallel Execution of ATL Transformation Rules (MT, SMP, HC), pp. 656–672.
MODELSMoDELS-2013-WimmerB #testing
Testing M2T/T2M Transformations (MW, LB), pp. 203–219.
GPCEGPCE-2013-BassoPOB #model transformation #reuse #scalability
Supporting large scale model transformation reuse (FPB, RMP, TCdO, LBB), pp. 169–178.
LOPSTRLOPSTR-2013-AlbertGG #analysis #approach
A Transformational Approach to Resource Analysis with Typed-Norms (EA, SG, RG), pp. 38–53.
LOPSTRLOPSTR-2013-FakhrySA #implementation #semantics #text-to-text #towards
Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics (GF, NS, SA), pp. 145–163.
PPDPPPDP-2013-AsadaHKHN #branch #calculus #finite #graph #graph transformation #monad
A parameterized graph transformation calculus for finite graphs with monadic branches (KA, SH, HK, ZH, KN), pp. 73–84.
PPDPPPDP-2013-LamoMRL #approach #bidirectional #declarative #graph #model transformation
A declarative and bidirectional model transformation approach based on graph co-spans (YL, FM, AR, JdL), pp. 1–12.
PADLPADL-2013-FourtounisPR #functional #implementation #lazy evaluation
The Generalized Intensional Transformation for Implementing Lazy Functional Languages (GF, NP, PR), pp. 157–172.
REER-BR-2013-SoaresPSCV #automation #modelling #process
Automatic Models Transformation for the STREAM process (MS, JP, CTLLS, JC, JV).
SACSAC-2013-BuarqueCA #modelling #requirements
The role of NFRs when transforming i* requirements models into OO-method models (AB, JC, FMRA), pp. 1305–1306.
SACSAC-2013-TragatschnigZ #enterprise #integration #using
Enterprise integration using event actor based event transformations (ST, UZ), pp. 1434–1440.
ICSEICSE-2013-CokerH #c #integer #program transformation
Program transformations to fix C integers (ZC, MH), pp. 792–801.
ICSEICSE-2013-Guana #code generation #maintenance
Supporting maintenance tasks on transformational code generation environments (VG), pp. 1369–1372.
ICSEICSE-2013-JacobellisMK #named #program transformation
LASE: an example-based program transformation tool for locating and applying systematic edits (JJ, NM, MK), pp. 1319–1322.
ICSEICSE-2013-LeeCJ #performance #program transformation #refactoring
Drag-and-drop refactoring: intuitive and efficient program transformation (YYL, NC, REJ), pp. 23–32.
SPLCSPLC-2013-Beuche #legacy #product line
Transforming legacy systems into software product lines (DB), p. 275.
CCCC-2013-BhaskaracharyaB #data flow #framework #named #visual notation
PolyGLoT: A Polyhedral Loop Transformation Framework for a Graphical Dataflow Language (SGB, UB), pp. 123–143.
HPCAHPCA-2013-AnsariFGTM #lightweight #named
Illusionist: Transforming lightweight cores into aggressive cores on demand (AA, SF, SG, JT, SAM), pp. 436–447.
CAVCAV-2013-CernyHRRT #concurrent #performance #semantics #synthesis
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations (PC, TAH, AR, LR, TT), pp. 951–967.
ICSTICST-2013-ErikssonLO #empirical #framework #independence #testing
Transformation Rules for Platform Independent Testing: An Empirical Study (AE, BL, JO), pp. 202–211.
LICSLICS-2013-AlurDT #higher-order #monad #string #transducer
From Monadic Second-Order Definable String Transformations to Transducers (RA, ADG, AT), pp. 458–467.
QoSAQoSA-2012-EramoCPT #architecture #bidirectional #model transformation #refactoring
Performance-driven architectural refactoring through bidirectional model transformations (RE, VC, AP, MT), pp. 55–60.
ASEASE-2012-FaunesSB #algorithm #generative #model transformation #using
Generating model transformation rules from examples using an evolutionary algorithm (MF, HAS, MB), pp. 250–253.
ASEASE-2012-Gabmeyer #model transformation #verification
Formal verification techniques for model transformations specified by-demonstration (SG), pp. 390–393.
DACDAC-2012-CongZZ #memory management #optimisation #synthesis
Optimizing memory hierarchy allocation with loop transformations for high-level synthesis (JC, PZ, YZ), pp. 1233–1238.
DACDAC-2012-FangMZLHZCLZ #manycore #named
Transformer: a functional-driven cycle-accurate multicore simulator (ZF, QM, KZ, YL, YH, WZ, HC, JL, BZ), pp. 106–114.
DACDAC-2012-ZhangLWFW #higher-order #performance #reduction
Fast nonlinear model order reduction via associated transforms of high-order volterra transfer functions (YZ, HL, QW, NF, NW), pp. 289–294.
DATEDATE-2012-Chian #industrial #modelling
New foundry models — accelerations in transformations of the semiconductor industry (MC), p. 2.
DocEngDocEng-2012-ChuangW #documentation #graph #morphism #xml
Structure-conforming XML document transformation based on graph homomorphism (TRC, HYW), pp. 99–102.
PODSPODS-2012-FaginK #equivalence
Local transformations and conjunctive-query equivalence (RF, PGK), pp. 179–190.
PODSPODS-2012-Pierce #bidirectional #tutorial
Linguistic foundations for bidirectional transformations: invited tutorial (BCP), pp. 61–64.
VLDBVLDB-2012-LimHB #named #pipes and filters #workflow
Stubby: A Transformation-based Optimizer for MapReduce Workflows (HL, HH, SB), pp. 1196–1207.
VLDBVLDB-2012-SinghG #learning #semantics #string
Learning Semantic String Transformations from Examples (RS, SG), pp. 740–751.
FASEFASE-2012-BradfieldS #calculus #qvt #recursion #μ-calculus
Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal μ Calculus (JCB, PS), pp. 194–208.
FASEFASE-2012-MolRH #graph #java
Graph Transforming Java Data (MdM, AR, JJH), pp. 209–223.
CSMRCSMR-2012-Varro #maintenance #model transformation
Keynote 2: A Bridge Over Troubled Water — Synergies between Model Transformation and Software Maintenance Techniques (DV), pp. 5–6.
SCAMSCAM-2012-WilcoxSB #optimisation #program transformation
Optimizing Expression Selection for Lookup Table Program Transformation (CW, MMS, JMB), pp. 84–93.
WCREWCRE-2012-BernatM #algebra #context-free grammar #editing
Structured Binary Editing with a CFG Transformation Algebra (ARB, BPM), pp. 9–18.
WCREWCRE-2012-GarzonL #automation #how #tool support
Exploring How to Develop Transformations and Tools for Automated Umplification (MG, TCL), pp. 491–494.
PEPMPEPM-2012-GorbovitskiLSR #optimisation
Composing transformations for instrumentation and optimization (MG, YAL, SDS, TR), pp. 53–62.
STOCSTOC-2012-HassaniehIKP #fourier
Nearly optimal sparse fourier transform (HH, PI, DK, EP), pp. 563–578.
ICALPICALP-v1-2012-FellowsKRS #approximate
Parameterized Approximation via Fidelity Preserving Transformations (MRF, AK, FAR, HS), pp. 351–362.
IFMIFM-2012-NgoTGGB #compilation #equation #verification
Formal Verification of Compiler Transformations on Polychronous Equations (VCN, JPT, TG, PLG, LB), pp. 113–127.
SFMSFM-2012-Becker #analysis #model transformation #non-functional
Model Transformations in Non-functional Analysis (SB), pp. 263–289.
SFMSFM-2012-GieseLBHNVW #adaptation #graph transformation #modelling #runtime
Graph Transformations for MDE, Adaptation, and Models at Runtime (HG, LL, BB, SH, SN, TV, SW), pp. 137–191.
SFMSFM-2012-RuscioEP #model transformation
Model Transformations (DDR, RE, AP), pp. 91–136.
SFMSFM-2012-VallecilloGBWH #model transformation #specification #testing
Formal Specification and Testing of Model Transformations (AV, MG, LB, MW, LH), pp. 399–437.
ICFPICFP-2012-Huffman #monad #verification
Formal verification of monad transformers (BH), pp. 15–16.
IFLIFL-2012-SculthorpeFG #haskell #program transformation
The HERMIT in the Tree — Mechanizing Program Transformations in the GHC Core Language (NS, AF, AG), pp. 86–103.
GT-VMTGT-VMT-2012-AnjorinOZS #graph transformation #modelling #optimisation #product line #testing
Optimizing Model-Based Software Product Line Testing with Graph Transformations (AA, SO, IZ, AS).
GT-VMTGT-VMT-2012-ArijoH #generative #graph transformation #modelling
View-based Modelling and State-Space Generation for Graph Transformation Systems (NA, RH).
GT-VMTGT-VMT-2012-GhamarianR #graph transformation
Graph Passing in Graph Transformation (AHG, AR).
GT-VMTGT-VMT-2012-NatschlagerS #algebra #approach #graph #graph transformation #inheritance
A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation (CN, KDS).
ICGTICGT-2012-BergmannHH #database #graph transformation #incremental #modelling #relational
Applying Incremental Graph Transformation to Existing Models in Relational Databases (GB, DH, ÁH), pp. 371–385.
ICGTICGT-2012-DuvalEP #graph transformation
Graph Transformation with Focus on Incident Edges (DD, RE, FP), pp. 156–171.
ICGTICGT-2012-GhamarianR #composition #graph transformation
Generalised Compositionality in Graph Transformation (AHG, AR), pp. 234–248.
ICGTICGT-2012-GieseL #automation #behaviour #invariant #model transformation #towards #verification
Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (HG, LL), pp. 249–263.
ICGTICGT-2012-Golas #concept #modelling
A General Attribution Concept for Models in M-Adhesive Transformation Systems (UG), pp. 187–202.
ICGTICGT-2012-HabelP
M,N-Adhesive Transformation Systems (AH, DP), pp. 218–233.
ICGTICGT-2012-Heckel
DPO Transformation with Open Maps (RH), pp. 203–217.
ICGTICGT-2012-HeckelEGH #concurrent #graph transformation #parallel #probability
Parallelism and Concurrency of Stochastic Graph Transformations (RH, HE, UG, FH), pp. 96–110.
ICGTICGT-2012-KonigS #graph transformation
Well-Structured Graph Transformation Systems with Negative Application Conditions (BK, JS), pp. 81–95.
ICGTICGT-2012-KrauseG #graph transformation #probability
Probabilistic Graph Transformation Systems (CK, HG), pp. 311–325.
ICGTICGT-2012-Lowe #algebra #framework #graph grammar #graph transformation
Refined Graph Rewriting in Span-Categories — A Framework for Algebraic Graph Transformation (ML), pp. 111–125.
ICGTICGT-2012-Ong #graph transformation #multi #programming language #rule-based #using
Multi-scale Rule-Based Graph Transformation Using the Programming Language XL (YO), pp. 417–419.
ICGTICGT-2012-SerbanutaR #concurrent #framework #graph transformation #semantics #𝕂
A Truly Concurrent Semantics for the 𝕂 Framework Based on Graph Transformations (TFS, GR), pp. 294–310.
ICGTICGT-2012-TaentzerML #co-evolution #graph
Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution (GT, FM, YL), pp. 326–340.
ICGTICGT-2012-WestfechtelN #evolution #graph transformation
Graph Transformations for Evolving Domain Knowledge (BW, MN), pp. 341–355.
CHICHI-2012-KehrHLD #self
A transformational product to improve self-control strength: the chocolate machine (FK, MH, ML, SD), pp. 689–694.
CSCWCSCW-2012-AgustinaSX #3d #collaboration #dependence #design #realtime
Operational transformation for dependency conflict resolution in real-time collaborative 3D design systems (A, CS, DX), pp. 1401–1410.
CSCWCSCW-2012-ParkYCPS #game studies #social
Transforming solitary exercises into social exergames (TP, CY, SPC, BP, JS), pp. 863–866.
CSCWCSCW-2012-SunWF #2d #collaboration #editing #orthogonal #realtime
Operational transformation for orthogonal conflict resolution in real-time collaborative 2d editing systems (CS, HW, HF), pp. 1391–1400.
CAiSECAiSE-2012-LyIMR #data transformation #mining #process #semantics
Data Transformation and Semantic Log Purging for Process Mining (LTL, CI, JM, SRM), pp. 238–253.
EDOCEDOC-2012-BinzLNS #analysis #enterprise #graph transformation #segmentation
Improving the Manageability of Enterprise Topologies Through Segmentation, Graph Transformation, and Analysis Strategies (TB, FL, AN, DS), pp. 61–70.
EDOCEDOC-2012-DohringSG #adaptation #approach #aspect-oriented #model transformation #recursion #rule-based #runtime #weaving #workflow
Emulating Runtime Workflow Adaptation and Aspect Weaving by Recursive Rule-Based Sub-Process Selection — A Model Transformation Approach (MD, AS, IG), pp. 133–142.
EDOCEDOC-2012-WoutersG #ontology
Ontology Transformations (LW, MPG), pp. 71–80.
ICEISICEIS-v3-2012-SchiefBW #modelling #process
Transforming Software Business Models into Business Processes (MS, AB, TW), pp. 167–172.
CIKMCIKM-2012-ComarLSNT #detection #kernel #linear
Weighted linear kernel with tree transformed features for malware detection (PMC, LL, SS, AN, PNT), pp. 2287–2290.
CIKMCIKM-2012-HerschelE #comprehension #data transformation #debugging
The nautilus analyzer: understanding and debugging data transformations (MH, HE), pp. 2731–2733.
CIKMCIKM-2012-MeccaPRS #data transformation #question #what
What is the IQ of your data transformation system? (GM, PP, SR, DS), pp. 872–881.
ECIRECIR-2012-GeraniZC #linear #multi #ranking
Score Transformation in Linear Combination for Multi-criteria Relevance Ranking (SG, CZ, FC), pp. 256–267.
ICMLICML-2012-SohnL #invariant #learning
Learning Invariant Representations with Local Transformations (KS, HL), p. 174.
ICMLICML-2012-ZhaiHBW #image #modelling #process #using
Modeling Images using Transformed Indian Buffet Processes (KZ, YH, JLBG, SW), p. 118.
ICPRICPR-2012-BaiZX #detection #linear #multi
Multi scale multi structuring element top-hat transform for linear feature detection (XB, FZ, BX), pp. 1920–1923.
ICPRICPR-2012-DaiBWT #segmentation
Retinal vessel segmentation via Iterative Geodesic Time Transform (BD, WB, XW, YT), pp. 561–564.
ICPRICPR-2012-GaoES #pseudo #ranking
A ranking model for face alignment with Pseudo Census Transform (HG, HKE, RS), pp. 1116–1119.
ICPRICPR-2012-GuiLY #integer #novel #performance
A novel integer transform for efficient reversible watermarking (XG, XL, BY), pp. 947–950.
ICPRICPR-2012-HoangT #orthogonal #performance
Fast computation of orthogonal polar harmonic transforms (TVH, ST), pp. 3160–3163.
ICPRICPR-2012-ItoOWK #detection
Detection of eyes by circular Hough transform and histogram of gradient (YI, WO, TW, FK), pp. 1795–1798.
ICPRICPR-2012-TangW #detection #semantics
Semantic Hough Transform based object detection with Partial Least Squares (JT, HW), pp. 3652–3655.
ICPRICPR-2012-WangL12b #learning #recognition #string
String-level learning of confidence transformation for Chinese handwritten text recognition (DHW, CLL), pp. 3208–3211.
KDDKDD-2012-LinesDHB #classification
A shapelet transform for time series classification (JL, LMD, JH, AB), pp. 289–297.
KEODKEOD-2012-TangRIP
Process-oriented Home Care System Transformation in Central Finland (JT, TR, JI, LGP), pp. 455–460.
SEKESEKE-2012-GrunwaldM #approach #named #owl #uml
umlTUowl — A Both Generic and Vendor-specific Approach for UML to OWL Transformation (AG, TM), pp. 730–736.
SEKESEKE-2012-MarchettiG #framework #logic #model transformation #using
Model Transformation for Frameworks Using Logical Planning (GAM, ESG), pp. 563–569.
SEKESEKE-2012-PimentelSDCF #architecture #evolution #model transformation #towards
Towards Architectural Evolution through Model Transformations (JP, ES, DD, JC, AF), pp. 448–451.
ICMTICMT-J-2011-CuadradoGL12 #atl #flexibility #model transformation
Flexible Model-to-Model Transformation Templates: An Application to ATL (JSC, EG, JdL), pp. 1–28.
ICMTICMT-J-2011-WimmerKKRSSKPLSW12 #inheritance #model transformation
Surveying Rule Inheritance in Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS, DSK, RFP, ML, AS, DW), pp. 1–46.
AMTAMT-2012-AmraniDLLSSSW #model transformation #towards
Towards a model transformation intent catalog (MA, JD, LL, LL, RS, GS, ES, MW), pp. 3–8.
AMTAMT-2012-BurguenoWV #perspective #requirements #towards
Towards tracking “guilty” transformation rules: a requirements perspective (LB, MW, AV), pp. 27–32.
AMTAMT-2012-EtienABP #model transformation
Chaining model transformations (AE, VA, XB, RFP), pp. 9–14.
AMTAMT-2012-HildebrandtLG #development #framework #graph grammar #model transformation
The MDELab tool framework for the development of correct model transformations with triple graph grammars (SH, LL, HG), pp. 33–34.
AMTAMT-2012-SelimCD #model transformation #state of the art #testing
Model transformation testing: the state of the art (GMKS, JRC, JD), pp. 21–26.
AMTAMT-2012-TaentzerAEH #model transformation #refactoring #rule-based #towards
Towards refactoring of rule-based, in-place model transformation systems (GT, TA, CE, RH), pp. 41–46.
AMTAMT-2012-TisoRL #case study #experience #model transformation #testing
Early experiences on model transformation testing (AT, GR, ML), pp. 15–20.
BXBX-2012-LambersHGO #bidirectional #graph grammar #model transformation
Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case (LL, SH, HG, FO), pp. 84–99.
BXBX-2012-Stevens #bidirectional #set
Observations relating to the equivalences induced on model sets by bidirectional transformations (PS), pp. 100–115.
ECMFAECMFA-2012-LauderAVS #bidirectional #graph grammar #model transformation #precedence
Bidirectional Model Transformation with Precedence Triple Graph Grammars (ML, AA, GV, AS), pp. 287–302.
ECMFAECMFA-2012-RiekeS #model transformation #refinement #specification
Specifying Refinement Relations in Vertical Model Transformations (JR, OS), pp. 210–225.
ECMFAECMFA-2012-SelimWCD #case study #industrial #legacy #migration #model transformation #modelling
Model Transformations for Migrating Legacy Models: An Industrial Case Study (GMKS, SW, JRC, JD), pp. 90–101.
ECMFAECMFA-2012-WinklerFGM #performance
BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer (UW, MF, WG, AM), pp. 416–427.
ICMTICMT-2012-AmstelBS #model transformation #traceability #visualisation
Traceability Visualization in Model Transformations with TraceVis (MvA, MvdB, AS), pp. 152–159.
ICMTICMT-2012-AndovaBE #model transformation #reuse
Reusable and Correct Endogenous Model Transformations (SA, MvdB, LE), pp. 72–88.
ICMTICMT-2012-AtkinsonGT #model transformation #multi #towards
Towards Multi-level Aware Model Transformations (CA, RG, CT), pp. 208–223.
ICMTICMT-2012-Cuadrado #model transformation #product line #towards
Towards a Family of Model Transformation Languages (JSC), pp. 176–191.
ICMTICMT-2012-CunhaFMPS #bidirectional #modelling #spreadsheet
Bidirectional Transformation of Model-Driven Spreadsheets (JC, JPF, JM, HP, JS), pp. 105–120.
ICMTICMT-2012-DemuthLE #constraints #modelling
Constraint-Driven Modeling through Transformation (AD, RELH, AE), pp. 248–263.
ICMTICMT-2012-Fernandez-RoperoPWP #assessment #empirical #model transformation #simulation
Empirical Assessment of Business Model Transformations Based on Model Simulation (MFR, RPC, BW, MP), pp. 137–151.
ICMTICMT-2012-GeorgeWS #domain-specific language #model transformation #scala #type safety
Type-Safe Model Transformation Languages as Internal DSLs in Scala (LG, AW, MS), pp. 160–175.
ICMTICMT-2012-Guerra #generative #model transformation #testing
Specification-Driven Test Generation for Model Transformations (EG), pp. 40–55.
ICMTICMT-2012-PachecoC #bidirectional #model transformation #multi #named #xml
Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas (HP, AC), pp. 89–104.
ICMTICMT-2012-SenMTC #model transformation #modelling #using
Using Models of Partial Knowledge to Test Model Transformations (SS, JMM, MT, JC), pp. 24–39.
ICMTICMT-2012-TerwilligerCC #bidirectional #framework #how #incremental #towards
How Clean Is Your Sandbox? — Towards a Unified Theoretical Framework for Incremental Bidirectional Transformations (JFT, AC, CC), pp. 1–23.
ICMTICMT-2012-VallecilloG #model transformation #type system #using
Typing Model Transformations Using Tracts (AV, MG), pp. 56–71.
ICMTICMT-2012-WagelaarIRP #co-evolution #emf #semantics #virtual machine
Translational Semantics of a Co-evolution Specific Language with the EMF Transformation Virtual Machine (DW, LI, DDR, AP), pp. 192–207.
ICMTICMT-2012-WimmerKKRSS #model transformation #reuse #rule-based
Fact or Fiction — Reuse in Rule-Based Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS), pp. 280–295.
MODELSMoDELS-2012-AranegaEM #feature model #model transformation #using
Using Feature Model to Build Model Transformation Chains (VA, AE, SM), pp. 562–578.
MODELSMoDELS-2012-BesovaWWB #composition #multi
Weaving-Based Configuration and Modular Transformation of Multi-layer Systems (GB, SW, HW, SB), pp. 776–792.
MODELSMoDELS-2012-ButtnerEC #atl #off the shelf #on the #smt #using #verification
On Verifying ATL Transformations Using “off-the-shelf” SMT Solvers (FB, ME, JC), pp. 432–448.
MODELSMoDELS-2012-GonzalezC #approach #atl #generative #named #testing
ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
MODELSMoDELS-2012-KainzBK #approach #model transformation
A Generic Approach Simplifying Model-to-Model Transformation Chains (GK, CB, AK), pp. 579–594.
MODELSMoDELS-2012-SaadaDHNS #generative #model transformation
Generation of Operational Transformation Rules from Examples of Model Transformations (HS, XD, MH, CN, HAS), pp. 546–561.
MODELSMoDELS-2012-AranegaEM #feature model #model transformation #using
Using Feature Model to Build Model Transformation Chains (VA, AE, SM), pp. 562–578.
MODELSMoDELS-2012-BesovaWWB #composition #multi
Weaving-Based Configuration and Modular Transformation of Multi-layer Systems (GB, SW, HW, SB), pp. 776–792.
MODELSMoDELS-2012-ButtnerEC #atl #off the shelf #on the #smt #using #verification
On Verifying ATL Transformations Using “off-the-shelf” SMT Solvers (FB, ME, JC), pp. 432–448.
MODELSMoDELS-2012-GonzalezC #approach #atl #generative #named #testing
ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
MODELSMoDELS-2012-KainzBK #approach #model transformation
A Generic Approach Simplifying Model-to-Model Transformation Chains (GK, CB, AK), pp. 579–594.
MODELSMoDELS-2012-SaadaDHNS #generative #model transformation
Generation of Operational Transformation Rules from Examples of Model Transformations (HS, XD, MH, CN, HAS), pp. 546–561.
OOPSLAOOPSLA-2012-MagillHSM #automation
Automating object transformations for dynamic software updating (SM, MH, SS, KSM), pp. 265–280.
TOOLSTOOLS-EUROPE-2012-WimmerMV #co-evolution
Viewpoint Co-evolution through Coarse-Grained Changes and Coupled Transformations (MW, NM, AV), pp. 336–352.
GPCEGPCE-2012-AxelsenK #java #performance #semantics #text-to-text
Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code (EWA, SK), pp. 50–59.
LOPSTRLOPSTR-2012-SeghirB #array #program transformation #quantifier #verification
Simplifying the Verification of Quantified Array Assertions via Code Transformation (MNS, MB), pp. 194–212.
LOPSTRLOPSTR-2012-Seki #logic programming #program transformation #proving #source code
Proving Properties of Co-logic Programs with Negation by Program Transformations (HS), pp. 213–227.
PADLPADL-2012-HaveC #performance #program transformation #using
Efficient Tabling of Structured Data Using Indexing and Program Transformation (CTH, HC), pp. 93–107.
POPLPOPL-2012-LiangFF #concurrent #program transformation #simulation #verification
A rely-guarantee-based simulation for verifying concurrent program transformations (HL, XF, MF), pp. 455–468.
POPLPOPL-2012-ZhaoNMZ #formal method #program transformation #representation
Formalizing the LLVM intermediate representation for verified program transformations (JZ, SN, MMKM, SZ), pp. 427–440.
POPLPOPL-2012-ZhuMKR #approximate #performance #program transformation #random
Randomized accuracy-aware program transformations for efficient approximate computations (ZAZ, SM, JAK, MCR), pp. 441–454.
SACSAC-2012-AlebrahimCHCH #architecture #design #interactive #model transformation #problem
Designing architectures from problem descriptions by interactive model transformation (AA, IC, MH, CC, DH), pp. 1256–1258.
SACSAC-2012-AvalhaisSRT #difference #image #retrieval #search-based
Image retrieval employing genetic dissimilarity weighting and feature space transformation functions (LPSA, SFdS, JFRJ, AJMT), pp. 1012–1017.
SACSAC-2012-DelgadoRGP #collaboration #model transformation #process
Model transformations for Business-IT alignment: from collaborative business process to SoaML service model (AD, FR, IGRdG, MP), pp. 1720–1722.
SACSAC-2012-HasegawaT #distance #invariant #using
Affine invariant shape matching using radon transform and dynamic time warping distance (MH, ST), pp. 777–781.
SACSAC-2012-ScandurraAYD #case study #functional #modelling #requirements #state machine #validation
Functional requirements validation by transforming use case models into Abstract State Machines (PS, AA, TY, MD), pp. 1063–1068.
ICSEICSE-2012-Chioasca #automation #machine learning #model transformation #requirements #using
Using machine learning to enhance automated requirements model transformation (EVC), pp. 1487–1490.
ICSEICSE-2012-RazaviK #model transformation #partial evaluation
Partial evaluation of model transformations (AR, KK), pp. 562–572.
ICSEICSE-2012-Rodes #layout #source code #stack #towards
Stack layout transformation: Towards diversity for securing binary programs (BR), pp. 1543–1546.
ICSEICSE-2012-YuLHHKM #bidirectional #invariant #maintenance #traceability
Maintaining invariant traceability through bidirectional transformations (YY, YL, ZH, SH, HK, LM), pp. 540–550.
LDTALDTA-2012-BachCMP #model transformation
Model transformations with Tom (JCB, XC, PEM, MP), p. 4.
LDTALDTA-2012-LinckeS #concept #higher-order #object-oriented
From HOT to COOL: transforming higher-order typed languages to concept-constrained object-oriented languages (DL, SS), p. 3.
LDTALDTA-2012-Voigtlander #bidirectional #programming language
Programming language approaches to bidirectional transformation (JV), p. 1.
SLESLE-2012-AnjorinSRS #bidirectional #framework
A Framework for Bidirectional Model-to-Platform Transformations (AA, KS, SR, AS), pp. 124–143.
SLESLE-2012-CuadradoGL #runtime
The Program Is the Model: Enabling Transformations@run.time (JSC, EG, JdL), pp. 104–123.
SLESLE-2012-GarciaDA #approach #automation #co-evolution #model transformation
Model Transformation Co-evolution: A Semi-automatic Approach (JG, OD, MA), pp. 144–163.
SPLCSPLC-2012-El-SharkawyDS #analysis #feature model #modelling
From feature models to decision models and back again an analysis based on formal transformations (SES, SD, KS), pp. 126–135.
CAVCAV-2012-SinghG
Synthesizing Number Transformations from Input-Output Examples (RS, SG), pp. 634–651.
ICLPICLP-2012-AbdennadherS #text-to-text #visualisation
Visualization of CHR through Source-to-Source Transformation (SA, NS), pp. 109–118.
ICSTICST-2012-AmraniLSCDVTC #approach #model transformation #verification
A Tridimensional Approach for Studying the Formal Verification of Model Transformations (MA, LL, GMKS, BC, JD, HV, YLT, JRC), pp. 921–928.
ICSTICST-2012-MeszarosL #graph transformation
Verified Operational Patterns with Graph Transformation (TM, TL), pp. 954–961.
ICSTICST-2012-SyrianiG #challenge #model transformation #quality
Challenges for Addressing Quality Factors in Model Transformation (ES, JG), pp. 929–937.
ICSTICST-2012-TranP #framework #graph transformation #towards #verification
Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations (HNT, CP), pp. 946–953.
ICSTICST-2012-UjhelyiHV #model transformation #slicing
Dynamic Backward Slicing of Model Transformations (ZU, ÁH, DV), pp. 1–10.
IJCARIJCAR-2012-RauSS #correctness #problem #program transformation #termination
Correctness of Program Transformations as a Termination Problem (CR, DS, MSS), pp. 462–476.
LICSLICS-2012-AlurFT #infinity #string
Regular Transformations of Infinite Strings (RA, EF, AT), pp. 65–74.
RTARTA-2012-BertrandDKSS #decidability #graph transformation #on the #reachability
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems (NB, GD, BK, AS, JS), pp. 101–116.
ECSAECSA-2011-NavarroCPR #architecture #model transformation #using
Using Model Transformation Techniques for the Superimposition of Architectural Styles (EN, CEC, DEP, CR), pp. 379–387.
QoSAQoSA-ISARCS-2011-KavimandanGKG #architecture #model transformation #product line #quality #reuse
Managing the quality of software product line architectures through reusable model transformations (AK, ASG, GK, JG), pp. 13–22.
WICSAWICSA-2011-Bashardoust-TajaliRC #bibliography #challenge #modelling #variability
Challenges of Variability in Model-Driven and Transformational Approaches: A Systematic Survey (SBT, VDR, JPC), pp. 294–301.
WICSAWICSA-2011-HafizAJ #architecture
Patterns Transform Architectures (MH, PA, REJ), pp. 242–251.
ASEASE-2011-HidakaHIKN #bidirectional #framework #model transformation #named
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations (SH, ZH, KI, HK, KN), pp. 480–483.
ASEASE-2011-UjhelyiHV #model transformation #slicing #towards
Towards dynamic backward slicing of model transformations (ZU, ÁH, DV), pp. 404–407.
DATEDATE-2011-BaiDDC #network #program transformation #programming #runtime
Simplified programming of faulty sensor networks via code transformation and run-time interval computation (LSB, RPD, PAD, PHC), pp. 88–93.
DATEDATE-2011-LiuHRG #optimisation #process #using
Global optimization of integrated transformers for high frequency microwave circuits using a Gaussian process based surrogate model (BL, YH, PR, GGEG), pp. 1101–1106.
DATEDATE-2011-WelpK #approach #markov #process #synthesis
An approach for dynamic selection of synthesis transformations based on Markov Decision Processes (TW, AK), pp. 1533–1536.
DocEngDocEng-2011-KarolNKAM #adaptation #aspect-oriented #detection #multi #xml
Detecting and resolving conflicts between adaptation aspects in multi-staged XML transformations (SK, MN, DK, UA, KM), pp. 229–238.
DocEngDocEng-2011-Tseng #developer
Developer-friendly annotation-based HTML-to-XML transformation technology (LCHT), pp. 73–76.
ICDARICDAR-2011-HasegawaT #correlation
A Shape Descriptor Combining Logarithmic-Scale Histogram of Radon Transform and Phase-Only Correlation Function (MH, ST), pp. 182–186.
ICDARICDAR-2011-WangYL #recognition
Improving Handwritten Chinese Text Recognition by Confidence Transformation (QFW, FY, CLL), pp. 518–522.
PODSPODS-2011-AntonopoulosMN #complexity #xml
The complexity of text-preserving XML transformations (TA, WM, FN), pp. 247–258.
VLDBVLDB-2011-MainePST
Microsoft Codename “Montego” — Data Import, Transformation, and Publication for Information Workers (SJM, LP, CAS, JFT), pp. 1454–1457.
ESOPESOP-2011-BorgstromGGMG #machine learning #semantics
Measure Transformer Semantics for Bayesian Machine Learning (JB, ADG, MG, JM, JVG), pp. 77–96.
CSMRCSMR-2011-AhmadP #architecture #evolution
Customisable Transformation-Driven Evolution for Service Architectures (AA, CP), pp. 373–376.
SCAMSCAM-2011-CollardDM #fact extraction #lightweight #semiparsing #tool support
Lightweight Transformation and Fact Extraction with the srcML Toolkit (MLC, MJD, JIM), pp. 173–184.
SCAMSCAM-2011-SfayhiS #analysis #interactive #visualisation #what
What You See is What You Asked for: An Effort-Based Transformation of Code Analysis Tasks into Interactive Visualization Scenarios (AS, HAS), pp. 195–203.
WCREWCRE-2011-Mintchev #integration #legacy #program transformation
Renovation by Machine-Assisted Program Transformation in Production Reporting and Integration (SM), pp. 406–410.
PEPMPEPM-J-2007-CunhaV11 #query #source code #xpath
Transformation of structure-shy programs with application to XPath queries and strategic functions (AC, JV), pp. 516–539.
PEPMPEPM-2011-Caballero #functional #logic programming #program transformation #source code
A program transformation for returning states in functional-logic programs (RC), pp. 111–120.
PEPMPEPM-2011-PachecoC #bidirectional #lens #optimisation
Calculating with lenses: optimising bidirectional transformations (HP, AC), pp. 91–100.
PEPMPEPM-2011-Rinard #bound #probability #program analysis #program transformation #source code
Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation (MCR), pp. 79–80.
PLDIPLDI-2011-HarrisG #spreadsheet
Spreadsheet table transformations from examples (WRH, SG), pp. 317–328.
PLDIPLDI-2011-MengKM #editing #generative #program transformation
Systematic editing: generating program transformations from an example (NM, MK, KSM), pp. 329–342.
SASSAS-2011-MisailovicRR #program transformation
Probabilistically Accurate Program Transformations (SM, DMR, MCR), pp. 316–333.
STOCSTOC-2011-Woodruff #approximate #black box #protocol
Near-optimal private approximation protocols via a black box transformation (DPW), pp. 735–744.
DLTDLT-2011-KuncO #automaton #finite #using
Describing Periodicity in Two-Way Deterministic Finite Automata Using Transformation Semigroups (MK, AO), pp. 324–336.
ICFPICFP-2011-ThamsborgB #logic #program transformation
A kripke logical relation for effect-based program transformations (JT, LB), pp. 445–456.
ICFPICFP-2011-WangGW #bidirectional #incremental #performance
Incremental updates for efficient bidirectional transformations (MW, JG, NW), pp. 392–403.
GCMGCM-2010-GolasBEE11 #graph transformation #interpreter #semantics #visual notation
A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation (UG, EB, HE, CE).
GCMGCM-2010-GolasEH11 #graph grammar #model transformation #specification
Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions (UG, HE, FH).
AGTIVEAGTIVE-2011-BuchmannWW #case study #configuration management #graph transformation
The Added Value of Programmed Graph Transformations — A Case Study from Software Configuration Management (TB, BW, SW), pp. 198–209.
AGTIVEAGTIVE-2011-ErmlerKKT #graph transformation
From Graph Transformation Units via MiniSat to GrGen.NET (ME, HJK, SK, CvT), pp. 153–168.
AGTIVEAGTIVE-2011-GreenyerR #automaton #concept #diagrams #game studies #graph grammar #sequence chart #specification
Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata (JG, JR), pp. 222–237.
AGTIVEAGTIVE-2011-LaraG #graph transformation #reuse
Reusable Graph Transformation Templates (JdL, EG), pp. 35–50.
AGTIVEAGTIVE-2011-MantzJT #concept #consistency #evolution #graph transformation #metamodelling #migration
Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration (FM, SJ, GT), pp. 3–18.
AGTIVEAGTIVE-2011-MazanekRM #tool support
Tool Demonstration of the Transformation Judge (SM, CR, MM), pp. 97–104.
AGTIVEAGTIVE-2011-RossiniLGRL #graph transformation #metamodelling #semantics
A Graph Transformation-Based Semantics for Deep Metamodelling (AR, JdL, EG, AR, YL), pp. 19–34.
AGTIVEAGTIVE-2011-RungeET #algebra #graph transformation #specification
AGG 2.0 — New Features for Specifying and Analyzing Algebraic Graph Transformations (OR, CE, GT), pp. 81–88.
AGTIVEAGTIVE-2011-Strecker #graph transformation #locality #reasoning
Locality in Reasoning about Graph Transformations (MS), pp. 169–181.
AGTIVEAGTIVE-2011-StroblM #diagrams #editing #generative #graph transformation #state machine
Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors (TS, MM), pp. 65–80.
AGTIVEAGTIVE-2011-TichyK #adaptation #graph transformation #self
Planning Self-adaption with Graph Transformations (MT, BK), pp. 137–152.
GT-VMTGT-VMT-2011-DuvalEP #category theory #graph transformation #term rewriting
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation (DD, RE, FP).
GT-VMTGT-VMT-2011-EhrigHSB #constraints #graph grammar #model transformation
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars (HE, FH, HS, CB).
CHICHI-2011-CoheDH #3d #named
tBox: a 3d transformation widget designed for touch-screens (AC, FD, MH), pp. 3005–3008.
CHICHI-2011-KandelPHH #data transformation #interactive #named #specification #visual notation
Wrangler: interactive visual specification of data transformation scripts (SK, AP, JMH, JH), pp. 3363–3372.
CHICHI-2011-Light #design #performance #using
Democratising technology: making transformation using designing, performance and props (AL), pp. 2239–2242.
CHICHI-2011-WobbrockFGH #analysis #parametricity #rank #using
The aligned rank transform for nonparametric factorial analyses using only anova procedures (JOW, LF, DG, JJH), pp. 143–146.
CSCWCSCW-2011-ShaoLLG #protocol #web
An operational transformation based synchronization protocol for web 2.0 applications (BS, DL, TL, NG), pp. 563–572.
HCIHCI-DDA-2011-EngelMF #human-computer #interactive #user interface
HCI Patterns as a Means to Transform Interactive User Interfaces to Diverse Contexts of Use (JE, CM, PF), pp. 204–213.
HCIHCI-DDA-2011-ZimmermanKPBLJ #how #performance #quote
“How Do I Line Up?”: Reducing Mental Transformations to Improve Performance (GWZ, DSK, GMP, JB, LML, SDJ), pp. 432–440.
HCIHIMI-v2-2011-PohlML #hybrid #learning #standard
Transforming a Standard Lecture into a Hybrid Learning Scenario (HMP, JTM, JL), pp. 55–61.
CAiSECAiSE-2011-PuraoMR #architecture #enterprise #modelling #ontology #perspective
Transforming Enterprise Architecture Models: An Artificial Ontology View (SP, RM, ELR), pp. 383–390.
EDOCEDOC-2011-TongBKPL #architecture #challenge #embedded #enterprise #industrial #mobile #process
Enterprise Architecture for Addressing Business Transformation Challenges: The Case of Embedded Mobile Provisioning Process in the Telecommunications Industry (MT, HB, MK, JP, GL), pp. 35–43.
ICEISICEIS-J-2011-LezocheAP #concept #information management #model transformation #semantics
Formal Fact-Oriented Model Transformations for Cooperative Information Systems Semantic Conceptualisation (ML, AA, HP), pp. 117–131.
CIKMCIKM-2011-HungBS #data transformation
Spreadsheet-based complex data transformation (VH, BB, RSP), pp. 1749–1754.
ICMTICMT-J-2010-DiskinXC11 #bidirectional #model transformation #symmetry
From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case (ZD, YX, KC), pp. 137–161.
ICMTICMT-J-2010-GronmoM11 #diagrams #graph transformation #sequence chart #state machine #uml
From UML 2 Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 182–203.
ICMTICMT-J-2010-HeidenreichKA11 #composition
Safe Composition of Transformations (FH, JK, UA), pp. 162–181.
BXBX-2011-Cleve #co-evolution #source code #using
Co-evolving schemas and programs using coupled transformations (AC), p. 54.
BXBX-2011-Diskin1 #bidirectional #model transformation #weaving
From State- to Delta-Based Bidirectional Model Transformations: Unweaving Alignment and Update Propagation (ZD), p. 55.
BXBX-2011-Ehrig #constraints #model transformation
Propagation of Constraints along Model Transformations (HE), p. 56.
BXBX-2011-Foster #bidirectional
Languages for Bidirectional Transformations (NF), p. 49.
BXBX-2011-Gogolla #metamodelling
Direction Neutral Language Transformation with Metamodels (MG), p. 57.
BXBX-2011-Greenyer #bidirectional #model transformation
Unified (Bidirectional) Transformation Language (JG), p. 58.
BXBX-2011-Hainaut #approach #data-driven #evolution
The transformational approach to data-intensive system engineering and evolution (JLH), p. 51.
BXBX-2011-Hermann #analysis #graph grammar #model transformation
Analysis of Model Transformations based on TGGs (FH), p. 52.
BXBX-2011-Hidaka #bidirectional #graph transformation #recursion
Bidirectional Graph Transformations based on Structural Recursion (SH), p. 59.
BXBX-2011-Kindler1 #bidirectional #challenge
Some challenges of integrating bidirectional transformation technologies (EK), p. 61.
BXBX-2011-Kuester #bidirectional #development #towards
Towards Systematic Development of Bidirectional Transformations (JMK), p. 61.
BXBX-2011-Paige #bidirectional
Bidirectional transformations and inter-modelling (RFP), p. 62.
BXBX-2011-Pierantonio #bidirectional
Bidirectional and change propagating transformations in MDE (AP), p. 63.
BXBX-2011-Terwilliger #bidirectional #database #research
Bidirectional Transformations in Database Research and Practice (JT), p. 50.
BXBX-2011-Voigtlaender1 #bidirectional #performance
Efficiency of Bidirectional Transformations (JV), p. 64.
ECMFAECMFA-2011-BajwaL #constraints #ocl
Transformation Rules for Translating Business Rules to OCL Constraints (ISB, MGL), pp. 132–143.
ECMFAECMFA-2011-DolquesDFHNP #automation #learning #model transformation
Easing Model Transformation Learning with Automatically Aligned Examples (XD, AD, JRF, MH, CN, FP), pp. 189–204.
ECMFAECMFA-2011-GogollaV #model transformation #testing
Tractable Model Transformation Testing (MG, AV), pp. 221–235.
ICMTICMT-2011-AmstelB #analysis #maintenance #model transformation
Model Transformation Analysis: Staying Ahead of the Maintenance Nightmare (MvA, MvdB), pp. 108–122.
ICMTICMT-2011-AmstelBKP #atl #model transformation #performance #qvt
Performance in Model Transformations: Experiments with ATL and QVT (MvA, SB, IK, LFP), pp. 198–212.
ICMTICMT-2011-BauerK #model transformation
Combining Specification-Based and Code-Based Coverage for Model Transformation Chains (EB, JMK), pp. 78–92.
ICMTICMT-2011-CuadradoGL #model transformation #reuse
Generic Model Transformations: Write Once, Reuse Everywhere (JSC, EG, JdL), pp. 62–77.
ICMTICMT-2011-EgyedDGLMNR #co-evolution #consistency #model transformation
Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human Guidance (AE, AD, AG, RELH, PM, AN, AR), pp. 1–14.
ICMTICMT-2011-HornE #model transformation
The GReTL Transformation Language (TH, JE), pp. 183–197.
ICMTICMT-2011-LanoR #development #model transformation #modelling
Model-Driven Development of Model Transformations (KL, SKR), pp. 47–61.
ICMTICMT-2011-SteelDD #modelling
A Transformation Workbench for Building Information Models (JS, KD, RD), pp. 93–107.
ICMTICMT-2011-SunGWGW #approach #editing
A Demonstration-based Approach to Support Live Transformations in a Model Editor (YS, JG, CW, MG, JW), pp. 213–227.
ICMTICMT-2011-WimmerKKRSSKPLSW #comparison #inheritance #model transformation
A Comparison of Rule Inheritance in Model-to-Model Transformation Languages (MW, GK, AK, WR, JS, WS, DSK, RFP, ML, AS, DW), pp. 31–46.
MODELSMoDELS-2011-DiskinXCEHO #bidirectional #model transformation #symmetry
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.
MODELSMoDELS-2011-DragoGM #model transformation #quality #towards
Towards Quality Driven Exploration of Model Transformation Spaces (MLD, CG, RM), pp. 2–16.
MODELSMoDELS-2011-KainzBK #automation #concept #metamodelling #model transformation
Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation (GK, CB, AK), pp. 17–31.
MODELSMoDELS-2011-SongHCZSSM #incremental #modelling #qvt #runtime
Instant and Incremental QVT Transformation for Runtime Models (HS, GH, FC, WZ, YS, WS, HM), pp. 273–288.
MODELSMoDELS-2011-SteelD #model transformation
Domain-Specific Model Transformation in Building Quantity Take-Off (JS, RD), pp. 198–212.
MODELSMoDELS-2011-StenzelMR #code generation #qvt #verification
Formal Verification of QVT Transformations for Code Generation (KS, NM, WR), pp. 533–547.
MODELSMoDELS-2011-TisiPJC #execution #lazy evaluation #model transformation
Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.
MODELSMoDELS-2011-WagelaarTCJ #composition #model transformation #rule-based #semantics #towards
Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.
MODELSMoDELS-2011-DiskinXCEHO #bidirectional #model transformation #symmetry
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.
MODELSMoDELS-2011-DragoGM #model transformation #quality #towards
Towards Quality Driven Exploration of Model Transformation Spaces (MLD, CG, RM), pp. 2–16.
MODELSMoDELS-2011-KainzBK #automation #concept #metamodelling #model transformation
Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation (GK, CB, AK), pp. 17–31.
MODELSMoDELS-2011-SongHCZSSM #incremental #modelling #qvt #runtime
Instant and Incremental QVT Transformation for Runtime Models (HS, GH, FC, WZ, YS, WS, HM), pp. 273–288.
MODELSMoDELS-2011-SteelD #model transformation
Domain-Specific Model Transformation in Building Quantity Take-Off (JS, RD), pp. 198–212.
MODELSMoDELS-2011-StenzelMR #code generation #qvt #verification
Formal Verification of QVT Transformations for Code Generation (KS, NM, WR), pp. 533–547.
MODELSMoDELS-2011-TisiPJC #execution #lazy evaluation #model transformation
Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.
MODELSMoDELS-2011-WagelaarTCJ #composition #model transformation #rule-based #semantics #towards
Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.
TOOLSTOOLS-EUROPE-2011-BauerKE #model transformation #quality #testing
Test Suite Quality for Model Transformation Chains (EB, JMK, GE), pp. 3–19.
GPCEGPCE-J-2009-McGacheyHM11 #java
Class Transformations for Transparent Distribution of Java Applications (PM, ALH, JEBM), pp. 204–238.
LOPSTRLOPSTR-2011-CaballeroRVM #debugging #declarative #maude #proving
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees (RC, AR, AV, NMO), pp. 73–89.
LOPSTRLOPSTR-2011-HidakaHIKMNS #graph transformation #optimisation
Marker-Directed Optimization of UnCAL Graph Transformations (SH, ZH, KI, HK, KM, KN, IS), pp. 123–138.
LOPSTRLOPSTR-2011-Seki #logic programming #proving #source code
Proving Properties of Co-Logic Programs by Unfold/Fold Transformations (HS), pp. 205–220.
PPDPPPDP-2011-InabaHHKN #higher-order #logic #monad #using #verification
Graph-transformation verification using monadic second-order logic (KI, SH, ZH, HK, KN), pp. 17–28.
POPLPOPL-2011-PouchetBBCRSV #optimisation
Loop transformations: convexity, pruning and optimization (LNP, UB, CB, AC, JR, PS, NV), pp. 549–562.
SACSAC-2011-AnttonenSMT #framework #roadmap #web
Transforming the web into a real application platform: new technologies, emerging trends and missing pieces (MA, AS, TM, AT), pp. 800–807.
SACSAC-2011-ChangH #approach #model transformation #multi #using #verification
A model transformation approach for verifying multi-agent systems using SPIN (LC, XH), pp. 37–42.
SACSAC-2011-FontugneF #adaptation #detection
A Hough-transform-based anomaly detector with an adaptive time interval (RF, KF), pp. 471–477.
SACSAC-2011-LeungS #equivalence #mining #nondeterminism
Equivalence class transformation based mining of frequent itemsets from uncertain data (CKSL, LS), pp. 983–984.
SACSAC-2011-MakanjuZM #retrieval #using
Storage and retrieval of system log events using a structured schema based on message type transformation (AM, ANZH, EEM), pp. 528–533.
SACSAC-2011-NakagawaYOH #design #framework #model transformation #multi #named
IMPULSE: a design framework for multi-agent systems based on model transformation (HN, NY, AO, SH), pp. 1411–1418.
ESEC-FSEESEC-FSE-2011-MengKM #named #program transformation
Sydit: creating and applying a program transformation from an example (NM, MK, KSM), pp. 440–443.
ICSEICSE-2011-KjolstadDAS
Transformation for class immutability (FK, DD, GA, MS), pp. 61–70.
LDTALDTA-2011-EconomopoulosF #higher-order #syntax
Higher-order transformations with nested concrete syntax (GRE, BF), p. 4.
SLESLE-2011-JongeV #algorithm #layout #refactoring
An Algorithm for Layout Preservation in Refactoring Transformations (MdJ, EV), pp. 40–59.
SLESLE-2011-KlintLP #analysis #towards #visualisation
Towards a One-Stop-Shop for Analysis, Transformation and Visualization of Software (PK, BL, AvdP), pp. 1–18.
SLESLE-2011-SeibelHNG #black box #composition #execution #model transformation
A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations (AS, RH, SN, HG), pp. 19–39.
SLESLE-2011-Wider #bidirectional #combinator #model transformation #scala #towards
Towards Combinators for Bidirectional Model Transformations in Scala (AW), pp. 367–377.
SPLCSPLC-2011-Beuche11a #legacy #product line
Transforming Legacy Systems into Software Product Lines (DB), p. 361.
SPLCSPLC-2011-HutchessonM #effectiveness #product line #towards
Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations (SH, JAM), pp. 55–64.
CCCC-2011-HenrettySPFRS #architecture #layout
Data Layout Transformation for Stencil Computations on Short-Vector SIMD Architectures (TH, KS, LNP, FF, JR, PS), pp. 225–245.
CCCC-2011-MaKA #memory management #multi
Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies (WM, SK, GA), pp. 266–285.
PPoPPPPoPP-2011-DotsenkoBLG #fourier #performance
Auto-tuning of fast fourier transform on graphics processors (YD, SSB, BL, NKG), pp. 257–266.
ICTSSICTSS-2011-OlsenFT #industrial #modelling #testing
Model-Based Testing of Industrial Transformational Systems (PO, JF, JT), pp. 131–145.
LICSLICS-2011-Miquel #program transformation
Forcing as a Program Transformation (AM), pp. 197–206.
ICSTSAT-2011-BuningZB #normalisation #quantifier
Transformations into Normal Forms for Quantified Circuits (HKB, XZ, UB), pp. 245–258.
QoSAQoSA-2010-KapovaGBH #maintenance #metric #model transformation
Evaluating Maintainability with Code Metrics for Model-to-Model Transformations (LK, TG, SB, JH), pp. 151–166.
DATEDATE-2010-AkinSH #configuration management #estimation #hardware #multi
A reconfigurable hardware for one bit transform based multiple reference frame Motion Estimation (AA, GS, IH), pp. 393–398.
DATEDATE-2010-MeijerNS #modelling #network #process #throughput
Throughput modeling to evaluate process merging transformations in polyhedral process networks (SM, HN, TS), pp. 747–752.
DocEngDocEng-2010-BeaudouxB
Linking data and presentations: from mapping to active transformations (OB, AB), pp. 107–110.
DRRDRR-2010-BallKSN #analysis #documentation #using
Analysis of line structure in handwritten documents using the Hough transform (GRB, HK, SNS, AN), pp. 1–10.
PODSPODS-2010-LemayMN #algorithm #learning #top-down #xml
A learning algorithm for top-down XML transformations (AL, SM, JN), pp. 285–296.
SIGMODSIGMOD-2010-RastogiN #distributed #encryption
Differentially private aggregation of distributed time-series with transformation and encryption (VR, SN), pp. 735–746.
VLDBVLDB-2010-DyresonBM #using #xml
Using XMorph to Transform XML Data (CED, SSB, KM), pp. 1541–1544.
VLDBVLDB-2010-GryzKHR #documentation #xml
Transforming XML Documents as Schemas Evolve (JG, MK, SH, PvR), pp. 1577–1580.
VLDBVLDB-2010-PramanikWML #query
Transforming Range Queries To Equivalent Box Queries To Optimize Page Access (SP, AW, CRM, AXL), pp. 409–416.
VLDBVLDB-2010-TerwilligerDMSB #database #evolution
Updatable and Evolvable Transforms for Virtual Databases (JFT, LMLD, DM, JS, SB), pp. 309–319.
FASEFASE-2010-BoronatO #model transformation #realtime
Formal Real-Time Model Transformations in MOMENT2 (AB, PCÖ), pp. 29–43.
FASEFASE-2010-JacksonSBK #model transformation #reuse
Reusing Model Transformations While Preserving Properties (EKJ, WS, DB, GK), pp. 44–58.
FASEFASE-2010-RutleRLW #constraints #formal method #model transformation
A Formalisation of Constraint-Aware Model Transformations (AR, AR, YL, UW), pp. 13–28.
FASEFASE-2010-TorriniHR #graph transformation #probability #simulation
Stochastic Simulation of Graph Transformation Systems (PT, RH, IR), pp. 154–157.
FoSSaCSFoSSaCS-2010-ChambartS #composition #towards
Toward a Compositional Theory of Leftist Grammars and Transformations (PC, PS), pp. 237–251.
CSMRCSMR-2010-KarusD #design #xml
Designing Maintainable XML Transformations (SK, MD), pp. 137–145.
ICSMEICSM-2010-BrantRPP #c# #delphi #maintenance
Extreme maintenance: Transforming Delphi into C# (JB, DR, BP, JP), pp. 1–8.
ICSMEICSM-2010-Cleve #data-driven #evolution #program analysis #program transformation
Program analysis and transformation for data-intensive system evolution (AC), pp. 1–6.
ICSMEICSM-2010-CollardMR #adaptation #approach #lightweight #scalability
A lightweight transformational approach to support large scale adaptive changes (MLC, JIM, BPR), pp. 1–10.
PEPMPEPM-2010-AlpuenteBBF #framework
A fold/unfold transformation framework for rewrite theories extended to CCT (MA, DB, MB, MF), pp. 43–52.
STOCSTOC-2010-DasguptaKS
A sparse Johnson: Lindenstrauss transform (AD, RK, TS), pp. 341–350.
CIAACIAA-2010-Egri-NagyN #finite #on the #word
On Straight Words and Minimal Permutators in Finite Transformation Semigroups (AEN, CLN), pp. 115–124.
ICALPICALP-v2-2010-Rensink #composition #graph transformation
Compositionality in Graph Transformation (AR), pp. 309–320.
IFMIFM-2010-HulsbuschKRSSW #comparison #model transformation #semantics
Showing Full Semantics Preservation in Model Transformation — A Comparison of Techniques (MH, BK, AR, MS, CS, HW), pp. 183–198.
IFMIFM-2010-LanoR #model transformation #specification #uml #using #verification
Specification and Verification of Model Transformations Using UML-RSDS (KL, SKR), pp. 199–214.
IFMIFM-2010-MarronePV #analysis #dependence #inheritance #multi
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems (SM, CP, VV), pp. 215–228.
SEFMSEFM-2010-HegedusBRV #model transformation #simulation
Back-annotation of Simulation Traces with Change-Driven Model Transformations (ÁH, GB, IR, DV), pp. 145–155.
ICFPICFP-2010-HidakaHIKMN #bidirectional #graph transformation
Bidirectionalizing graph transformations (SH, ZH, KI, HK, KM, KN), pp. 205–216.
GT-VMTGT-VMT-2010-BottoniFP #constraints #model transformation
Preserving constraints in horizontal model transformations (PB, AF, FPP).
GT-VMTGT-VMT-2010-Schatz #model transformation #verification
Verification of Model Transformations (BS).
GT-VMTGT-VMT-2010-SyrianiV #model transformation
De-/Re-constructing Model Transformation Languages (ES, HV).
GT-VMTGT-VMT-2010-TorriniHRB #graph transformation #probability
Stochastic Graph Transformation with Regions (PT, RH, IR, GB).
ICGTICGT-2010-Biermann #emf #formal method #graph transformation #model transformation
EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment (EB), pp. 381–383.
ICGTICGT-2010-BrandtH #enterprise #graph transformation #how #modelling #question
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? (CB, FH), pp. 3–26.
ICGTICGT-2010-HermannEOG #analysis #behaviour #formal method #functional #graph grammar #model transformation
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars (FH, HE, FO, UG), pp. 155–170.
ICGTICGT-2010-Hulsbusch #bisimulation #graph transformation
Bisimulation Theory for Graph Transformation Systems (MH), pp. 391–393.
ICGTICGT-2010-Kahl #category theory #graph transformation
Amalgamating Pushout and Pullback Graph Transformation in Collagories (WK), pp. 362–378.
ICGTICGT-2010-KonigE #graph transformation #specification #verification
Verification of Graph Transformation Systems with Context-Free Specifications (BK, JE), pp. 107–122.
ICGTICGT-2010-KreowskiKW #graph transformation #satisfiability
Graph Transformation Units Guided by a SAT Solver (HJK, SK, RW), pp. 27–42.
ICGTICGT-2010-LaraGBHT #graph transformation #simulation
Graph Transformation for Domain-Specific Discrete Event Time Simulation (JdL, EG, AB, RH, PT), pp. 266–281.
ICGTICGT-2010-Modica #analysis #communication #formal method #modelling #petri net
Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems (TM), pp. 400–402.
ICGTICGT-2010-OrejasL #constraints #graph transformation #theorem proving
Delaying Constraint Solving in Symbolic Graph Transformation (FO, LL), pp. 43–58.
ICGTICGT-2010-Qayum #automation #graph transformation #refactoring #search-based #using
Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems (FQ), pp. 407–409.
ICGTICGT-2010-Ujhelyi #model transformation #source code #static typing #type checking
Static Type Checking of Model Transformation Programs (ZU), pp. 413–415.
ICGTICGT-2010-Zambon #abstraction #graph transformation #using #verification
Using Graph Transformations and Graph Abstractions for Software Verification (EZ), pp. 416–418.
CHICHI-2010-BlockGV #interactive
Touch-display keyboards: transforming keyboards into interactive surfaces (FB, HG, NV), pp. 1145–1154.
CHICHI-2010-UnruhSCP
Transforming clinic environments into information workspaces for patients (KTU, MMS, ACH, WP), pp. 183–192.
CSCWCSCW-2010-ShaoLG #algorithm #mobile #sequence
A sequence transformation algorithm for supporting cooperative work on mobile devices (BS, DL, NG), pp. 159–168.
CAiSECAiSE-2010-LemaitreH #database #evaluation #framework
Transformation-Based Framework for the Evaluation and Improvement of Database Schemas (JL, JLH), pp. 317–331.
EDOCEDOC-2010-AmarLCN #aspect-oriented #imperative #programming #using
Using Aspect-Oriented Programming to Trace Imperative Transformations (BA, HL, BC, CN), pp. 143–152.
EDOCEDOC-2010-Gronmo #aspect-oriented #graph transformation #question
Can Graph Transformation Make Aspect Languages for BPEL Redundant? (RG), pp. 153–162.
CIKMCIKM-2010-ChatterjeeBR #clustering
Feature subspace transformations for enhancing k-means clustering (AC, SB, PR), pp. 1801–1804.
CIKMCIKM-2010-KouCZZ #learning #ranking
Learning to blend rankings: a monotonic transformation to blend rankings from heterogeneous domains (ZK, YC, ZZ, HZ), pp. 1921–1924.
ICMLICML-2010-MasaeliFD #feature model #reduction
From Transformation-Based Dimensionality Reduction to Feature Selection (MM, GF, JGD), pp. 751–758.
ICPRICPR-2010-Chicheva #2d #algorithm #data transformation #parallel #representation
Parallel Algorithm of Two-Dimensional Discrete Cosine Transform Based on Special Data Representation (MAC), pp. 2326–2328.
ICPRICPR-2010-DursunDG #2d #image #re-engineering #slicing #theorem
Paired Transform Slice Theorem of 2-D Image Reconstruction from Projections (SD, ND, AMG), pp. 2395–2398.
ICPRICPR-2010-DursunG #2d #fourier
Reversible Interger 2-D Discrete Fourier Transform by Control Bits (SD, AMG), pp. 4436–4439.
ICPRICPR-2010-HoangT #fourier #geometry #invariant
A Geometric Invariant Shape Descriptor Based on the Radon, Fourier, and Mellin Transforms (TVH, ST), pp. 2085–2088.
ICPRICPR-2010-HsinLLC #image #using
Image Inpainting Using Structure-Guided Priority Belief Propagation and Label Transformations (HFH, JJL, CSL, HYC), pp. 4492–4495.
ICPRICPR-2010-KohGC #locality #robust #using
A Robust Iris Localization Method Using an Active Contour Model and Hough Transform (JK, VG, VC), pp. 2852–2856.
ICPRICPR-2010-KopenkovM #algorithm #performance #recursion #research
Research the Performance of a Recursive Algorithm of the Local Discrete Wavelet Transform (VNK, VVM), pp. 4452–4455.
ICPRICPR-2010-KryszczukHS #orthogonal #predict #using
Direct Printability Prediction in VLSI Using Features from Orthogonal Transforms (KK, PH, RS), pp. 2764–2767.
ICPRICPR-2010-LeeWC #classification #linear #multi
A Discriminative and Heteroscedastic Linear Feature Transformation for Multiclass Classification (HSL, HMW, BC), pp. 690–693.
ICPRICPR-2010-NacereddineTZH #image #retrieval #using
Shape-Based Image Retrieval Using a New Descriptor Based on the Radon and Wavelet Transforms (NN, ST, DZ, LH), pp. 1997–2000.
ICPRICPR-2010-SaeediMA #dependence #fuzzy #image
Image Denoising Based on Fuzzy and Intra-scale Dependency in Wavelet Transform Domain (JS, MHM, AA), pp. 2672–2675.
ICPRICPR-2010-SchoutenB #distance #incremental
Incremental Distance Transforms (IDT) (TES, ELvdB), pp. 237–240.
ICPRICPR-2010-TakahashiKIM #image
Region-Based Image Transform for Transition Between Object Appearances (TT, YK, II, HM), pp. 2106–2109.
ICPRICPR-2010-WangH #multi #random #recognition #using
Cancelable Face Recognition Using Random Multiplicative Transform (YW, DH), pp. 1261–1264.
ICPRICPR-2010-ZhangXW #data transformation #detection
Data Transformation of the Histogram Feature in Object Detection (RZ, BX, CW), pp. 2893–2896.
ICPRICPR-2010-ZhouK #identification #image #locality #using
Personal Identification from Iris Images Using Localized Radon Transform (YZ, AK), pp. 2840–2843.
KDDKDD-2010-LinC #outsourcing #privacy #random
Privacy-preserving outsourcing support vector machines with random transformation (KPL, MSC), pp. 363–372.
KEODKEOD-2010-TeguiakAJS #approach #design #incremental #model transformation #ontology
Incremental Design of Ontologies — A Model Transformation-based Approach (HVT, YAA, SJ, ÉS), pp. 94–103.
SEKESEKE-2010-EstradaMRP #modelling #specification #web #web service
Transforming Service-Oriented Business Models into Web Service Specifications (HE, IMR, AMR, OP), pp. 225–230.
SEKESEKE-2010-HuSW #architecture #model transformation #named
ISE — Integrated Service Engineering: Applying an Architecture for Model to Model Transformations (HH, GS, GW), pp. 452–457.
ECMFAECMFA-2010-KessentiniBSB #diagrams #heuristic #petri net #sequence chart #using
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search (MK, AB, HAS, MB), pp. 156–172.
ECMFAECMFA-2010-YueBL #approach #automation #case study #diagrams #process
An Automated Approach to Transform Use Cases into Activity Diagrams (TY, LCB, YL), pp. 337–353.
ICMTICMT-2010-CabotCGL #graph transformation #ocl #synthesis
Synthesis of OCL Pre-conditions for Graph Transformation Rules (JC, RC, EG, JdL), pp. 45–60.
ICMTICMT-2010-DiskinXC #bidirectional #model transformation
From State- to Delta-Based Bidirectional Model Transformations (ZD, YX, KC), pp. 61–76.
ICMTICMT-2010-FiorentiniMOP #approach #model transformation #testing
A Constructive Approach to Testing Model Transformations (CF, AM, MO, IP), pp. 77–92.
ICMTICMT-2010-GronmoM #diagrams #graph transformation #sequence chart #state machine
From Sequence Diagrams to State Machines by Graph Transformation (RG, BMP), pp. 93–107.
ICMTICMT-2010-HeidenreichKA #composition
Safe Composition of Transformations (FH, JK, UA), pp. 108–122.
ICMTICMT-2010-JouaultT #atl #execution #incremental #towards
Towards Incremental Execution of ATL Transformations (FJ, MT), pp. 123–137.
ICMTICMT-2010-LangerWK #model transformation
Model-to-Model Transformations By Demonstration (PL, MW, GK), pp. 153–167.
ICMTICMT-2010-Perez-CastilloGP #implementation #process #qvt
Implementing Business Process Recovery Patterns through QVT Transformations (RPC, IGRdG, MP), pp. 168–183.
ICMTICMT-2010-SyrianiKV
Exceptional Transformations (ES, JK, HV), pp. 199–214.
ICMTICMT-2010-TisiCJ #atl #higher-order
Improving Higher-Order Transformations Support in ATL (MT, JC, FJ), pp. 215–229.
MODELSMoDELS-v1-2010-ArendtBJKT #concept #emf #model transformation #named #tool support
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations (TA, EB, SJ, CK, GT), pp. 121–135.
MODELSMoDELS-v1-2010-GuerraLKPS #model transformation #named #product line
transML: A Family of Languages to Model Model Transformations (EG, JdL, DSK, RFP, OMdS), pp. 106–120.
MODELSMoDELS-v1-2010-KolovosRAPPB #emf #model transformation #using
Taming EMF and GMF Using Model Transformation (DSK, LMR, SbA, RFP, FACP, GB), pp. 211–225.
MODELSMoDELS-v1-2010-LucioBA #automation #model transformation #validation
A Technique for Automatic Validation of Model Transformations (LL, BB, VA), pp. 136–150.
MODELSMoDELS-v2-2010-GorpE #execution #java #modelling #process
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program (PVG, RE), pp. 258–272.
MODELSMoDELS-v2-2010-InsfranGA #design #development #guidelines #model transformation #quality
Design Guidelines for the Development of Quality-Driven Model Transformations (EI, JGH, SA), pp. 288–302.
MODELSMoDELS-v2-2010-KainzBSK #component #development #metamodelling #model transformation
Model-to-Metamodel Transformation for the Development of Component-Based Systems (GK, CB, SS, AK), pp. 391–405.
MODELSMoDELS-v2-2010-LanoR #model transformation #modelling #slicing #uml #using
Slicing of UML Models Using Model Transformations (KL, SKR), pp. 228–242.
MODELSMoDELS-v2-2010-RahmaniOD #owl
An Adjustable Transformation from OWL to Ecore (TR, DO, MD), pp. 243–257.
MODELSMoDELS-v2-2010-RicheVB #parallel
Transformation-Based Parallelization of Request-Processing Applications (TLR, HMV, DSB), pp. 2–16.
ECOOPECOOP-2010-DhooliaMSS #debugging #using
Debugging Model-Transformation Failures Using Dynamic Tainting (PD, SM, VSS, SS), pp. 26–51.
OOPSLAOOPSLA-2010-PurandareDE #monitoring #optimisation
Monitor optimization via stutter-equivalent loop transformation (RP, MBD, SGE), pp. 270–285.
LOPSTRLOPSTR-2010-Seki #induction #on the #proving
On Inductive Proofs by Extended Unfold/Fold Transformation Rules (HS), pp. 117–132.
QAPLQAPL-2010-NdukwuMc #abstraction #approach #independence #probability #source code
An expectation transformer approach to predicate abstraction and data independence for probabilistic programs (UN, AM), pp. 129–143.
PADLPADL-2010-AgarwalBGG #automation #program transformation
Automating Mathematical Program Transformations (AA, SB, AGG, IEG), pp. 134–148.
SACSAC-2010-AquinoVP #flexibility #modelling #user interface
Transformation templates: adding flexibility to model-driven engineering of user interfaces (NA, JV, OP), pp. 1195–1202.
SACSAC-2010-EtienMLB #independence #model transformation
Combining independent model transformations (AE, AM, TL, XB), pp. 2237–2243.
SACSAC-2010-SrivastavaM #framework
An APQC-PCF based framework to compare service offerings in business transformation projects (BS, PM), pp. 73–78.
SACSAC-2010-TangJ #c++ #concept #optimisation
Generic flow-sensitive optimizing transformations in C++ with concepts (XT, JJ), pp. 2111–2118.
LDTALDTA-2009-AndersenB10 #algebra
Syntactic Language Extension via an Algebra of Languages and Transformations (JA, CB), pp. 19–35.
LDTALDTA-2009-BaarsSV10
Typed Transformations of Typed Grammars: The Left Corner Transform (AIB, SDS, MV), pp. 51–64.
LDTALDTA-2010-HoldermansH #on the #program transformation #type system
On the rôle of minimal typing derivations in type-driven program transformation (SH, JH), p. 2.
SLESLE-2010-BarrocaLAFS #model transformation #named
DSLTrans: A Turing Incomplete Transformation Language (BB, LL, VA, RF, VS), pp. 296–305.
SLESLE-2010-BraatzB #algebra #domain-specific language #graph transformation #modelling #rdf
Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF (BB, CB), pp. 82–101.
SLESLE-2010-CicchettiREP #bidirectional #model transformation #named
JTL: A Bidirectional and Change Propagating Transformation Language (AC, DDR, RE, AP), pp. 183–202.
SPLCSPLC-2010-Beuche #legacy #product line
Transforming Legacy Systems into Software Product Lines (DB), pp. 509–510.
CCCC-2010-BurckhardtMS #memory management #modelling #verification
Verifying Local Transformations on Relaxed Memory Models (SB, MM, VS), pp. 104–123.
CCCC-2010-DingO #algorithm #representation #strict
Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values (SD, ), pp. 26–45.
PPoPPPPoPP-2010-JangMSDK #architecture #data transformation #parallel #thread
Data transformations enabling loop vectorization on multithreaded data parallel architectures (BJ, PM, DS, RD, DRK), pp. 353–354.
ICLPICLP-J-2010-PettorossiSP #infinity #logic programming #source code
Transformations of logic programs on infinite lists (AP, VS, MP), pp. 383–399.
ICSTICST-2010-AsztalosLL #automation #model transformation #towards #verification
Towards Automated, Formal Verification of Model Transformations (MA, LL, TL), pp. 15–24.
ICSTICST-2010-BruckerBKW #generative #policy #testing
Verified Firewall Policy Transformations for Test Case Generation (ADB, LB, PK, BW), pp. 345–354.
ICSTICST-2010-Rahimi #model transformation #specification #uml
Specification of UML Model Transformations (SKR), pp. 323–326.
IJCARIJCAR-2010-DunchevLLWP #proving
System Description: The Proof Transformation System CERES (TD, AL, TL, DW, BWP), pp. 427–433.
VMCAIVMCAI-2010-WachterZ #probability
Best Probabilistic Transformers (BW, LZ), pp. 362–379.
QoSAQoSA-2009-KavimandanG #model transformation #optimisation #realtime
Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems (AK, ASG), pp. 18–35.
DATEDATE-2009-BaumgartnerM #liveness #scalability
Scalable liveness checking via property-preserving transformations (JB, HM), pp. 1680–1685.
DATEDATE-2009-GuntoroG #flexibility #float
A flexible floating-point wavelet transform and wavelet packet processor (AG, MG), pp. 1314–1319.
ICDARICDAR-2009-ShivakumaraPT09a #detection #robust #video
A Robust Wavelet Transform Based Technique for Video Text Detection (PS, TQP, CLT), pp. 1285–1289.
ICDARICDAR-2009-WakaharaU #2d #composition #using
Hierarchical Decomposition of Handwriting Deformation Vector Field Using 2D Warping and Global/Local Affine Transformation (TW, SU), pp. 1141–1145.
SIGMODSIGMOD-2009-ElmonguiNR #framework #query #testing
A framework for testing query transformation rules (HGE, VRN, RR), pp. 257–268.
SIGMODSIGMOD-2009-ViegasW #data access #visualisation
Transforming data access through public visualization (FBV, MW), pp. 3–4.
VLDBVLDB-2009-ArasuCK #learning #string
Learning String Transformations From Examples (AA, SC, RK), pp. 514–525.
VLDBVLDB-2009-SternBB #performance #quality
A Wavelet Transform for Efficient Consolidation of Sensor Relations with Quality Guarantees (MS, EB, KB), pp. 157–168.
ITiCSEITiCSE-2009-MostromBEMSTZ #student
Computer science student transformations: changes and causes (JEM, JB, AE, RM, KS, LT, CZ), pp. 181–185.
ESOPESOP-2009-Jaskelioff #composition #monad
Modular Monad Transformers (MJ), pp. 64–79.
FASEFASE-2009-BoronatHM #logic #model transformation #semantics #verification
Rewriting Logic Semantics and Verification of Model Transformations (AB, RH, JM), pp. 18–33.
FASEFASE-2009-HermannEE #graph #inheritance #network #security
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks (FH, HE, CE), pp. 325–339.
FASEFASE-2009-OldevikHM #confluence #independence #product line
Confluence in Domain-Independent Product Line Transformations (JO, ØH, BMP), pp. 34–48.
ICSMEICSM-2009-JiaSYL #data transformation #difference #predict #question #set
Data transformation and attribute subset selection: Do they help make differences in software failure prediction? (HJ, FS, YY, QL), pp. 519–522.
SCAMSCAM-2009-LangeM #communication #csp #named #process #thread #towards
thr2csp: Toward Transforming Threads into Communicating Sequential Processes (RCL, SM), pp. 3–12.
PEPMPEPM-2009-Martel #precise #program transformation
Program transformation for numerical precision (MM), pp. 101–110.
PEPMPEPM-2009-MatsudaHT #type system #xml
Type-based specialization of xml transformations (KM, ZH, MT), pp. 61–72.
SASSAS-2009-DrapeV #matrix #obfuscation
Creating Transformations for Matrix Obfuscation (SD, IV), pp. 273–292.
STOCSTOC-2009-Liu #algorithm #quantum #using
Quantum algorithms using the curvelet transform (YKL), pp. 391–400.
DLTDLT-2009-RestivoR #word
Balanced Words Having Simple Burrows-Wheeler Transform (AR, GR), pp. 431–442.
IFMIFM-2009-LangariT #graph transformation #verification
Application of Graph Transformation in Verification of Dynamic Systems (ZL, RJT), pp. 261–276.
SEFMSEFM-2009-DangG #graph #metamodelling #modelling #precise
Precise Model-Driven Transformations Based on Graphs and Metamodels (DHD, MG), pp. 307–316.
ICFPICFP-2009-RompfMO #continuation #implementation #polymorphism
Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform (TR, IM, MO), pp. 317–328.
GT-VMTGT-VMT-2009-BergmannRV #graph transformation #incremental #parallel #pattern matching
Parallelization of Graph Transformation Based on Incremental Pattern Matching (GB, IR, DV), pp. 100–114.
GT-VMTGT-VMT-2009-EhrigEE #model transformation #refactoring
Refactoring of Model Transformations (HE, KE, CE), pp. 128–146.
GT-VMTGT-VMT-2009-EhrigHS #correctness #graph grammar #model transformation
Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions (HE, FH, CS), pp. 67–84.
GT-VMTGT-VMT-2009-Fish #diagrams
Euler Diagram Transformations (AF), pp. 50–66.
GT-VMTGT-VMT-2009-RensinkK #graph transformation
Repotting the Geraniums: On Nested Graph Transformation Rules (AR, JHK), pp. 23–37.
GT-VMTGT-VMT-2009-WestK #editing #framework #graph transformation #haskell #visualisation
A Generic Graph Transformation, Visualisation, and Editing Framework in Haskell (SW, WK), pp. 171–188.
HCIHCI-AUII-2009-MugelliniKPCD #framework #interactive
Generic Framework for Transforming Everyday Objects into Interactive Surfaces (EM, OAK, SP, SC, HCD), pp. 473–482.
HCIIDGD-2009-Morawczynski
Examining the Usage and Impact of Transformational M-Banking in Kenya (OM), pp. 495–504.
CIKMCIKM-2009-GongWO
Matching person names through name transformation (JG, LW, DWO), pp. 1875–1878.
CIKMCIKM-2009-ZhuWZ #learning
Label correspondence learning for part-of-speech annotation transformation (MZ, HW, JZ), pp. 1461–1464.
ICMLICML-2009-KunegisL #graph transformation #learning #predict
Learning spectral graph transformations for link prediction (JK, AL), pp. 561–568.
KDDKDD-2009-ZhuWKL #mining
Augmenting the generalized hough transform to enable the mining of petroglyphs (QZ, XW, EJK, SHL), pp. 1057–1066.
KDIRKDIR-2009-BruyneP #classification
2-class Eigen Transformation Classification Trees (SDB, FP), pp. 251–258.
KEODKEOD-2009-OliveiraTO #identification #image
Identifying the Cardiac Region in Images of Electrical Impedance Tomography through Wavelet Transform (JPdO, HT, NRSO), pp. 380–383.
KEODKEOD-2009-Svab-ZamazalSS #ontology
Pattern-based Ontology Transformation Service (OSZ, VS, FS), pp. 42–47.
KMISKMIS-2009-ArndtG #ubiquitous #xml
XML-based Course Material Transformations for Ubiquitous eLearning Applications (TA, AG), pp. 288–291.
SEKESEKE-2009-LucenaSSAC #modelling
Applying Transformation Rules to Improve i* Models (ML, CTLLS, ES, FMRA, JC), pp. 43–48.
SEKESEKE-2009-MomeniRSR #approach #graph transformation #network
A Graph Transformation-based Approach to Task Allocation in Wireless Sensor Actor Networks (HM, VR, MS, ATR), pp. 609–612.
SIGIRSIGIR-2009-LiSDZ #classification #sentiment
Knowledge transformation for cross-domain sentiment classification (TL, VS, CHQD, YZ), pp. 716–717.
SIGIRSIGIR-2009-XueC #query
Transforming patents into prior-art queries (XX, WBC), pp. 808–809.
ECMFAECMDA-FA-2009-GronmoMO #comparison #model transformation
Comparison of Three Model Transformation Languages (RG, BMP, GKO), pp. 2–17.
ECMFAECMDA-FA-2009-TisiJFCB #higher-order #model transformation #on the
On the Use of Higher-Order Model Transformations (MT, FJ, PF, SC, JB), pp. 18–33.
ICMTICMT-2009-AmstelLB #asf+sdf #metric #model transformation #quality #using
Using Metrics for Assessing the Quality of ASF+SDF Model Transformations (MvA, CFJL, MvdB), pp. 239–248.
ICMTICMT-2009-BergmannHRV #model transformation #pattern matching #performance
Efficient Model Transformations by Combining Pattern Matching Strategies (GB, ÁH, IR, DV), pp. 20–34.
ICMTICMT-2009-CzarneckiFHLST #bidirectional #perspective
Bidirectional Transformations: A Cross-Discipline Perspective (KC, JNF, ZH, RL, AS, JFT), pp. 260–283.
ICMTICMT-2009-FabroABJ #model transformation #using
Achieving Rule Interoperability Using Chains of Model Transformations (MDDF, PA, JB, FJ), pp. 249–259.
ICMTICMT-2009-Garcia-MagarinoGF #algorithm #generative #model transformation
Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages (IGM, JJGS, RFF), pp. 52–66.
ICMTICMT-2009-GronmoKM #graph transformation
A Collection Operator for Graph Transformation (RG, SK, BMP), pp. 67–82.
ICMTICMT-2009-GuerraLO #model transformation
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions (EG, JdL, FO), pp. 83–99.
ICMTICMT-2009-HillairetBL #model transformation #query
Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa (GH, FB, JYL), pp. 116–131.
ICMTICMT-2009-PetterBM #constraints #model transformation
Solving Constraints in Model Transformations (AP, AB, MM), pp. 132–147.
ICMTICMT-2009-SenBM #automation #generative #model transformation #testing
Automatic Model Generation Strategies for Model Transformation Testing (SS, BB, JMM), pp. 148–164.
ICMTICMT-2009-XiongSHT #bidirectional #model transformation #parallel
Supporting Parallel Updates with Bidirectional Model Transformations (YX, HS, ZH, MT), pp. 213–228.
MODELSMoDELS-2009-ChenouardJ #automation #constraints
Automatically Discovering Hidden Transformation Chaining Constraints (RC, FJ), pp. 92–106.
MODELSMoDELS-2009-EhrigEHP #correctness #graph grammar #model transformation #on the fly
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.
MODELSMoDELS-2009-GinerP #agile #development #model transformation #testing
Test-Driven Development of Model Transformations (PG, VP), pp. 748–752.
MODELSMoDELS-2009-JohannesZFCKP #composition
Abstracting Complex Languages through Transformation and Composition (JJ, SZ, MAF, AC, DSK, RFP), pp. 546–550.
MODELSMoDELS-2009-JurackT #concept #distributed #graph transformation #model transformation #towards #using
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
MODELSMoDELS-2009-KusterGZ #automation #development #incremental #model transformation #testing #using
Incremental Development of Model Transformation Chains Using Automated Testing (JMK, TG, OZ), pp. 733–747.
MODELSMoDELS-2009-MoiseevHS #approach #generative #implementation #ocl
Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages (RM, SH, MS), pp. 650–664.
MODELSMoDELS-2009-RathVV #model transformation
Change-Driven Model Transformations (IR, GV, DV), pp. 342–356.
MODELSMoDELS-2009-SunWG #model transformation
Model Transformation by Demonstration (YS, JW, JG), pp. 712–726.
MODELSMoDELS-2009-YieCWD #approach #evolution
An Approach for Evolving Transformation Chains (AY, RC, DW, DD), pp. 551–555.
MODELSMoDELS-2009-ChenouardJ #automation #constraints
Automatically Discovering Hidden Transformation Chaining Constraints (RC, FJ), pp. 92–106.
MODELSMoDELS-2009-EhrigEHP #correctness #graph grammar #model transformation #on the fly
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.
MODELSMoDELS-2009-GinerP #agile #development #model transformation #testing
Test-Driven Development of Model Transformations (PG, VP), pp. 748–752.
MODELSMoDELS-2009-JohannesZFCKP #composition
Abstracting Complex Languages through Transformation and Composition (JJ, SZ, MAF, AC, DSK, RFP), pp. 546–550.
MODELSMoDELS-2009-JurackT #concept #distributed #graph transformation #model transformation #towards #using
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
MODELSMoDELS-2009-KusterGZ #automation #development #incremental #model transformation #testing #using
Incremental Development of Model Transformation Chains Using Automated Testing (JMK, TG, OZ), pp. 733–747.
MODELSMoDELS-2009-MoiseevHS #approach #generative #implementation #ocl
Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages (RM, SH, MS), pp. 650–664.
MODELSMoDELS-2009-RathVV #model transformation
Change-Driven Model Transformations (IR, GV, DV), pp. 342–356.
MODELSMoDELS-2009-SunWG #model transformation
Model Transformation by Demonstration (YS, JW, JG), pp. 712–726.
MODELSMoDELS-2009-YieCWD #approach #evolution
An Approach for Evolving Transformation Chains (AY, RC, DW, DD), pp. 551–555.
OOPSLAOOPSLA-2009-NandaMSS #approach #automation #model transformation
Demystifying model transformations: an approach based on automated rule inference (MGN, SM, VSS, SS), pp. 341–360.
OOPSLAOOPSLA-2009-SongT #program transformation #programming #tool support
Enhancing source-level programming tools with an awareness of transparent program transformations (MS, ET), pp. 301–320.
GPCEGPCE-2009-Cordy #domain-specific language #generative
Eating our own dog food: DSLs for generative and transformational engineering (JRC), pp. 3–4.
GPCEGPCE-2009-LiuGS #framework #invariant
A language and framework for invariant-driven transformations (YAL, MG, SDS), pp. 55–64.
GPCEGPCE-2009-McGacheyHM #java #pervasive
Classifying Java class transformations for pervasive virtualized access (PM, ALH, JEBM), pp. 75–84.
GPCEGPCE-2009-WillcockLQ #analysis #reuse
Reusable, generic program analyses and transformations (JW, AL, DJQ), pp. 5–14.
LOPSTRLOPSTR-2009-PettorossiPS #branch #logic #program transformation
Deciding Full Branching Time Logic by Program Transformation (AP, MP, VS), pp. 5–21.
LOPSTRLOPSTR-2009-PilozziSB #approach #constraints #proving
A Transformational Approach for Proving Properties of the CHR Constraint Store (PP, TS, MB), pp. 22–36.
LOPSTRLOPSTR-2009-Seki #induction #on the #proving
On Inductive and Coinductive Proofs via Unfold/Fold Transformations (HS), pp. 82–96.
PPDPPPDP-2009-BentonKBH #higher-order #program transformation #relational #semantics
Relational semantics for effect-based program transformations: higher-order store (NB, AK, LB, MH), pp. 301–312.
PPDPPPDP-2009-Tarau #data transformation #declarative #embedded #model transformation
An embedded declarative data transformation language (PT), pp. 171–182.
PADLPADL-2009-GuzmanCH #execution #program transformation #towards
Towards a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 224–238.
RERE-2009-DecreusSP #challenge #modelling #process
Practical Challenges for Methods Transforming i* Goal Models into Business Process Models (KD, MS, GP), pp. 15–23.
SACSAC-2009-HeinenE #2d #evaluation #modelling #similarity #visual notation
Evaluation of visual attention models under 2D similarity transformations (MRH, PME), pp. 1156–1160.
SACSAC-2009-HidakaHKN #approach #composition #development #model transformation #towards
Towards a compositional approach to model transformation for software development (SH, ZH, HK, KN), pp. 468–475.
GTTSEGTTSE-2009-DinizC #architecture #configuration management #embedded #program transformation
Code Transformations for Embedded Reconfigurable Computing Architectures (PCD, JMPC), pp. 322–344.
GTTSEGTTSE-2009-FritzscheG #model management #model transformation #performance
Model Transformation Chains and Model Management for End-to-End Performance Decision Support (MF, WG), pp. 345–363.
ICSEICSE-2009-GhezziMM #behaviour #graph transformation #modelling
Synthesizing intensional behavior models by graph transformation (CG, AM, MM), pp. 430–440.
LDTALDTA-2008-BaggeH09 #axiom #optimisation #testing
Axiom-Based Transformations: Optimisation and Testing (AHB, MH), pp. 17–33.
SLESLE-2009-Cordy #domain-specific language #generative
Eating Our Own Dog Food: DSLs for Generative and Transformational Engineering (JRC), p. 1.
SLESLE-2009-IrazabalP #data type #model transformation #modelling
Model Transformation Languages Relying on Models as ADTs (JI, CP), pp. 133–143.
SLESLE-2009-KalninaKCS #synthesis #visual notation
Graphical Template Language for Transformation Synthesis (EK, AK, EC, AS), pp. 244–253.
SLESLE-2009-LevendovszkyBNK #approach #automation #domain-specific language #evolution #model transformation #novel
A Novel Approach to Semi-automated Evolution of DSML Model Transformation (TL, DB, AN, GK), pp. 23–41.
SPLCSPLC-2009-Beuche #legacy #product line
Transforming legacy systems into software product lines (DB), p. 321.
SPLCSPLC-2009-CetinaHZFP #runtime #variability
Strategies for variability transformation at run-time (CC, ØH, XZ, FF, VP), pp. 61–70.
ASPLOSASPLOS-2009-AleenC #analysis #commutative #parallel #program transformation
Commutativity analysis for software parallelization: letting program transformations see the big picture (FA, NC), pp. 241–252.
CCCC-2009-BieniusaT #continuation #how #monad
How to CPS Transform a Monad (AB, PT), pp. 266–280.
CGOCGO-2009-VoronenkoMP #generative #library #linear
Computer Generation of General Size Linear Transform Libraries (YV, FdM, MP), pp. 102–113.
ICLPICLP-2009-Raiser #constraints #graph transformation #research #summary #using
Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules (Research Summary) (FR), pp. 540–541.
ICSTICST-2009-MouelhiTB #functional #policy #security #testing
Transforming and Selecting Functional Test Cases for Security Policy Testing (TM, YLT, BB), pp. 171–180.
RTARTA-2009-DuvalEP #approach #category theory #graph transformation
A Heterogeneous Pushout Approach to Term-Graph Transformation (DD, RE, FP), pp. 194–208.
FATESTestCom-FATES-2009-GuoDW #erlang #source code #testing
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs (QG, JD, NW), pp. 81–96.
ECSAECSA-2008-GilsonEM #approach #architecture #design #distributed #scalability
A Large Scope Transformational Approach for Distributed Architecture Design (FG, VE, RM), pp. 330–333.
QoSAQoSA-2008-MalletR #analysis #distributed #model transformation
Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems (JM, SR), pp. 55–70.
DACDAC-2008-MilderFHP #implementation #representation
Formal datapath representation and manipulation for implementing DSP transforms (PAM, FF, JCH, MP), pp. 385–390.
DACDAC-2008-PangR #fixpoint #optimisation
Optimizing imprecise fixed-point arithmetic circuits specified by Taylor Series through arithmetic transform (YP, KR), pp. 397–402.
DATEDATE-2008-KoenigSB #algorithm #novel #recursion
A Novel Recursive Algorithm for Bit-Efficient Realization of Arbitrary Length Inverse Modified Cosine Transforms (RK, TS, JB), pp. 604–609.
DocEngDocEng-2008-CesarBJPB #adaptation #multi
Multimedia content transformation: fragmentation, enrichment, and adaptation (PC, DCAB, JJ, MdGCP, SDJB), pp. 1–2.
SIGMODSIGMOD-2008-ArasuCGK #string
Incorporating string transformations in record matching (AA, SC, KG, RK), pp. 1231–1234.
CSMRCSMR-2008-SiikarlaS #interactive #model transformation #reuse
Decision Reuse in an Interactive Model Transformation (MS, TS), pp. 123–132.
SCAMSCAM-2008-CeccatoDT #legacy #program transformation #using
Using Program Transformations to Add Structure to a Legacy Data Model (MC, TRD, PT), pp. 197–206.
SCAMSCAM-2008-GorbovitskiTRSL #analysis #debugging #performance
Analysis and Transformations for Efficient Query-Based Debugging (MG, KTT, TR, SDS, YAL), pp. 174–183.
WCREWCRE-2008-Muliawan #higher-order #model transformation #using
Extending a Model Transformation Language Using Higher Order Transformations (OM), pp. 315–318.
SASSAS-2008-GiacobazziM #abstract interpretation
Transforming Abstract Interpretations by Abstract Interpretation (RG, IM), pp. 1–17.
CIAACIAA-2008-Maletti
Tree-Series-to-Tree-Series Transformations (AM), pp. 132–140.
LATALATA-2008-Becker #self
Transformations and Preservation of Self-assembly Dynamics through Homotheties (FB), pp. 101–112.
SEFMSEFM-2008-GeihsBRW #automation #model transformation #ontology
Ontology-Based Automatic Model Transformations (KG, PAB, RR, JW), pp. 387–391.
IFLIFL-2008-Jaskelioff #library #monad #named
Monatron: An Extensible Monad Transformer Library (MJ), pp. 233–248.
GT-VMTGT-VMT-2006-DarabosPV08 #graph transformation #implementation #testing #towards
Towards Testing the Implementation of Graph Transformations (AD, AP, DV), pp. 75–85.
GT-VMTGT-VMT-2006-KoehlerHKRVW08 #development #model transformation #modelling #visual notation
The Role of Visual Modeling and Model Transformations in Business-driven Development (JK, RH, JMK, KR, JV, MW), pp. 5–15.
GT-VMTGT-VMT-2006-KonigK08 #analysis #graph transformation
Augur 2 — A New Version of a Tool for the Analysis of Graph Transformation Systems (BK, VK), pp. 201–210.
GT-VMTGT-VMT-2006-LambersEO08 #detection #graph transformation #performance
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (LL, HE, FO), pp. 17–26.
GT-VMTGT-VMT-2006-Lanese08 #graph transformation
Exploiting User-definable Synchronizations in Graph Transformation (IL), pp. 27–38.
GT-VMTGT-VMT-2006-MinasH08 #graph transformation #programming
An Example of Cloning Graph Transformation Rules for Programming (MM, BH), pp. 241–250.
GT-VMTGT-VMT-2006-NarayananK08 #model transformation #towards #verification
Towards Verifying Model Transformations (AN, GK), pp. 191–200.
GT-VMTGT-VMT-2006-RensinkN08 #graph transformation #qvt #semantics
Graph Transformation Semantics for a QVT Language (AR, RN), pp. 51–62.
GT-VMTGT-VMT-2006-SiikarlaS08 #assembly
Transformational Pattern System — Some Assembly Required (MS, TS), pp. 63–74.
GT-VMTGT-VMT-2006-Varro08 #database #graph transformation #implementation #independence #plugin #query #using
Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries (GV), pp. 121–132.
GT-VMTGT-VMT-2006-Willink08 #approach #challenge #on the #visual notation
On Challenges for a Graphical Transformation Notation and the UMLX Approach (EDW), pp. 171–179.
GT-VCGT-VC-2007-BaresiRRS08 #graph transformation #model checking #performance
An Efficient Solution for Model Checking Graph Transformation Systems (LB, VR, ATR, PS), pp. 3–21.
GT-VCGT-VC-2007-Bruggink08 #graph transformation #proving #termination #towards
Towards a Systematic Method for Proving Termination of Graph Transformation Systems (HJSB), pp. 23–38.
GT-VCGT-VC-2007-ErmelE08 #animation #behaviour
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (CE, HE), pp. 55–74.
GT-VMTGT-VMT-2008-BaresiGMM #abstraction #graph transformation #using #verification
Using Graph Transformation Systems to Specify and Verify Data Abstractions (LB, CG, AM, MM).
GT-VMTGT-VMT-2008-BiermannM #analysis #configuration management #independence #rule-based
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets (EB, TM).
GT-VMTGT-VMT-2008-BraatzB #framework #graph transformation
Graph Transformations for the Resource Description Framework (BB, CB).
GT-VMTGT-VMT-2008-EhrigEH #algebra #approach #graph grammar #integration #model transformation
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars (HE, KE, FH).
GT-VMTGT-VMT-2008-GrabskaSL #design #graph transformation #reasoning #visual notation
Visual Design and Reasoning with the Use of Hypergraph Transformations (EG, GMS, TLL).
GT-VMTGT-VMT-2008-Gruner #graph transformation #mobile #network
Graph Transformation Model of a Triangulated Network of Mobile Units (SG).
GT-VMTGT-VMT-2008-KumarM #automaton #sequence chart #verification
Improving Live Sequence Chart to Automata Transformation for Verification (RK, EGM).
GT-VMTGT-VMT-2008-NarayananK #model transformation #verification
Verifying Model Transformations by Structural Correspondence (AN, GK).
ICGTICGT-2008-BergmannHRV #benchmark #evaluation #graph transformation #incremental #metric #pattern matching
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation (GB, ÁH, IR, DV), pp. 396–410.
ICGTICGT-2008-EhrigE #correctness #graph #model transformation #semantics #using
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation (HE, CE), pp. 194–210.
ICGTICGT-2008-EhrigP #analysis #formal method #graph #kernel #model transformation
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels (HE, UP), pp. 178–193.
ICGTICGT-2008-Gorp #development #model transformation #modelling
Model-Driven Development of Model Transformations (PVG), pp. 517–519.
ICGTICGT-2008-Heckel #graph transformation #tutorial
Tutorial Introduction to Graph Transformation (RH), pp. 458–459.
ICGTICGT-2008-Horvath #approach #graph transformation #towards #verification
Towards a Two Layered Verification Approach for Compiled Graph Transformation (ÁH), pp. 499–501.
ICGTICGT-2008-Khan #analysis #configuration management #graph transformation #modelling #network #using
Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems (AK), pp. 502–504.
ICGTICGT-2008-KonigK #graph transformation #towards #verification
Towards the Verification of Attributed Graph Transformation Systems (BK, VK), pp. 305–320.
ICGTICGT-2008-KreowskiK #framework #graph #parallel
Graph Multiset Transformation as a Framework for Massively Parallel Computation (HJK, SK), pp. 351–365.
ICGTICGT-2008-LambersEPO #confluence #graph transformation
Embedding and Confluence of Graph Transformations with Negative Application Conditions (LL, HE, UP, FO), pp. 162–177.
ICGTICGT-2008-LaraG #model transformation
Pattern-Based Model-to-Model Transformation (JdL, EG), pp. 426–441.
ICGTICGT-2008-Pennemann08a #development #graph transformation
Development of Correct Graph Transformation Systems (KHP), pp. 508–510.
ICGTICGT-2008-PoudretACG #graph transformation #modelling
Graph Transformation for Topology Modelling (MP, AA, JPC, PLG), pp. 147–161.
ICGTICGT-2008-RangelLKEB #behaviour #refactoring #using
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (GR, LL, BK, HE, PB), pp. 242–256.
ICGTICGT-2008-Stevens #algebra #bidirectional #towards
Towards an Algebraic Theory of Bidirectional Transformations (PS), pp. 1–17.
ICGTICGT-2008-Weinell #graph
Transformation-Based Operationalization of Graph Languages (EW), pp. 520–522.
ICGTICGT-2008-YuH #graph transformation #query #semantics #web
Graph Transformation for the Semantic Web: Queries and Inference Rules (HY, YH), pp. 511–513.
EDOCEDOC-2008-KavimandanKG #automation #enterprise #model transformation #synthesis #using #workflow
Automated Context-Sensitive Dialog Synthesis for Enterprise Workflows Using Templatized Model Transformations (AK, RK, ASG), pp. 159–168.
ICEISICEIS-DISI-2008-MoraGRPBGCR #metric #qvt #using
Software Measurement by Using QVT Transformations in an MDA Context (BM, FG, FR, MP, AB, AG, JÁC, IR), pp. 117–124.
ICEISICEIS-ISAS2-2008-HammoudiAL #architecture #automation #process #towards
Towards a Semi-Automatic Transformation Process in MDA — Architecture and Methodology (SH, WA, DL), pp. 416–425.
ICEISICEIS-J-2008-DroopFGGLPSSSSZ08a #rdf #semantics #web #xml #xpath
Bringing the XML and Semantic Web Worlds Closer: Transforming XML into RDF and Embedding XPath into SPARQL (MD, MF, JG, SG, VL, JP, FS, MS, FS, HS, SZ), pp. 31–45.
CIKMCIKM-2008-NguyenS08a #correlation #order #query #rank
Polyhedral transformation for indexed rank order correlation queries (PN, NS), pp. 1477–1478.
ICPRICPR-2008-ChoeRLH #image #video
Image transformation for object tracking in high-resolution video (TEC, KR, MWL, NH), pp. 1–4.
ICPRICPR-2008-Coeurjolly #distance
Distance transformation, reverse distance transformation and discrete medial axis on toric spaces (DC), pp. 1–4.
ICPRICPR-2008-Dahyot #classification #statistics
Bayesian classification for the Statistical Hough transform (RD), pp. 1–4.
ICPRICPR-2008-Falcon-MoralesB #algebra #geometry
Radon transform and Conformal Geometric Algebra with lines (LFM, EBC), pp. 1–4.
ICPRICPR-2008-GrundmannME #3d #distance #recognition
3D Shape Context and Distance Transform for action recognition (MG, FM, IAE), pp. 1–4.
ICPRICPR-2008-JiaDQA #3d #estimation #metric #using
Directionality measurement and illumination estimation of 3D surface textures by using mojette transform (PJ, JD, LQ, FA), pp. 1–4.
ICPRICPR-2008-KauffmannP #automaton #gpu
Cellular automaton for ultra-fast watershed transform on GPU (CK, NP), pp. 1–4.
ICPRICPR-2008-KokiopoulouPF #classification #graph #multi
Graph-based classification for multiple observations of transformed patterns (EK, SP, PF), pp. 1–4.
ICPRICPR-2008-MakiharaY #segmentation
Silhouette extraction based on iterative spatio-temporal local color transformation and graph-cut segmentation (YM, YY), pp. 1–4.
ICPRICPR-2008-NohHL #analysis #invariant #recognition
Regularized discriminant analysis for transformation-invariant object recognition (YKN, JH, DDL), pp. 1–5.
ICPRICPR-2008-NorellL #distance #image
Spatially-variant morphological operations on binary images based on the polar distance transform (KN, JL), pp. 1–4.
ICPRICPR-2008-PalanderB #geometry
Epipolar geometry and log-polar transform in wide baseline stereo matching (KP, SSB), pp. 1–4.
ICPRICPR-2008-ParkPBB #invariant #named
pi-SIFT: A photometric and Scale Invariant Feature Transform (JHP, KWP, SHB, MB), pp. 1–4.
ICPRICPR-2008-QiSYY #distance
Contour grouping with shape manifold and distance transform (QZ, SL, YH, YL), pp. 1–4.
ICPRICPR-2008-QuQY #learning
Learning a discriminative sparse tri-value transform (ZQ, GQ, PCY), pp. 1–4.
ICPRICPR-2008-RothausJ #clustering #distance #graph #novel
Constrained clustering by a novel graph-based distance transformation (KR, XJ), pp. 1–4.
ICPRICPR-2008-TabboneTB #retrieval
Histogram of radon transform. A useful descriptor for shape retrieval (ST, ORT, SB), pp. 1–4.
SEKESEKE-2008-AltahatET #analysis #detection #diagrams #graph transformation #interactive #uml
Applying Critical Pair Analysis in Graph Transformation Systems to Detect Syntactic Aspect Interaction in UML State Diagrams (ZA, TE, LT), pp. 905–911.
SEKESEKE-2008-ChangZIMT #agile #prototype
Transformations for Rapid Prototyping of Time-critical Applications (SKC, ZZ, CJI, PM, VT), pp. 4–15.
SEKESEKE-2008-DezhkamS #design #diagrams
Knowledge Transformation from Task Scenarios to View-based Design Diagrams (ND, KS), pp. 26–32.
SEKESEKE-2008-Fuad #architecture #distributed #program transformation #self
Code Transformation Techniques and Management Architecture for Self-manageable Distributed Applications (MMF), pp. 315–320.
SIGIRSIGIR-2008-LiDZS #documentation #word
Knowledge transformation from word space to document space (TL, CHQD, YZ, BS), pp. 187–194.
BXBX-2008-Bezivin #modelling
Models and Transformations Short Talk 1 (JB), p. 22.
BXBX-2008-Czarnecki1 #bidirectional #modelling
Bidirectional Transformations for Framework-Specific Modeling Languages (KC), p. 45.
BXBX-2008-Hidaka1 #bidirectional #graph transformation #using
Bidirectional Graph Transformation using UnCAL (SH), p. 43.
BXBX-2008-Laemmel1
A Suite for Coupled Grammar Transformations (RL), p. 39.
BXBX-2008-Nakano1 #model transformation
Typechecking Model Transformation (KN), p. 50.
BXBX-2008-Pierantonio1 #co-evolution #model transformation
Change Propagation in Model Transformation (AP), p. 49.
BXBX-2008-Ruscio #modelling
Models and Transformations Short Talk 2 (DDR), p. 23.
BXBX-2008-Song #modelling
Models and Transformations Short Talk 6 (HS), p. 27.
BXBX-2008-Terwilliger #modelling
Models and Transformations Short Talk 5 (JT), p. 26.
BXBX-2008-Vallecillo #modelling
Models and Transformations Short Talk 3 (AV), p. 24.
BXBX-2008-Voigtlaender1 #bidirectional #theorem
Free Theorems and Bidirectional Transformations (JV), p. 30.
BXBX-2008-Wang1 #abstraction #bidirectional
Translucent Abstraction: Safe Views Through Bidirectional Transformations (MW), p. 41.
BXBX-2008-Wasowski #modelling
Models and Transformations Short Talk 4 (AW), p. 25.
BXBX-2008-Xiong #modelling
Models and Transformations Short Talk 7 (YX), p. 28.
ECMFAECMDA-FA-2008-EngelsKRSSW #behaviour #model transformation #process #towards #uml
From UML Activities to TAAL — Towards Behaviour-Preserving Model Transformations (GE, AK, AR, MS, CS, HW), pp. 94–109.
ECMFAECMDA-FA-2008-PilgrimVSB #visualisation
Constructing and Visualizing Transformation Chains (JvP, BV, ISG, YB), pp. 17–32.
ICMTICMT-2008-AmstelBPV #algebra #modelling #process #question #semantic gap #state machine #uml
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? (MvA, MvdB, ZP, TV), pp. 61–75.
ICMTICMT-2008-CabotCGL #graph transformation #ocl
Analysing Graph Transformation Rules through OCL (JC, RC, EG, JdL), pp. 229–244.
ICMTICMT-2008-CuadradoM #composition #model transformation #reuse
Approaches for Model Transformation Reuse: Factorization and Composition (JSC, JGM), pp. 168–182.
ICMTICMT-2008-FreemanBL #case study #modelling #product line
Lifting Transformational Models of Product Lines: A Case Study (GF, DSB, RGL), pp. 16–30.
ICMTICMT-2008-HemelKV #code generation #model transformation
Code Generation by Model Transformation (ZH, LCLK, EV), pp. 183–198.
ICMTICMT-2008-KolovosPP #model transformation
The Epsilon Transformation Language (DSK, RFP, FP), pp. 46–60.
ICMTICMT-2008-Kurtev #model transformation
Application of Reflection in Model Transformation Languages (IK), pp. 199–213.
ICMTICMT-2008-Poernomo
Proofs-as-Model-Transformations (IP), pp. 214–228.
ICMTICMT-2008-RathBOV #incremental #model transformation #pattern matching
Live Model Transformations Driven by Incremental Pattern Matching (IR, GB, , DV), pp. 107–121.
ICMTICMT-2008-SiikarlaLSS #rest
Transformations Have to be Developed ReST Assured (MS, ML, PS, TS), pp. 1–15.
ICMTICMT-2008-VignagaPB #contract #interactive #model transformation #using
Extracting Object Interactions Out of Software Contracts Using Model Transformations (AV, DP, MCB), pp. 245–259.
ICMTICMT-2008-Wagelaar #composition #model transformation #rule-based
Composition Techniques for Rule-Based Model Transformation Languages (DW), pp. 152–167.
MODELSMoDELS-2008-BiermannET #emf #graph transformation #model transformation #precise #semantics
Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
MODELSMoDELS-2008-CabotCGL #analysis #declarative #invariant #model transformation
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.
MODELSMoDELS-2008-FalleriHLN #automation #generative #metamodelling #model transformation
Metamodel Matching for Automatic Model Transformation Generation (JRF, MH, ML, CN), pp. 326–340.
MODELSMoDELS-2008-KessentiniSB #model transformation #optimisation #problem
Model Transformation as an Optimization Problem (MK, HAS, MB), pp. 159–173.
MODELSMoDELS-2008-RobbesL #program transformation
Example-Based Program Transformation (RR, ML), pp. 174–188.
MODELSMoDELS-2008-SanchezFSHU #aspect-oriented #composition #model transformation #weaving
Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation (PS, LF, DS, SH, RU), pp. 766–781.
MODELSMoDELS-2008-BiermannET #emf #graph transformation #model transformation #precise #semantics
Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.
MODELSMoDELS-2008-CabotCGL #analysis #declarative #invariant #model transformation
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.
MODELSMoDELS-2008-FalleriHLN #automation #generative #metamodelling #model transformation
Metamodel Matching for Automatic Model Transformation Generation (JRF, MH, ML, CN), pp. 326–340.
MODELSMoDELS-2008-KessentiniSB #model transformation #optimisation #problem
Model Transformation as an Optimization Problem (MK, HAS, MB), pp. 159–173.
MODELSMoDELS-2008-RobbesL #program transformation
Example-Based Program Transformation (RR, ML), pp. 174–188.
MODELSMoDELS-2008-SanchezFSHU #aspect-oriented #composition #model transformation #weaving
Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation (PS, LF, DS, SH, RU), pp. 766–781.
ECOOPECOOP-2008-SevcikA #java #memory management #on the #program transformation
On Validity of Program Transformations in the Java Memory Model (JS, DA), pp. 27–51.
OOPSLAOOPSLA-2008-TanseyT #legacy #refactoring
Annotation refactoring: inferring upgrade transformations for legacy applications (WT, ET), pp. 295–312.
TOOLSTOOLS-EUROPE-2008-CohenGM #program transformation #using
Guarded Program Transformations Using JTL (TC, JYG, IM), pp. 100–120.
TOOLSTOOLS-EUROPE-2008-NordioMM #compilation #eiffel #source code
Proof-Transforming Compilation of Eiffel Programs (MN, PM, BM), pp. 316–335.
TOOLSTOOLS-EUROPE-2008-StrommerW #concept #framework #model transformation #tool support
A Framework for Model Transformation By-Example: Concepts and Tool Support (MS, MW), pp. 372–391.
LOPSTRLOPSTR-2008-ArroyoRTV #approach #functional #higher-order #source code
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs (GA, JGR, ST, GV), pp. 40–54.
RERE-2008-ZowghiC #experience #requirements
Transforming the Requirements Engineering Classroom Experience (DZ, JCH), p. 297.
REFSQREFSQ-2008-GotelM #traceability
Macro-level Traceability Via Media Transformations (OG, SJM), pp. 129–134.
SACSAC-2008-Deba #approach #model transformation #modelling #on the #transducer
On the conformity of models: a transducer-based approach for model transformation (EAD), pp. 791–796.
SACSAC-2008-GrovPMI #component #concurrent #coordination
Preserving coordination properties when transforming concurrent system components (GG, RFP, GM, AI), pp. 126–127.
SACSAC-2008-PlasMW #multi
Discrete wavelet transform-based multivariate exploration of tissue via imaging mass spectrometry (RVdP, BDM, EW), pp. 1307–1308.
ATEMATEM-J-2006-AmelunxenS #formal method #model transformation #uml
Formalising model transformation rules for UML/MOF 2 (CA, AS), pp. 204–222.
LDTALDTA-2007-KallebergV08 #compilation #model transformation
Fusing a Transformation Language with an Open Compiler (KTK, EV), pp. 21–36.
SLESLE-2008-FritzscheJAMGSBK #automation #embedded #model transformation #modelling
Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains (MF, JJ, UA, SM, WG, ITAS, TJB, PK), pp. 134–150.
SLESLE-2008-GorpKJ #higher-order #integration #model transformation
Transformation Language Integration Based on Profiles and Higher Order Transformations (PVG, AK, DJ), pp. 208–226.
SLESLE-2008-LiangD #evaluation #model transformation #txl #using
A Practical Evaluation of Using TXL for Model Transformation (HL, JD), pp. 245–264.
SLESLE-2008-Schatz #emf #formal method #modelling #rule-based
Formalization and Rule-Based Transformation of EMF Ecore-Based Models (BS), pp. 227–244.
SPLCSPLC-2008-Beuche08a #legacy #product line
Transforming Legacy Systems into Software Product Lines (DB), p. 377.
SPLCSPLC-2008-BragancaM #development #modelling #multi
Transformation Patterns for Multi-staged Model Driven Software Development (AB, RJM), pp. 329–338.
CCCC-2008-BondhugulaBKRRS #automation #locality #optimisation #parallel
Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model (UB, MMB, SK, JR, AR, PS), pp. 132–146.
CCCC-2008-NitaG #automation #c #multi
Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts (MN, DG), pp. 85–99.
CAVCAV-2008-JoshiK #graph transformation #theorem #verification
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems (SJ, BK), pp. 214–226.
CSLCSL-2008-Thomas #decidability #model transformation #monad #proving
Model Transformations in Decidability Proofs for Monadic Theories (WT), pp. 23–31.
ICLPICLP-2008-GuzmanCH #execution #program transformation #sketching
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 795–800.
ICSTICST-2008-SenBM #model transformation #modelling #multi #on the #testing
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing (SS, BB, JMM), pp. 328–337.
ECSAECSA-2007-MansetVM #architecture #grid #model transformation
Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations (DM, HV, RM), pp. 308–312.
ASEASE-2007-NakagawaTH #approach #generative #model transformation #modelling #requirements #specification
Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models (HN, KT, SH), pp. 531–532.
ASEASE-2007-NaslavskyZR #model transformation #modelling #testing #towards
Towards leveraging model transformation to support model-based testing (LN, HZ, DJR), pp. 509–512.
ASEASE-2007-XiongLHZTM #automation #model transformation #towards
Towards automatic model synchronization from model transformations (YX, DL, ZH, HZ, MT, HM), pp. 164–173.
CASECASE-2007-CabasinoGMRSS #estimation #petri net
State Estimation of Petri Nets by Transformation (MPC, AG, CM, LR, CS, MS), pp. 194–199.
CASECASE-2007-YeMY #2d #identification #metric
Information Measures for Biometric Identification via 2D Discrete Wavelet Transform (ZY, HM, YY), pp. 835–840.
DACDAC-2007-SeomunKS
Skewed Flip-Flop Transformation for Minimizing Leakage in Sequential Circuits (JS, JK, YS), pp. 103–106.
DATEDATE-2007-CiesielskiAGGB #data flow #diagrams #using
Data-flow transformations using Taylor expansion diagrams (MJC, SA, DGP, JG, EB), pp. 455–460.
DATEDATE-2007-KraemerLAM #interactive #parallel #program transformation #source code #using
Interactive presentation: SoftSIMD — exploiting subword parallelism using source code transformations (SK, RL, GA, HM), pp. 1349–1354.
DATEDATE-2007-MeijerKTK #interactive #network #process
Interactive presentation: A process splitting transformation for Kahn process networks (SM, BK, AT, EAdK), pp. 1355–1360.
DocEngDocEng-2007-BlouinB #documentation #paradigm
Mapping paradigm for document transformation (AB, OB), pp. 219–221.
DocEngDocEng-2007-NanardNKG #documentation #incremental #multi
Genre driven multimedia document production by means of incremental transformation (MN, JN, PRK, LG), pp. 111–120.
DocEngDocEng-2007-PuginI #semantics
Combination of transformation and schema languages described by a complete formal semantics (CP, RI), pp. 222–224.
HTHT-2007-KehoeP #speech #synthesis #topic
Transforming DITA topics for speech synthesis output (AK, IJP), pp. 147–148.
ICDARICDAR-2007-AmorA #approach #multi
An Approach for Multifont Arabic Characters Features Extraction Based on Contourlet Transform (NBA, NEBA), pp. 1048–1052.
ICDARICDAR-2007-Hotta #classification #pattern matching #pattern recognition #recognition
Transform-Invariance in Local Averaging Classifier for Handwritten Digit Pattern Recognition (SH), pp. 347–351.
ICDARICDAR-2007-JinZ #synthesis #using
Synthesis of Chinese Character Using Affine Transformation (LJ, XZ), pp. 218–222.
ICDARICDAR-2007-LouloudisGH #approach #detection #documentation #using
Text Line Detection in Unconstrained Handwritten Documents Using a Block-Based Hough Transform Approach (GL, BG, CH), pp. 599–603.
ICDARICDAR-2007-ToujAA #segmentation #using
Two Approaches for Arabic Script Recognition-Based Segmentation Using the Hough Transform (ST, NEBA, HA), pp. 654–658.
PODSPODS-2007-EngelfrietHS #transducer #xml
XML transformation by tree-walking transducers with invisible pebbles (JE, HJH, BS), pp. 63–72.
ITiCSEITiCSE-2007-RavehHY #student
Transforming a high school student project in computer science into a significant scientific achievement (BR, BH, CY), p. 331.
FASEFASE-2007-EhrigEEHT #bidirectional #model transformation
Information Preserving Bidirectional Model Transformations (HE, KE, CE, FH, GT), pp. 72–86.
FASEFASE-2007-RangerH #consistency #distributed #graph transformation
Ensuring Consistency Within Distributed Graph Transformation Systems (UR, TH), pp. 368–382.
TACASTACAS-2007-AnandOH #analysis #execution #program transformation #symbolic computation
Type-Dependence Analysis and Program Transformation for Symbolic Execution (SA, AO, MJH), pp. 117–133.
WCREWCRE-J-2005-AkersBMEL07 #automation #c++ #case study #component #modelling #program transformation #re-engineering
Case study: Re-engineering C++ component models via automatic program transformation (RLA, IDB, MM, BJE, KRL), pp. 275–291.
ICSMEICSM-2007-Bruntink #analysis #legacy
Analysis and Transformation of Idiomatic Crosscutting Concerns in Legacy Software Systems (MB), pp. 499–500.
PEPMPEPM-2007-CunhaV #query #source code #xpath
Transformation of structure-shy programs: applied to XPath queries and strategic functions (AC, JV), pp. 11–20.
SASSAS-2007-Martel #semantics
Semantics-Based Transformation of Arithmetic Expressions (MM), pp. 298–314.
SASSAS-2007-PayetS #analysis #bytecode #java
Magic-Sets Transformation for the Analysis of Java Bytecode (ÉP, FS), pp. 452–467.
ICALPICALP-2007-BellareR #design
Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms (MB, TR), pp. 399–410.
ICFPICFP-2007-MatsudaHNHT #automation #bidirectional
Bidirectionalization transformation based on automatic derivation of view complement functions (KM, ZH, KN, MH, MT), pp. 47–58.
LISPILC-2007-HiraishiYY #c #experience #implementation
Experience with SC: transformation-based implementation of various extensions to C (TH, MY, TY), p. 20.
AGTIVEAGTIVE-2007-AmelunxenLSS #graph transformation #guidelines #modelling
Checking and Enforcement of Modeling Guidelines with Graph Transformations (CA, EL, AS, IS), pp. 313–328.
AGTIVEAGTIVE-2007-AnandK #assembly #generative #graph transformation
Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code (CKA, WK), pp. 217–232.
AGTIVEAGTIVE-2007-AschenbrennerG #graph #graph grammar #using
Transforming Scene Graphs Using Triple Graph Grammars — A Practice Report (NA, LG), pp. 32–43.
AGTIVEAGTIVE-2007-BalasubramanianNNNSTK #model transformation
Applying a Grouping Operator in Model Transformations (DB, AN, SN, BN, FS, RT, GK), pp. 410–425.
AGTIVEAGTIVE-2007-BiermannEEKT #emf #framework #model transformation
The EMF Model Transformation Framework (EB, KE, CE, CK, GT), pp. 566–567.
AGTIVEAGTIVE-2007-BoddenV #automaton #monitoring #runtime #specification #timeline
Transforming Timeline Specifications into Automata for Runtime Monitoring (EB, HV), pp. 249–264.
AGTIVEAGTIVE-2007-BuchmannDUW #case study #comparative #development #graph transformation #modelling
Model-Driven Software Development with Graph Transformations: A Comparative Case Study (TB, AD, SU, BW), pp. 345–360.
AGTIVEAGTIVE-2007-DrewesHJME #graph transformation
Shaped Generic Graph Transformation (FD, BH, DJ, MM, NVE), pp. 201–216.
AGTIVEAGTIVE-2007-FussT #algorithm #graph transformation #model transformation #simulation
Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages (CF, VET), pp. 442–455.
AGTIVEAGTIVE-2007-GogollaBD #graph transformation #ocl #using
From Graph Transformation to OCL Using USE (MG, FB, DHD), pp. 585–586.
AGTIVEAGTIVE-2007-KniemeyerBHK #approach #architecture #biology #graph transformation #parallel #relational
Relational Growth Grammars — A Parallel Graph Transformation Approach with Applications in Biology and Architecture (OK, GB, RH, WK), pp. 152–167.
AGTIVEAGTIVE-2007-KoehlerGKPRVV #assurance #development #model transformation #quality
Combining Quality Assurance and Model Transformations in Business-Driven Development (JK, TG, JMK, CP, KR, JV, HV), pp. 1–16.
AGTIVEAGTIVE-2007-Kurtev #model transformation #qvt #standard #state of the art
State of the Art of QVT: A Model Transformation Language Standard (IK), pp. 377–393.
AGTIVEAGTIVE-2007-LeenheerM #collaboration #evolution #graph transformation #ontology #using
Using Graph Transformation to Support Collaborative Ontology Evolution (PDL, TM), pp. 44–58.
AGTIVEAGTIVE-2007-RensinkDEJKLMSZ #case study #graph transformation #named #tool support
Ludo: A Case Study for Graph Transformation Tools (AR, AD, CE, SJ, OK, JdL, SM, TS, AZ), pp. 493–513.
AGTIVEAGTIVE-2007-RensinkT #contest #graph transformation
AGTIVE 2007 Graph Transformation Tool Contest (AR, GT), pp. 487–492.
AGTIVEAGTIVE-2007-TaentzerBBBBBGGHKMNPV #case study #generative #graph transformation #tool support
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools (GT, EB, DB, BB, IB, AB, LG, RG, ÁH, OK, TM, BN, DP, TV), pp. 514–539.
AGTIVEAGTIVE-2007-TaentzerMM #graph transformation #refactoring #specification
Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation (GT, DM, TM), pp. 104–119.
AGTIVEAGTIVE-2007-VarroABBDGGGKNRW #case study #csp #graph transformation #modelling #tool support #uml
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools (DV, MA, DB, AB, DHD, RG, JG, PVG, OK, AN, ER, EW), pp. 540–565.
AGTIVEAGTIVE-2007-Weinell #adaptation #query
Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database (EW), pp. 394–409.
GT-VMTGT-VMT-2007-BalasubramanianNNSTK #graph transformation #model transformation
A Subgraph Operator for Graph Transformation Languages (DB, AN, SN, FS, RT, GK).
GT-VMTGT-VMT-2007-BisztrayH #csp #process #using #verification
Rule-Level Verification of Business Process Transformations using CSP (DB, RH).
GT-VMTGT-VMT-2007-BonevaHKR #graph transformation #multi #simulation #using
Simulating Multigraph Transformations Using Simple Graphs (IB, FH, HK, AR).
GT-VMTGT-VMT-2007-GuerraL #graph transformation #recursion
Adding Recursion to Graph Transformation (EG, JdL).
GT-VMTGT-VMT-2007-KohlerLT #constraints #graph #model transformation
Ensuring Containment Constraints in Graph-based Model Transformation Approaches (CK, HL, GT).
GT-VMTGT-VMT-2007-KraemerH #collaboration #execution #specification #state machine
Transforming Collaborative Service Specifications into Efficiently Executable State Machines (FAK, PH).
GT-VMTGT-VMT-2007-Paun #graph transformation
Membrane computing [and graph transformation] (GP).
HCIDHM-2007-VolzBHK #automation #generative #linear #metric #using
Automatic, Body Measurements Based Generation of Individual Avatars Using Highly Adjustable Linear Transformation (AV, RB, SH, KK), pp. 453–459.
HCIDHM-2007-ZhangDC #composition #pattern matching #pattern recognition #process #recognition
Wavelet Transform and Singular Value Decomposition of EEG Signal for Pattern Recognition of Complicated Hand Activities (XZ, WD, ZC), pp. 294–303.
HCIHCI-IDU-2007-Schaefer #bibliography #development #modelling #tool support #user interface
A Survey on Transformation Tools for Model Based User Interface Development (RS), pp. 1178–1187.
HCIHCI-IDU-2007-WangSJRA #animation
Perception of Movements and Transformations in Flash Animations of Older Adults (LW, HS, LJ, PLPR, YA), pp. 966–975.
HCIHCI-IPT-2007-TsaoCC #concept #design #flexibility #research #smarttech #using
The Research of Using Image-Transformation to the Conceptual Design of Wearable Product with Flexible Display (YCT, LCC, SCC), pp. 1220–1229.
ICEISICEIS-DISI-2007-CarreiraGPW #data transformation #execution #optimisation
One-to-many data transformation operations — optimization and execution on an RDBMS (PJFC, HG, JLMP, AW), pp. 21–27.
ICEISICEIS-DISI-2007-RaminhosP #approach #declarative #using
Extraction and transformation of data from semi-structured text files using a declarative approach (RR, JMP), pp. 199–205.
ICEISICEIS-DISI-2007-RauberR #architecture #legacy
Transformation of legacy business software into client-server architectures (TR, GR), pp. 36–43.
ICEISICEIS-DISI-2007-TraversD #graph #optimisation #perspective #xquery
An extensible rule transformation model for XQuery optimization — rules pattern for XQuery tree graph view (NT, TTDN), pp. 351–358.
ICEISICEIS-EIS-2007-MurzekK #model transformation #process
Business Process Model Transformation Issues — The Top 7 Adversaries Encountered at Defining Model Transformations (MM, GK), pp. 144–151.
ICEISICEIS-J-2007-CarreiraGPW07a #on the #relational
On Handling One-to-Many Transformations in Relational Systems (PC, HG, JLMP, AW), pp. 121–134.
ICEISICEIS-J-2007-RauberR07a #incremental
Incremental Transformation of Business Software (TR, GR), pp. 81–94.
KDDKDD-2007-PandeySGGK #case study #interactive #network #predict
Association analysis-based transformations for protein interaction networks: a function prediction case study (GP, MS, RG, TG, VK), pp. 540–549.
MLDMMLDM-2007-CaoH #feature model
Affine Feature Extraction: A Generalization of the Fukunaga-Koontz Transformation (WC, RMH), pp. 160–173.
SEKESEKE-2007-KoskerB #graph transformation #refactoring #uml
Synchronization of UML Based Refactoring with Graph Transformation (YK, ABB), pp. 232–237.
SEKESEKE-2007-MaiaBW #approach #component #modelling #named
Odyssey-MDA: A Transformational Approach to Component Models (NM, APTB, CMLW), pp. 9–14.
ECMFAECMDA-FA-2007-BordbarHES #model transformation
Model Transformation from OWL-S to BPEL Via SiTra (BB, GH, ME, AS), pp. 43–58.
ECMFAECMDA-FA-2007-OlsenO #model-to-text #traceability
Scenarios of Traceability in Model to Text Transformations (GKO, JO), pp. 144–156.
MODELSMoDELS-2007-AnastasakisBGR #alloy #model transformation #named #uml
UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.
MODELSMoDELS-2007-HibberdLR #debugging #forensics #model transformation
Forensic Debugging of Model Transformations (MH, ML, KR), pp. 589–604.
MODELSMoDELS-2007-Stevens #bidirectional #model transformation #qvt #semantics
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
MODELSMoDELS-2007-VanhooffABJB #framework #named
UniTI: A Unified Transformation Infrastructure (BV, DA, SVB, WJ, YB), pp. 31–45.
MODELSMoDELS-2007-AnastasakisBGR #alloy #model transformation #named #uml
UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.
MODELSMoDELS-2007-HibberdLR #debugging #forensics #model transformation
Forensic Debugging of Model Transformations (MH, ML, KR), pp. 589–604.
MODELSMoDELS-2007-Stevens #bidirectional #model transformation #qvt #semantics
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.
MODELSMoDELS-2007-VanhooffABJB #framework #named
UniTI: A Unified Transformation Infrastructure (BV, DA, SVB, WJ, YB), pp. 31–45.
TOOLSTOOLS-EUROPE-2007-KolovosPPR #in the small
Update Transformations in the Small with the Epsilon Wizard Language (DSK, RFP, FP, LMR), pp. 53–69.
TOOLSTOOLS-EUROPE-2007-LohmannGJS #graph grammar #model transformation #workflow
Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations (CL, JG, JJ, TS), pp. 253–273.
LOPSTRLOPSTR-2007-BrasselC
Denotation by Transformation (BB, JC), pp. 90–105.
LOPSTRLOPSTR-2007-WeertSD #program transformation
Aggregates for CHR through Program Transformation (PVW, JS, BD), pp. 59–73.
PPDPPPDP-2007-BentonKBH #program transformation #relational #semantics
Relational semantics for effect-based program transformations with dynamic allocation (NB, AK, LB, MH), pp. 87–96.
PADLPADL-2007-AlbertGHP #analysis #bytecode #java #logic programming #source code #using #verification
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs (EA, MGZ, LH, GP), pp. 124–139.
PADLPADL-2007-BerdaguerCPV #sql #xml
Coupled Schema Transformation and Data Conversion for XML and SQL (PB, AC, HP, JV), pp. 290–304.
SACSAC-MT-J-2006-AlanenLP07 #diagrams #model transformation
Creating and reconciling diagrams after executing model transformations (MA, TL, IP), pp. 155–178.
SACSAC-MT-J-2006-CabotT07 #constraints #ocl
Transformation techniques for OCL constraints (JC, ET), pp. 179–195.
SACSAC-MT-J-2006-JouaultK07 #model transformation #on the
On the interoperability of model-to-model transformation languages (FJ, IK), pp. 114–137.
SACSAC-MT-J-2006-KurtevBJ07 #atl #composition #model transformation #rule-based
Rule-based modularization in model transformation languages illustrated with ATL (IK, KvdB, FJ), pp. 138–154.
SACSAC-MT-J-2006-Tratt07 #model transformation
Model transformations in MT (LT), pp. 196–213.
SACSAC-MT-J-2006-VarroB07 #framework #model transformation
The model transformation language of the VIATRA2 framework (DV, AB), pp. 214–234.
SACSAC-2007-CuadradoM #model transformation
A phasing mechanism for model transformation languages (JSC, JGM), pp. 1020–1024.
SACSAC-2007-FabroV #automation #integration #modelling #using #weaving
Semi-automatic model integration using matching transformations and weaving models (MDDF, PV), pp. 963–970.
SACSAC-2007-Lamari #automation #generative #model transformation #testing #towards #verification
Towards an automated test generation for the verification of model transformations (ML), pp. 998–1005.
SACSAC-2007-LawleyR #declarative #implementation #model transformation
Implementing a practical declarative logic-based model transformation engine (ML, KR), pp. 971–977.
SACSAC-2007-VaraVCM #database #development #model transformation
Model transformation for object-relational database development (JMV, BV, JMC, EM), pp. 1012–1019.
SACSAC-2007-Varma #program analysis #program transformation #recognition
Generalizing recognition of an individual dialect in program analysis and transformation (PV), pp. 1432–1439.
SACSAC-2007-VarroB #automation #induction #logic programming #model transformation #using
Automating model transformation by example using inductive logic programming (DV, ZB), pp. 978–984.
SACSAC-2007-VignagaB #design #diagrams #interactive
Transforming system operations’ interactions into a design class diagram (AV, MCB), pp. 993–997.
ESEC-FSEESEC-FSE-2007-KlarKS #in the large #model transformation
Model transformation in the large (FK, AK, AS), pp. 285–294.
ESEC-FSEESEC-FSE-2007-ZhouLZ #approach #model transformation
A segment-based approach for reconcilable model transformation (XZ, YL, JZ), pp. 517–520.
GTTSEGTTSE-2007-Oliveira
Transforming Data by Calculation (JNO), pp. 134–195.
GTTSEGTTSE-2007-PielMD #compilation #model transformation #multi
Model Transformations for the Compilation of Multi-processor Systems-on-Chip (ÉP, PM, JLD), pp. 459–473.
GTTSEGTTSE-2007-SeguraBCT #automation #feature model #graph transformation #modelling #using
Automated Merging of Feature Models Using Graph Transformations (SS, DB, ARC, PT), pp. 489–505.
GTTSEGTTSE-2007-Stevens #bidirectional #model transformation
A Landscape of Bidirectional Model Transformations (PS), pp. 408–424.
ICSEICSE-2007-ChalabineK #aspect-oriented #automation #framework #re-engineering #weaving
A Formal Framework for Automated Round-Trip Software Engineering in Static Aspect Weaving and Transformations (MC, CWK), pp. 137–146.
LDTALDTA-J-2003-BrabrandS #parsing
The metafront system: Safe and extensible parsing and transformation (CB, MIS), pp. 2–20.
LDTALDTA-J-2005-WaddingtonY #c #c++ #program transformation
High-fidelity C/C++ code transformation (DGW, BY), pp. 64–78.
SPLCSPLC-2007-OldevikH #higher-order #product line
Higher-Order Transformations for Product Lines (JO, ØH), pp. 243–254.
CCCC-2007-JeonSH #data access #layout #using
Layout Transformations for Heap Objects Using Static Access Patterns (JJ, KS, HH), pp. 187–201.
LCTESLCTES-2007-BennettMFT #automation #embedded #set #text-to-text
Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration of embedded systems (RVB, ACM, BF, NPT), pp. 83–92.
ICLPICLP-2007-OikarinenJ #linear #logic programming
A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming (EO, TJ), pp. 440–441.
ICLPICLP-2007-PettorossiPS #automation #correctness #logic programming #program transformation #proving
Automatic Correctness Proofs for Logic Program Transformations (AP, MP, VS), pp. 364–379.
ICLPICLP-2007-Raiser #graph transformation
Graph Transformation Systems in CHR (FR), pp. 240–254.
ICLPICLP-2007-RochaSL #on the #program transformation #prolog
On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog (RR, CS, RL), pp. 444–445.
CBSECBSE-2006-BastideSO #adaptation #component #refactoring
Adaptation of Monolithic Software Components by Their Transformation into Composite Configurations Based on Refactoring (GB, AS, MO), pp. 368–375.
CBSECBSE-2006-GrassiMS #analysis #approach #component #model transformation #performance #reliability
A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems (VG, RM, AS), pp. 270–284.
QoSAQoSA-2006-MarcoM #model transformation #performance
Model Transformation in Software Performance Engineering (ADM, RM), pp. 95–110.
CASECASE-2006-Wen #collaboration #design #problem #research
A Model for Industry-University Collaborative Research: Transforming Specific Problem Solution into Broad Design Methodologies (JTW), p. 1.
DACDAC-2006-WongC #matrix #performance
A fast passivity test for descriptor systems via structure-preserving transformations of Skew-Hamiltonian/Hamiltonian matrix pencils (NW, CKC), pp. 261–266.
DATEDATE-2006-GuillotBRCGA #diagrams #performance #using
Efficient factorization of DSP transforms using taylor expansion diagrams (JG, EB, QR, MJC, DGP, SA), pp. 754–755.
DATEDATE-DF-2006-OetjensGR #design #flexibility #rule-based #specification
Flexible specification and application of rule-based transformations in an automotive design flow (JHO, JG, WR), pp. 82–87.
SIGMODSIGMOD-2006-DohzenPSHS #integration #reuse
Data integration through transform reuse in the Morpheus project (TD, MP, SWS, JH, MS), pp. 736–738.
VLDBVLDB-2006-AhmedLWDSZC #cost analysis #query
Cost-Based Query Transformation in Oracle (RA, AWL, AW, DD, HS, MZ, TC), pp. 1026–1036.
FASEFASE-2006-BoronatCR #algebra #model transformation #specification
Algebraic Specification of a Model Transformation Engine (AB, JÁC, IR), pp. 262–277.
FASEFASE-2006-TaentzerC #approach #documentation #graph #xml
A Graph-Based Approach to Transform XML Documents (GT, GTC), pp. 48–62.
TACASTACAS-2006-KonigK #abstraction #analysis #graph transformation #refinement
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems (BK, VK), pp. 197–211.
SCAMSCAM-J-2005-ZhangBCD06 #using
Using source transformation to test and model check implicit-invocation systems (HZ, JSB, JRC, JD), pp. 209–227.
CSMRCSMR-2006-GraafWD #architecture #migration #model transformation #using
Migrating Supervisory Control Architectures Using Model Transformations (BG, SW, AvD), pp. 153–164.
CSMRCSMR-2006-IvkovicK #architecture #framework #model transformation #refactoring #semantics #using
A Framework for Software Architecture Refactoring using Model Transformations and Semantic Annotations (II, KK), pp. 135–144.
ICSMEICSM-2006-YaoMKB #automation #c #metaprogramming #program transformation #source code
C Macro Handling in Automated Source Code Transformation Systems (BY, WM, SK, RB), pp. 68–69.
SCAMSCAM-2006-Bruntink #analysis #tool support
Linking Analysis and Transformation Tools with Source-Based Mappings (MB), pp. 107–116.
PEPMPEPM-2006-BravenboerKVV #component #stratego
Stratego/XT 0.16: components for transformation systems (MB, KTK, RV, EV), pp. 95–99.
PEPMPEPM-2006-Cordy #analysis #generative #txl
Source transformation, analysis and generation in TXL (JRC), pp. 1–11.
PEPMPEPM-2006-LiuWGRCZZ #data access #implementation #performance
Core role-based access control: efficient implementations by transformations (YAL, CW, MG, TR, YC, YZ, JZ), pp. 112–120.
PEPMPEPM-2006-LucaAAK #program transformation
Program transformation by solving recurrences (BL, SA, HA, SCK), pp. 121–129.
SASSAS-2006-Schmidt #approximate
Underapproximating Predicate Transformers (DAS), pp. 127–143.
STOCSTOC-2006-AilonC #approximate #nearest neighbour #performance
Approximate nearest neighbors and the fast Johnson-Lindenstrauss transform (NA, BC), pp. 557–563.
CIAACIAA-2006-OnderB #proving
XSLT Version 2.0 Is Turing-Complete: A Purely Transformation Based Proof (RO, ZB), pp. 275–276.
DLTDLT-2006-Maletti #revisited
Hierarchies of Tree Series Transformations Revisited (AM), pp. 215–225.
FMFM-2006-CunhaOV #data transformation #type safety
Type-Safe Two-Level Data Transformation (AC, JNO, JV), pp. 284–299.
FMFM-2006-LangariT #communication #formal method #graph transformation #modelling #protocol
Formal Modeling of Communication Protocols by Graph Transformation (ZL, RJT), pp. 348–363.
ICFPICFP-2006-KawanakaH #bidirectional #model transformation #named #xml
biXid: a bidirectional transformation language for XML (SK, HH), pp. 201–214.
ICGTICGT-2006-BaldanEK #composition
Composition and Decomposition of DPO Transformations with Borrowed Context (PB, HE, BK), pp. 153–167.
ICGTICGT-2006-BaresiS #alloy #graph transformation #on the
On the Use of Alloy to Analyze Graph Transformation Systems (LB, PS), pp. 306–320.
ICGTICGT-2006-BruniM #graph transformation
Dynamic Graph Transformation Systems (RB, HCM), pp. 230–244.
ICGTICGT-2006-ButtnerG #graph transformation #sequence
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (FB, MG), pp. 398–413.
ICGTICGT-2006-DoddsP #constant #graph transformation
Graph Transformation in Constant Time (MD, DP), pp. 367–382.
ICGTICGT-2006-EhrigHL #analysis #graph transformation
Molecular Analysis of Metabolic Pathway with Graph Transformation (KE, RH, GL), pp. 107–121.
ICGTICGT-2006-EhrigOP #category theory #distributed #graph transformation
Categorical Foundations of Distributed Graph Transformation (HE, FO, UP), pp. 215–229.
ICGTICGT-2006-EngelsLSH #contract #design #graph transformation #modelling #monitoring
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract (GE, ML, SS, RH), pp. 336–350.
ICGTICGT-2006-GuerraL #graph transformation
Model View Management with Triple Graph Transformation Systems (EG, JdL), pp. 351–366.
ICGTICGT-2006-Heckel #graph transformation #tutorial
Introductory Tutorial on Foundations and Applications of Graph Transformation (RH), pp. 461–462.
ICGTICGT-2006-LambersEO #detection #graph transformation
Conflict Detection for Graph Transformation with Negative Application Conditions (LL, HE, FO), pp. 61–76.
ICGTICGT-2006-Rensink #graph transformation #quantifier
Nested Quantification in Graph Transformation Rules (AR), pp. 1–13.
ICGTICGT-2006-VarroVEPT #analysis #model transformation #petri net #termination
Termination Analysis of Model Transformations by Petri Nets (DV, SVG, HE, UP, GT), pp. 260–274.
ICGTICGT-2006-VelascoL #approach #graph transformation #matrix #sequence
Matrix Approach to Graph Transformation: Matching and Sequences (PPPV, JdL), pp. 122–137.
CSCWCSCW-2006-SunS
Operation context and context-based operational transformation (DS, CS), pp. 279–288.
EDOCEDOC-2006-AlmeidaEI #consistency #development #modelling #requirements #traceability
Requirements Traceability and Transformation Conformance in Model-Driven Development (JPAA, PvE, MEI), pp. 355–366.
EDOCEDOC-2006-AndersonR #enterprise #security
Information Security Guidance for Enterprise Transformation (JAA, VR), pp. 459–462.
EDOCEDOC-2006-GorpAJ #2d #consistency #contract #framework #nondeterminism #towards #traceability #visual notation
Towards 2D Traceability in a Platform for Contract Aware Visual Transformations with Tolerated Inconsistencies (PVG, FA, DJ), pp. 185–198.
EDOCEDOC-2006-HauserFKV #analysis #workflow
Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows (RH, MF, JMK, JV), pp. 129–140.
ICEISICEIS-ISAS-2006-AkhlakiTT #algebra #design #modelling #process #realtime #specification #uml
Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications (KBA, MICT, JAHT), pp. 290–297.
ICEISICEIS-ISAS-2006-ReiterKRSS #framework #generative #model transformation
A Generator Framework for Domain-Specific Model Transformation Languages (TR, EK, WR, WS, MS), pp. 27–35.
CIKMCIKM-2006-Robertson #on the
On GMAP: and other transformations (SR), pp. 78–83.
ICPRICPR-v1-2006-DawoodBLJS #multi
Transforming Static CT in Gated PET/CT Studies to Multiple Respiratory Phases (MD, FB, NL, XJ, KPS), pp. 1026–1029.
ICPRICPR-v1-2006-WangB #3d #automation #estimation #using
Automatic Estimation of 3D Transformations using Skeletons for Object Alignment (TW, AB), pp. 51–54.
ICPRICPR-v1-2006-ZhangFX #detection #image #orthogonal #using
Detection of moving cast shadows using image orthogonal transform (WZ, XF, YX), pp. 626–629.
ICPRICPR-v2-2006-ChiangK #classification #using
Classification of Line and Character Pixels on Raster Maps Using Discrete Cosine Transformation Coefficients and Support Vector Machine (YYC, CAK), pp. 1034–1037.
ICPRICPR-v2-2006-ChoiLY #classification #feature model #using
Feature Extraction for Bank Note Classification Using Wavelet Transform (EC, JL, JY), pp. 934–937.
ICPRICPR-v2-2006-GonzalezSRP #image #network #retrieval
Wavelet transforms and neural networks applied to image retrieval (ACG, JHSA, EMFR, OBP), pp. 909–912.
ICPRICPR-v2-2006-LahdenojaALP #parametricity #symmetry
A Shape-Preserving Non-parametric Symmetry Transform (OL, EA, ML, AP), pp. 373–377.
ICPRICPR-v2-2006-MakkapatiM #encoding #using
Contour Encoding Based on Extraction of Key Points Using Wavelet Transform (VM, PRM), pp. 1177–1180.
ICPRICPR-v2-2006-Strand #3d #distance #fourier #grid #image #re-engineering #using
Using the Hexagonal Grid for Three-Dimensional Images: Direct Fourier Method Reconstruction and Weighted Distance Transform (RS), pp. 1169–1172.
ICPRICPR-v2-2006-YangG #composition #invariant #using
Line-Based Affine Invariant Object Location Using Transformation Space Decomposition (RY, YG), pp. 646–649.
ICPRICPR-v2-2006-ZhangC #classification #locality
Comparing Different Localization Approaches of the Radon Transform for Road Centerline Extraction from Classified Satellite Imagery (QZ, IC), pp. 138–141.
ICPRICPR-v3-2006-AbdallahHB #composition #image #performance #robust #using
A robust block-based image watermarking scheme using fast Hadamard transform and singular value decomposition (EEA, ABH, PB), pp. 673–676.
ICPRICPR-v3-2006-ArtolazabalIA #invariant #named
LIGHT: Local Invariant Generalized Hough Transform (JARA, JI, ASA), pp. 304–307.
ICPRICPR-v3-2006-BaiSW #algorithm #novel #symmetry
A Novel Eye Location Algorithm based on Radial Symmetry Transform (LB, LS, YW), pp. 511–514.
ICPRICPR-v3-2006-CooganS #recognition
Transformation Invariance in Hand Shape Recognition (TC, AS), pp. 485–488.
ICPRICPR-v3-2006-HuangL #image #using
A Secret Image Sharing Method Using Integer-to-Integer Wavelet Transform (CPH, CCL), pp. 802–805.
ICPRICPR-v3-2006-LiPKZ #multimodal #using
Multimodal Registration using the Discrete Wavelet Frame Transform (SL, JP, JTK, JZ), pp. 877–880.
ICPRICPR-v3-2006-PozdnoukhovB #graph #invariant #kernel #pattern matching #pattern recognition #recognition
Graph-based transformation manifolds for invariant pattern recognition with kernel methods (AP, SB), pp. 1228–1231.
ICPRICPR-v3-2006-YinNFMA #classification #statistics
Statistical Model for the Classification of the Wavelet Transforms of T-ray Pulses (XXY, BWHN, BF, SPM, DA), pp. 236–239.
ICPRICPR-v3-2006-ZhangLG #kernel #memory management #recognition
Face Recognition by Combining Kernel Associative Memory and Gabor Transforms (BZ, CL, YG), pp. 465–468.
ICPRICPR-v4-2006-Choi #cumulative #recognition #robust #speech #using
A Noise Robust Front-end for Speech Recognition Using Hough Transform and Cumulative Distribution Mapping (EHCC), pp. 286–289.
ICPRICPR-v4-2006-LiL06a #identification #using
Hierarchical Identification of Palmprint using Line-based Hough Transform (FL, MKHL), pp. 149–152.
ICPRICPR-v4-2006-PozdnoukhovB06a #graph #invariant #kernel #pattern matching #pattern recognition #recognition
Graph-based transformation manifolds for invariant pattern recognition with kernel methods (AP, SB), p. 956.
ICPRICPR-v4-2006-SekoSHMK #image #lens #quote #scalability
“Firefly capturing method”: Motion capturing by monocular camera with large spherical aberration of lens and Hough-transform-based image processing (YS, YS, HH, JM, HK), pp. 821–824.
ICPRICPR-v4-2006-WangC #detection #using #video
Detecting Video Texts Using Spatial-Temporal Wavelet Transform (YKW, JMC), pp. 754–757.
SEKESEKE-2006-LinWCS #case study #diagrams #modelling #process #uml
UML and Modeling A Use Case Model and its Transformation to Activity Diagram (XYL, CHW, WCC, CS), pp. 556–561.
ECMFAECMDA-FA-2006-AmelunxenKRS #framework #graph transformation #metamodelling #named #standard
MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations (CA, AK, TR, AS), pp. 361–375.
ECMFAECMDA-FA-2006-CuadradoMT #model transformation #named
RubyTL: A Practical, Extensible Transformation Language (JSC, JGM, MMT), pp. 158–172.
ECMFAECMDA-FA-2006-Kleppe #model transformation #named
MCC: A Model Transformation Environment (AK), pp. 173–187.
ECMFAECMDA-FA-2006-MottuBT #analysis #model transformation #mutation testing #testing
Mutation Analysis Testing for Model Transformations (JMM, BB, YLT), pp. 376–390.
ECMFAECMDA-FA-2006-Pahl #architecture #composition #modelling #ontology
Ontology-Based Composition and Transformation for Model-Driven Service Architecture (CP), pp. 198–212.
ECMFAECMDA-FA-2006-WagelaarS #comparison #model transformation
A Comparison of Configuration Techniques for Model Transformations (DW, RVDS), pp. 331–345.
MODELSMoDELS-2006-AkehurstBEHM #java #named
SiTra: Simple Transformations in Java (DHA, BB, MJE, WGJH, KDMM), pp. 351–364.
MODELSMoDELS-2006-BezivinBGJKL #exclamation #model transformation #modelling
Model Transformations? Transformation Models! (JB, FB, MG, FJ, IK, AL), pp. 440–453.
MODELSMoDELS-2006-BiermannEKKTW #eclipse #framework #modelling #visual notation
Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework (EB, KE, CK, GK, GT, EW), pp. 425–439.
MODELSMoDELS-2006-BruckerDW #analysis #model transformation #semantics
A Model Transformation Semantics and Analysis Methodology for SecureUML (ADB, JD, BW), pp. 306–320.
MODELSMoDELS-2006-CibranD #aspect-oriented #slicing
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects (MAC, MD), pp. 170–184.
MODELSMoDELS-2006-CuadradoM #empirical #model transformation
A Plugin-Based Language to Experiment with Model Transformation (JSC, JGM), pp. 336–350.
MODELSMoDELS-2006-HearndenLR #evolution #incremental #model transformation #modelling
Incremental Model Transformation for the Evolution of Model-Driven Systems (DH, ML, KR), pp. 321–335.
MODELSMoDELS-2006-MensSD #analysis #consistency #dependence #detection #nondeterminism #using
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis (TM, RVDS, MD), pp. 200–214.
MODELSMoDELS-2006-PonsG #ocl #specification #verification
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE (CP, DG), pp. 646–660.
MODELSMoDELS-2006-Varro #model transformation
Model Transformation by Example (DV), pp. 410–424.
MODELSMoDELS-2006-AkehurstBEHM #java #named
SiTra: Simple Transformations in Java (DHA, BB, MJE, WGJH, KDMM), pp. 351–364.
MODELSMoDELS-2006-BezivinBGJKL #exclamation #model transformation #modelling
Model Transformations? Transformation Models! (JB, FB, MG, FJ, IK, AL), pp. 440–453.
MODELSMoDELS-2006-BiermannEKKTW #eclipse #framework #modelling #visual notation
Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework (EB, KE, CK, GK, GT, EW), pp. 425–439.
MODELSMoDELS-2006-BruckerDW #analysis #model transformation #semantics
A Model Transformation Semantics and Analysis Methodology for SecureUML (ADB, JD, BW), pp. 306–320.
MODELSMoDELS-2006-CibranD #aspect-oriented #slicing
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects (MAC, MD), pp. 170–184.
MODELSMoDELS-2006-CuadradoM #empirical #model transformation
A Plugin-Based Language to Experiment with Model Transformation (JSC, JGM), pp. 336–350.
MODELSMoDELS-2006-HearndenLR #evolution #incremental #model transformation #modelling
Incremental Model Transformation for the Evolution of Model-Driven Systems (DH, ML, KR), pp. 321–335.
MODELSMoDELS-2006-MensSD #analysis #consistency #dependence #detection #nondeterminism #using
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis (TM, RVDS, MD), pp. 200–214.
MODELSMoDELS-2006-PonsG #ocl #specification #verification
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE (CP, DG), pp. 646–660.
MODELSMoDELS-2006-Varro #model transformation
Model Transformation by Example (DV), pp. 410–424.
QAPLQAPL-2005-Siveroni06 #algorithm
Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks (IS), pp. 241–257.
GPCEGPCE-2006-TilevichS #program transformation
Transparent program transformations in the presence of opaque code (ET, YS), pp. 89–94.
LOPSTRLOPSTR-2006-BrasselFH #functional #logic #program transformation
A Program Transformation for Tracing Functional Logic Computations (BB, SF, FH), pp. 160–176.
RERE-2006-MunozVPP #approach #pervasive #requirements
Requirements Engineering for Pervasive Systems. A Transformational Approach (JM, PV, VP, OP), pp. 344–345.
SACSAC-2006-AlanenLP #diagrams #model transformation
Reconciling diagrams after executing model transformations (MA, TL, IP), pp. 1267–1272.
SACSAC-2006-BaloghV #framework #model transformation
Advanced model transformation language constructs in the VIATRA2 framework (AB, DV), pp. 1280–1287.
SACSAC-2006-BaloghVVP #compilation #model transformation #plugin
Compiling model transformations to EJB3-specific transformer plugins (AB, GV, DV, AP), pp. 1288–1295.
SACSAC-2006-BezivinPV #model transformation
Special track on model transformation (MT 2006) (JB, AP, AV), pp. 1186–1187.
SACSAC-2006-CabotT #approach #constraints #ocl
Transforming OCL constraints: a context change approach (JC, ET), pp. 1196–1201.
SACSAC-2006-CaceresCVM #hypermedia #information management #model transformation #modelling #web
Model transformations for hypertext modeling on web information systems (PC, VdC, JMV, EM), pp. 1232–1239.
SACSAC-2006-FekihAM #diagrams #specification #state machine #uml
Transformation of B specifications into UML class diagrams and state machines (HF, LJBA, SM), pp. 1840–1844.
SACSAC-2006-KurtevBJ #atl #composition #evaluation #model transformation #rule-based
Evaluation of rule-based modularization in model transformation languages illustrated with ATL (IK, KvdB, FJ), pp. 1202–1209.
SACSAC-2006-MendlingMN #modelling #process
Transformation of yEPC business process models to YAWL (JM, MM, GN), pp. 1262–1266.
SACSAC-2006-RendaS #automation #distributed #library #query
Automatic structured query transformation over distributed digital libraries (MER, US), pp. 1078–1083.
SACSAC-2006-TibermacineFS #architecture #constraints
Simplifying transformation of software architecture constraints (CT, RF, SS), pp. 1240–1244.
SACSAC-2006-Tratt #model transformation
The MT model transformation language (LT), pp. 1296–1303.
ICSEICSE-2006-BoshernitsanG #eclipse #interactive #java #source code
Interactive transformation of java programs in eclipse (MB, SLG), pp. 791–794.
LDTALDTA-J-2004-Cordy #model transformation #txl
The TXL source transformation language (JRC), pp. 190–210.
SPLCSPLC-2006-Beuche #legacy #product line
Transforming Legacy Systems into Software Product Lines (DB), p. 223.
ASPLOSASPLOS-2006-SchuchmanV #architecture #program transformation #quantum
A program transformation and architecture support for quantum uncomputation (ES, TNV), pp. 252–263.
CCCC-2006-HammondL #bytecode #java #optimisation
Loop Transformations in the Ahead-of-Time Optimization of Java Bytecode (SH, DL), pp. 109–123.
CGOCGO-2006-LiaoDWL #multi #streaming
Data and Computation Transformations for Brook Streaming Applications on Multiprocessors (SWL, ZD, GW, GYL), pp. 196–207.
CAVCAV-2006-Lev-AmiIS #abstraction #analysis #performance #precise
Abstraction for Shape Analysis with Fast and Precise Transformers (TLA, NI, SS), pp. 547–561.
ISSTAISSTA-2006-ZhangKPWJMZ #analysis
The case for analysis preserving language transformation (XZ, LK, MP, SW, TJ, GM, LZ), pp. 191–202.
RTARTA-2006-ChibaA #named #program transformation #term rewriting
RAPT: A Program Transformation System Based on Term Rewriting (YC, TA), pp. 267–276.
WICSAWICSA-2005-BaraisLMD #architecture
Providing Support for Safe Software Architecture Transformations (OB, JLL, AFLM, LD), pp. 201–202.
WICSAWICSA-2005-Matinlassi #architecture #model transformation #quality
Quality-Driven Software Architecture Model Transformation (MM), pp. 199–200.
ASEASE-2005-LinG #approach #automation #evolution #model transformation
A model transformation approach to automatic model construction and evolution (YL, JG), pp. 448–451.
DACDAC-2005-JiangCC #3d #algorithm #linear #named #order
ICCAP: a linear time sparse transformation and reordering algorithm for 3D BEM capacitance extraction (RJ, YHC, CCPC), pp. 163–166.
DACDAC-2005-NordinMHP #automation #fourier #generative
Automatic generation of customized discrete fourier transform IPs (GN, PAM, JCH, MP), pp. 471–474.
DATEDATE-2005-BaleaniFMSFSW #design #development #embedded #modelling
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development (MB, AF, LM, ALSV, UF, ES, HJW), pp. 1044–1049.
DATEDATE-2005-Ruiz-SautuaMMH #behaviour #performance #synthesis
Behavioural Transformation to Improve Circuit Performance in High-Level Synthesis (RRS, MCM, JMM, RH), pp. 1252–1257.
DATEDATE-2005-ShashidharBCJ #algebra #equivalence #functional #source code #verification
Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code (KCS, MB, FC, GJ), pp. 1310–1315.
DATEDATE-2005-SilvaB #architecture #design #pipes and filters #throughput #trade-off
Area and Throughput Trade-Offs in the Design of Pipelined Discrete Wavelet Transform Architectures (SVS, SB), pp. 32–37.
DocEngDocEng-2005-Beaudoux #documentation #interactive #xml
XML active transformation (eXAcT): transforming documents within interactive systems (OB), pp. 146–148.
DocEngDocEng-2005-BoukottayaV #documentation
Schema matching for transforming structured documents (AB, CV), pp. 101–110.
DocEngDocEng-2005-WhitingCCGHST #documentation #parsing #semantics #web
Enabling massive scale document transformation for the semantic web: the universal parsing agent™ (MAW, WC, NC, AG, RH, RS, ST), pp. 23–25.
ICDARICDAR-2005-DongPKS #word
Cursive word skew/slant corrections based on Radon transform (JxD, DP, AK, CYS), pp. 478–483.
ICDARICDAR-2005-IshitaniFS #analysis #classification #documentation #xml
Table Structure Analysis Based on Cell Classification and Cell Modification for XML Document Transformation (YI, KF, KS), pp. 1247–1252.
ICDARICDAR-2005-TerradesV
Local Norm Features based on ridgelets Transform (ORT, EV), pp. 700–704.
ICDARICDAR-2005-YosefBKD #image #using
Extraction of Specified Objects from Binary Images Using Object Based Erosion Transform: Application to Hebrew Calligraphic Manuscripts (IBY, IB, KK, ID), pp. 878–882.
ICDARICDAR-2005-ZaidiRM #design #hardware #online #recognition #using
Hardware Design of On-Line Jawi Character Recognition Chip using Discrete Wavelet Transform (RZ, SR, MY), pp. 91–95.
SIGMODSIGMOD-2005-JahangiriSS #maintenance #multi #named #performance
SHIFT-SPLIT: I/O Efficient Maintenance of Wavelet-Transformed Multidimensional Data (MJ, DS, CS), pp. 275–286.
FASEFASE-2005-EhrigELTVV #model transformation #termination
Termination Criteria for Model Transformation (HE, KE, JdL, GT, DV, SVG), pp. 49–63.
FASEFASE-2005-LarsenLW #source code #specification
Color-Blind Specifications for Transformations of Reactive Synchronous Programs (KGL, UL, AW), pp. 160–174.
TACASTACAS-2005-Jiang #invariant #on the
On Some Transformation Invariants Under Retiming and Resynthesis (JHRJ), pp. 413–428.
CSMRCSMR-2005-BoronatCR #automation #logic #re-engineering #using
Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine (AB, JÁC, IR), pp. 228–231.
PASTEPASTE-2005-Myers #distributed #program analysis #program transformation
Making distributed systems secure with program analysis and transformation (ACM), p. 47.
SCAMSCAM-2005-BussEYW #analysis #pointer #text-to-text
Pointer Analysis for Source-to-Source Transformations (MB, SAE, BY, DGW), pp. 139–150.
SCAMSCAM-2005-PowerH #classification #java #named #source code
Declassification: Transforming Java Programs to Remove Intermediate Classes (BP, GWH), pp. 183–192.
SCAMSCAM-2005-SchordanQ #attribute grammar #sequence #specification
Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar (MS, DJQ), pp. 97–106.
SCAMSCAM-2005-ZhangBCD #implementation #using #verification
Implementation and Verification of Implicit-Invocation Systems Using Source Transformation (HZ, JSB, JRC, JD), pp. 87–96.
WCREWCRE-2005-AkersBMEL #automation #c++ #component #modelling #program transformation #re-engineering
Reengineering C++ Component Models via Automatic Program Transformation (RLA, IDB, MM, BJE, KRL), pp. 13–22.
PLDIPLDI-2005-FranchettiVP
Formal loop merging for signal transforms (FF, YV, MP), pp. 315–326.
CIAACIAA-J-2004-KrawetzLS05 #complexity #finite #monad #set
State complexity and the monoid of transformations of a finite set (BK, JL, JS), pp. 547–563.
ICFPICFP-2005-KiselyovSFS #backtracking #functional #monad
Backtracking, interleaving, and terminating monad transformers: (functional pearl) (OK, CcS, DPF, AS), pp. 192–203.
IFLIFL-2005-CunhaPP #framework #program transformation
A Framework for Point-Free Program Transformation (AC, JSP, JP), pp. 1–18.
CAiSECAiSE-2005-LopesHBJ #framework #generative #specification #web #web service
Generating Transformation Definition from Mapping Specification: Application to Web Service Platform (DL, SH, JB, FJ), pp. 309–325.
CAiSECAiSE-2005-RizopoulosM #approach #concept #generative #model transformation
A General Approach to the Generation of Conceptual Model Transformations (NR, PM), pp. 326–341.
CAiSECAiSE-2005-RuscioP #data-driven #development #model transformation #web
Model Transformations in the Development of Data-Intensive Web Applications (DDR, AP), pp. 475–490.
ICEISICEIS-v1-2005-ChenMG #query #semantics #web
Semantic Query Transformation for Integrating Web Information Sources (MC, RM, RG), pp. 176–181.
ICEISICEIS-v1-2005-Greene #enterprise
Changing the Way the Enterprise Works: Operational Transformations (TG), p. 7.
ICEISICEIS-v3-2005-CapelH #csp #modelling #specification #visual notation
Transforming SA/RT Graphical Specifications into CSP+T Formalism — Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models (MIC, JAHT), pp. 65–72.
CIKMCIKM-2005-XiaoLHF #web
Slicing*-tree based web page transformation for small displays (XX, QL, DH, HF), pp. 303–304.
MLDMMLDM-2005-Bak #classification #linear #multi
A New Multidimensional Feature Transformation for Linear Classifiers and Its Applications (EB), pp. 275–284.
SEKESEKE-2005-ChiangTK #classification #multi #performance #using
Fast Class Rendering Using Multiresolution Classification in Discrete Cosine Transform Domain (TWC, TT, LJK), pp. 689–694.
SEKESEKE-2005-ZhouXZS #approach #refactoring
An Aspect Transformation Approach with Refactoring (CZ, BX, TZ, LS), pp. 318–323.
ECMFAECMDA-FA-2005-0003SAJ #model transformation #semantics
Semantic Anchoring with Model Transformations (KC, JS, SA, EKJ), pp. 115–129.
ECMFAECMDA-FA-2005-Abd-AliG
Horizontal Transformation of PSMs (JAA, KEG), pp. 299–315.
ECMFAECMDA-FA-2005-Bloomfield #industrial #metamodelling #model transformation
MDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry (TB), pp. 9–18.
ECMFAECMDA-FA-2005-ChiversP #bidirectional #named
XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language (HC, RFP), pp. 205–219.
ECMFAECMDA-FA-2005-GronmoJH #uml
Transformations Between UML and OWL-S (RG, MCJ, HH), pp. 269–283.
ECMFAECMDA-FA-2005-GrunskeGL #graph grammar #model transformation #specification #visual notation
A Graphical Specification of Model Transformations with Triple Graph Grammars (LG, LG, ML), pp. 284–298.
ECMFAECMDA-FA-2005-OldevikNGAB #model-to-text #standard #towards
Toward Standardised Model to Text Transformations (JO, TN, RG, JØA, AJB), pp. 239–253.
MODELSMoDELS-2005-GieseL #constraints #ocl
Simplifying Transformations of OCL Constraints (MG, DL), pp. 309–323.
MODELSMoDELS-2005-GrayLZNGNG #named #scalability
Replicators: Transformations to Address Model Scalability (JGG, YL, JZ, SN, ASG, SN, SSG), pp. 295–308.
MODELSMoDELS-2005-ZhangMZY #approach #component #feature model
Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach (WZ, HM, HZ, JY), pp. 248–263.
MODELSMoDELS-2005-GieseL #constraints #ocl
Simplifying Transformations of OCL Constraints (MG, DL), pp. 309–323.
MODELSMoDELS-2005-GrayLZNGNG #named #scalability
Replicators: Transformations to Address Model Scalability (JGG, YL, JZ, SN, ASG, SN, SSG), pp. 295–308.
MODELSMoDELS-2005-ZhangMZY #approach #component #feature model
Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach (WZ, HM, HZ, JY), pp. 248–263.
LOPSTRLOPSTR-2005-PasarellaOPN #embedded #logic programming #semantics #source code
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs (EP, FO, EP, MN), pp. 133–146.
LOPSTRLOPSTR-2005-PettorossiPS #array #protocol #using #verification
Transformational Verification of Parameterized Protocols Using Array Formulas (AP, MP, VS), pp. 23–43.
PPDPPPDP-2005-ChibaAT #program transformation #term rewriting
Program transformation by templates based on term rewriting (YC, TA, YT), pp. 59–69.
POPLPOPL-2005-FosterGMPS #approach #combinator #problem
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem (JNF, MBG, JTM, BCP, AS), pp. 233–246.
POPLPOPL-2005-LernerMRC #analysis #automation #data flow #proving
Automated soundness proofs for dataflow analyses and transformations via local rules (SL, TDM, ER, CC), pp. 364–377.
POPLPOPL-2005-NeubauerT #multi #program transformation #source code
From sequential programs to multi-tier applications by program transformation (MN, PT), pp. 221–232.
SACSAC-2005-BaresiQ #documentation #graph transformation #xml
Graph transformation to infer schemata from XML documents (LB, EQ), pp. 642–646.
SACSAC-2005-CleenewerckD #implementation
Disentangling the implementation of local-to-global transformations in a rewrite rule transformation system (TC, TD), pp. 1398–1403.
GTTSEGTTSE-2005-Chiba #aspect-oriented #program transformation #programming
Program Transformation with Reflection and Aspect-Oriented Programming (SC), pp. 65–94.
GTTSEGTTSE-2005-CleveH #database #evolution
Co-transformations in Database Applications Evolution (AC, JLH), pp. 409–421.
GTTSEGTTSE-2005-DeanS #agile #semiparsing #web
Agile Parsing to Transform Web Applications (TRD, MS), pp. 312–326.
GTTSEGTTSE-2005-Galhardas #ajax #framework #using
Data Cleaning and Transformation Using the AJAX Framework (HG), pp. 327–343.
GTTSEGTTSE-2005-Hainaut #approach #database
The Transformational Approach to Database Engineering (JLH), pp. 95–143.
GTTSEGTTSE-2005-HuYT #optimisation
Program Optimizations and Transformations in Calculation Form (ZH, TY, MT), pp. 144–168.
GTTSEGTTSE-2005-Mens #graph transformation #on the #refactoring
On the Use of Graph Transformations for Model Refactoring (TM), pp. 219–257.
GTTSEGTTSE-2005-WinterB #program transformation #using
Program Transformation Using HATS 1.84 (VLW, JB), pp. 378–396.
ICSEICSE-2005-CortellessaMI #modelling #performance
Transformations of software models into performance models (VC, ADM, PI), pp. 728–729.
ATEMATEM-2004-CleveHH05 #information management #re-engineering
Co-transformations in Information System Reengineering (AC, JH, JLH), pp. 5–15.
ATEMATEM-2004-GirbaFD05 #evolution #metamodelling #model transformation #using
Using Meta-Model Transformation to Model Software Evolution (TG, JMF, SD), pp. 57–64.
LDTALDTA-2005-CassidyCDD #analysis #concurrent
Source Transformation for Concurrency Analysis (TC, JRC, TRD, JD), pp. 57–75.
LDTALDTA-2005-CleenewerckB #composition
An Invasive Composition System for Local-to-Global Transformations (TC, JB), pp. 77–98.
LDTALDTA-2005-WaddingtonY #c #c++ #program transformation
High-Fidelity C/C++ Code Transformation (DGW, BY), pp. 35–56.
CCCC-2005-OlmosV #data flow #text-to-text
Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules (KO, EV), pp. 204–220.
CCCC-2005-ShashidharBCJ #equivalence #program transformation #source code #verification
Verification of Source Code Transformations by Program Equivalence Checking (KCS, MB, FC, GJ), pp. 221–236.
ASEASE-2004-JohannE #incremental #modelling
Instant and Incremental Transformation of Models (SJ, AE), pp. 362–365.
DACDAC-2004-WangHL #linear #nondeterminism #parametricity
A linear fractional transform (LFT) based model for interconnect parametric uncertainty (JMW, OH, JL), pp. 375–380.
DACDAC-2004-YanSS #3d #multi
Sparse transformations and preconditioners for hierarchical 3-D capacitance extraction with multiple dielectrics (SY, VS, WS), pp. 788–793.
DATEDATE-DF-2004-BrandoleseFSS #analysis #energy #modelling #program transformation #source code
Analysis and Modeling of Energy Reducing Source Code Transformations (CB, WF, FS, DS), pp. 306–311.
DATEDATE-v1-2004-Kandemir #data transformation #locality #memory management
Impact of Data Transformations on Memory Bank Locality (MTK), pp. 506–511.
DATEDATE-v1-2004-SinanogluO #power management
Scan Power Minimization through Stimulus and Response Transformations (OS, AO), pp. 404–409.
DocEngDocEng-2004-ChuangL #composition #on the
On modular transformation of structural content (TRC, JLL), pp. 201–210.
PODSPODS-2004-ArenasBLF #consistency #query
Locally Consistent Transformations and Query Answering in Data Exchange (MA, PB, RF, LL), pp. 229–240.
PODSPODS-2004-MartensN #xml
Frontiers of Tractability for Typechecking Simple XML Transformations (WM, FN), pp. 23–34.
SIGMODSIGMOD-2004-CarreiraG #development #migration #performance
Efficient Development of Data Migration Transformations (PJFC, HG), pp. 915–916.
FASEFASE-2004-BardohlELT #aspect-oriented #graph transformation #metamodelling #performance #visual notation
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation (RB, HE, JdL, GT), pp. 214–228.
CSMRCSMR-2004-Martin #automation #generative #program transformation #source code
Automated Source Code Transformations on Fourth Generation Languages (JM), pp. 214–222.
ICSMEICSM-2004-BaxterA #architecture #component #program transformation #re-engineering
Component Architecture Reengineering by Program Transformation (IDB, RLA), p. 509.
ICSMEICSM-2004-TahvildariK #approach #multi #source code
Developing a Multi-Objective Decision Approach to Select Source-Code Improving Transformations (LT, KK), pp. 427–431.
SCAMSCAM-2004-FatiregunHH #algorithm #evolution #search-based #sequence #using
Evolving Transformation Sequences using Genetic Algorithms (DF, MH, RMH), pp. 66–75.
WCREWCRE-2004-HuHHB #slicing
Loop Squashing Transformations for Amorphous Slicing (LH, MH, RMH, DB), pp. 152–160.
PEPMPEPM-2004-AkersBM #automation #c++ #component #program transformation #re-engineering
Invited application paper: re-engineering C++ components via automatic program transformation (RLA, IDB, MM), pp. 51–55.
PEPMPEPM-2004-HulaasB #cpu #java #program transformation
Program transformations for portable CPU accounting and control in Java (JH, WB), pp. 169–177.
PEPMPEPM-2004-HuMT #bidirectional #documentation #editing #programmable
A programmable editor for developing structured documents based on bidirectional transformations (ZH, SCM, MT), pp. 178–189.
PEPMPEPM-2004-PettorossiP #formal method #logic programming #program transformation
A theory of totally correct logic program transformations (AP, MP), pp. 159–168.
CIAACIAA-2004-CampeanuP #automaton #bound #nondeterminism
Tight Bounds for NFA to DFCA Transformations for Binary Alphabets (CC, AP), pp. 306–307.
CIAACIAA-2004-KrawetzLS #complexity #finite #monad #set
State Complexity and the Monoid of Transformations of a Finite Set (BK, JL, JS), pp. 213–224.
IFLIFL-2004-Cristobal-SalasCRG #message passing #program transformation #source code
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations (ACS, AC, ERA, JLG), pp. 1–16.
ICGTICGT-2004-BaldanKS #code generation #generative #graph transformation #testing
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems (PB, BK, IS), pp. 194–209.
ICGTICGT-2004-BaresiH #graph transformation #perspective #re-engineering #tutorial
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 431–433.
ICGTICGT-2004-BohlenR #concept #graph transformation #specification
Concepts for Specifying Complex Graph Transformation Systems (BB, UR), pp. 96–111.
ICGTICGT-2004-Casas-GarrigaB #partial order
Coproduct Transformations on Lattices of Closed Partial Orders (GCG, JLB), pp. 336–351.
ICGTICGT-2004-CherchagoH #graph transformation #specification #using #web #web service
Specification Matching of Web Services Using Conditional Graph Transformation Rules (AC, RH), pp. 304–318.
ICGTICGT-2004-ClarkESW #design #metamodelling #model transformation
Transformation Language Design: A Metamodelling Foundation (TC, AE, PS, JSW), pp. 13–21.
ICGTICGT-2004-CorradiniDFR #graph transformation #java
Translating Java Code to Graph Transformation Systems (AC, FLD, LF, LR), pp. 383–398.
ICGTICGT-2004-EhrigPT #graph transformation
Fundamental Theory for Typed Attributed Graph Transformation (HE, UP, GT), pp. 161–177.
ICGTICGT-2004-GuerraL #graph transformation #integration #metamodelling #towards
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation (EG, JdL), pp. 54–69.
ICGTICGT-2004-HabelH #graph transformation #independence #parallel
Parallel Independence in Hierarchical Graph Transformation (AH, BH), pp. 178–193.
ICGTICGT-2004-HarjuPR #graph transformation #tutorial
Tutorial on DNA Computing and Graph Transformation (TH, IP, GR), pp. 434–436.
ICGTICGT-2004-HeckelLM #graph transformation #probability
Stochastic Graph Transformation Systems (RH, GL, SM), pp. 210–225.
ICGTICGT-2004-Klempien-HinrichsKK #graph transformation #type system
Typing of Graph Transformation Units (RKH, HJK, SK), pp. 112–127.
ICGTICGT-2004-RensinkSV #comparison #graph transformation #model checking
Model Checking Graph Transformations: A Comparison of Two Approaches (AR, ÁS, DV), pp. 226–241.
ICGTICGT-2004-RosselloV #analysis #graph transformation
Analysis of Metabolic Pathways by Graph Transformation (FR, GV), pp. 70–82.
ICGTICGT-2004-YadavKS #graph transformation
The Potential of a Chemical Graph Transformation System (MKY, BPK, SMS), pp. 83–95.
CSCWCSCW-2004-SunXSC #collaboration #word
Operational transformation for collaborative word processing (DS, SX, CS, DC), pp. 437–446.
CAiSECAiSE-2004-KovseH #model transformation #named #workflow
MT-Flow — An Environment for Workflow-Supported Model Transformations in MDA (JK, TH), pp. 160–174.
EDOCEDOC-2004-KathBBEFH #behaviour #corba #execution #modelling #towards
Towards Executable Models: Transforming EDOC Behavior Models to CORBA and BPEL (OK, AB, MB, KPE, MF, CH), pp. 267–274.
ICEISICEIS-v1-2004-GroppeBB #documentation #performance #query #xml
Efficient Querying of Transformed XML Documents (SG, SB, GB), pp. 241–250.
ICEISICEIS-v1-2004-MenkhausF #integration #legacy #middleware
Transformation-Oriented Middleware for Legacy System Integration (GM, UF), pp. 202–209.
ICEISICEIS-v2-2004-DhoteMR #analysis #detection #development #fault
Development of an Expert System for Detecting Incipient Fault in Transformer by Dissolved Gas Analysis (NKD, DMH, MRR), pp. 210–215.
CIKMCIKM-2004-HeL #dependence #functional
Extending and inferring functional dependencies in schema transformation (QH, TWL), pp. 12–21.
ICPRICPR-v1-2004-Kazanov04a #image
Modification of Watershed Transformation for Images, Containing Small Objects (MK), pp. 612–615.
ICPRICPR-v2-2004-Frigui #data transformation #named
MembershipMap: Data Transformation Based on Membership Aggregation (HF), pp. 463–466.
ICPRICPR-v2-2004-Kazanov #algorithm #image #segmentation
A New Color Image Segmentation Algorithm based on Watershed Transformation (MK), pp. 590–593.
ICPRICPR-v2-2004-KimBC #image
Hough Transform in Log-Polar Image Including Foveal and Peripheral Information (JSK, YSB, SIC), pp. 60–63.
ICPRICPR-v2-2004-MozaffarifK #classification #comparison #recognition #using
Feature Comparison between Fractal Codes and Wavelet Transform in Handwritten Alphanumeric Recognition Using SVM Classifier (SM, KF, HRK), pp. 331–334.
ICPRICPR-v2-2004-NiR #pattern matching
Pattern Matching by Sequential Subdivision of Transformation Space (MN, SER), pp. 145–148.
ICPRICPR-v2-2004-TabboneW #adaptation #recognition
Recognition of Symbols in Grey Level Line-drawings from an Adaptation of the Radon Transform (ST, LW), pp. 570–573.
ICPRICPR-v3-2004-MakiharaSS #interactive #learning #online #recognition
Online Learning of Color Transformation for Interactive Object Recognition under Various Lighting Conditions (YM, YS, NS), pp. 161–164.
ICPRICPR-v3-2004-MostafaouiAM #estimation #image #sequence
Objects Velocity Estimation on Images Sequences by Hough Transform with Projection (HTP) (GM, CA, MM), pp. 83–86.
ICPRICPR-v3-2004-ParkLL #array #automation #image #segmentation
Automatic Microarray Image Segmentation Based on Watershed Transformation (CBP, KWL, SWL), pp. 786–789.
ICPRICPR-v3-2004-SchoutenB #distance #performance
Fast Exact Euclidean Distance (FEED) Transformation (TES, ELvdB), pp. 594–597.
ICPRICPR-v4-2004-BelkhoucheQGJ #2d #image #using
Binary Image Transformation Using Two-Dimensional Chaotic Maps (FB, UQ, IG, DJ), pp. 823–826.
ICPRICPR-v4-2004-Elias
Wide Baseline Matching Through Homographic Transformation (RE), pp. 130–133.
ICPRICPR-v4-2004-KimP #hypermedia #using
Geographic Hypermedia using Search Space Transformation (SSK, JHP), pp. 368–371.
ICPRICPR-v4-2004-MaityK #image #using
An Image Watermarking Scheme using HVS Characteristics and Spread Transform (SPM, MKK), pp. 869–872.
ICPRICPR-v4-2004-ShettyR #classification #detection #modelling
An Undecimated Wavelet Transform Based Denoising, PPCA Based Pulse Modeling and Detection-Classification of PD Signals (PKS, TSR), pp. 873–876.
ICPRICPR-v4-2004-YingH04a #detection #using
Catadioptric Line Features Detection using Hough Transform (XY, ZH), pp. 839–842.
UMLUML-2004-RottgerZ #development #model transformation #modelling #non-functional #refinement
Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation (SR, SZ), pp. 275–289.
UMLUML-2004-VarroP #model transformation
Generic and Meta-transformations for Model Transformation Engineering (DV, AP), pp. 290–304.
GPCEGPCE-2004-GrayZLRWSGNSB #framework #modelling #program transformation #scalability
Model-Driven Program Transformation of a Large Avionics Framework (JGG, JZ, YL, SR, HW, RS, ASG, SN, FS, TB), pp. 361–378.
GPCEGPCE-2004-VizhanyoAS #generative #performance #towards
Towards Generation of Efficient Transformations (AV, AA, FS), pp. 298–316.
LOPSTRLOPSTR-2004-Fruhwirth #concurrent #multi
Specialization of Concurrent Guarded Multi-set Transformation Rules (TWF), pp. 133–148.
LOPSTRPDCL-2004-FioravantiPP #constraints #logic programming #source code
Transformation Rules for Locally Stratified Constraint Logic Programs (FF, AP, MP), pp. 291–339.
LOPSTRPDCL-2004-RoychoudhuryR #automation #concurrent #verification
Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems (AR, CRR), pp. 261–290.
POPLPOPL-2004-Benton #analysis #correctness #program transformation #proving #relational
Simple relational correctness proofs for static analyses and program transformations (NB), pp. 14–25.
POPLPOPL-2004-SittampalamML #execution #incremental #specification
Incremental execution of transformation specifications (GS, OdM, KFL), pp. 26–38.
SACSAC-2004-AgostaPS #architecture #design #embedded #multi #power management #program transformation #source code
Multi-objective co-exploration of source code transformations and design space architectures for low-power embedded systems (GA, GP, CS), pp. 891–896.
FSEFSE-2004-XuDS #c #memory management #performance #safety #source code
An efficient and backwards-compatible transformation to ensure memory safety of C programs (WX, DCD, RS), pp. 117–126.
ICSEICSE-2004-BaxterPM #evolution #program transformation #scalability
DMS®: Program Transformations for Practical Scalable Software Evolution (IDB, CWP, MM), pp. 625–634.
ATEMATEM-2003-NaikB04 #analysis #framework #programmable #reverse engineering
A Programmable Analysis and Transformation Framework for Reverse Engineering (RN, AB), pp. 39–49.
CGOCGO-2004-LattnerA #compilation #framework #named #program analysis
LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation (CL, VSA), pp. 75–88.
ISMMISMM-2004-CheremR #analysis #java #source code
Region analysis and transformation for Java programs (SC, RR), pp. 85–96.
CSLCSL-2004-Hyvernat #linear #logic
Predicate Transformers and Linear Logic: Yet Another Denotational Model (PH), pp. 115–129.
VMCAIVMCAI-2004-RepsSY #implementation
Symbolic Implementation of the Best Transformer (TWR, SS, GY), pp. 252–266.
ASEASE-2003-Agrawal #graph grammar
Graph Rewriting And Transformation (GReAT): A Solution For The Model Integrated Computing (MIC) Bottleneck (AA), pp. 364–368.
DACDAC-2003-GadN #congruence #order #reduction #using
Model order reduction of nonuniform transmission lines using integrated congruence transform (EG, MSN), pp. 238–243.
DACDAC-2003-MillerMD #algorithm #logic #synthesis
A transformation based algorithm for reversible logic synthesis (DMM, DM, GWD), pp. 318–323.
DACDAC-2003-PimentelE #communication #refinement
An IDF-based trace transformation method for communication refinement (ADP, CE), pp. 402–407.
DACDAC-2003-QinC #reduction #using
Realizable parasitic reduction using generalized Y-Delta transformation (ZQ, CKC), pp. 220–225.
DATEDATE-2003-ChooMR #architecture #named #power management #synthesis
MRPF: An Architectural Transformation for Synthesis of High-Performance and Low-Power Digital Filters (HC, KM, KR), pp. 10700–10705.
DATEDATE-2003-KodaseWS #constraints #embedded #realtime #runtime
Transforming Structural Model to Runtime Model of Embedded Software with Real-Time Constraints (SK, SW, KGS), pp. 20170–20175.
DATEDATE-2003-LuzKKS #behaviour #data transformation
Generalized Data Transformations for Enhancing Cache Behavior (VDLL, MTK, IK, US), pp. 10906–10911.
DATEDATE-2003-PetrovO #memory management #performance
Power Efficiency through Application-Specific Instruction Memory Transformations (PP, AO), pp. 10030–10035.
DATEDATE-2003-SanderJL #design #development
Development and Application of Design Transformations in ForSyDe (IS, AJ, ZL), pp. 10364–10369.
DATEDATE-2003-TanRJ #approach #architecture #embedded #energy
Software Architectural Transformations: A New Approach to Low Energy Embedded Software (TKT, AR, NKJ), pp. 11046–11051.
DocEngDocEng-2003-BrunoMM #xquery
Extending xQuery with transformation operators (EB, JLM, EM), pp. 1–8.
DocEngDocEng-2003-GuoS #ad hoc #comparison #representation
Context representation, transformation and comparison for ad hoc product data exchange (JG, CS), pp. 121–130.
DocEngDocEng-2003-Leinonen #automation #documentation #xml
Automating XML document structure transformations (PL), pp. 26–28.
DocEngDocEng-2003-SchottN #lazy evaluation
Lazy XSL transformations (SS, MLN), pp. 9–18.
DocEngDocEng-2003-ZuOWK #automation #classification
Accuracy improvement of automatic text classification based on feature transformation (GZ, WO, TW, FK), pp. 118–120.
ICDARICDAR-2003-Ishitani #data-driven #database #documentation #xml
Document Transformation System from Papers to XML Data Based on Pivot XML Document Method (YI), pp. 250–255.
ICDARICDAR-2003-TerradesV #representation
Radon Transform for Lineal Symbol Representation (ORT, EV), p. 195–?.
ICDARICDAR-2003-ToujAA #recognition
Generalized Hough Transform for Arabic Optical Character Recognition (ST, NEBA, HA), pp. 1242–1246.
ICDARICDAR-2003-WangDL #identification #linear #using
Writer Identification Using Directional Element Features and Linear Transform (XW, XD, HL), pp. 942–945.
ICDARICDAR-2003-YonekuraF #2d #clustering #segmentation
Postal Envelope Segmentation by 2-D Histogram Clustering through Watershed Transform (EAY, JF), pp. 338–342.
SIGMODSIGMOD-2003-LiBKN #xml
Composing XSL Transformations with XML Publishing Views (CL, PB, HFK, PPSN), pp. 515–526.
SIGMODSIGMOD-2003-ZhouWGGZWXYF #named #xml
TREX: DTD-Conforming XML to XML Transformations (AZ, QW, ZG, XG, SZ, HW, JX, KY, WF), p. 670.
SIGMODSIGMOD-2003-ZhuS #query
Warping Indexes with Envelope Transforms for Query by Humming (YZ, DS), pp. 181–192.
VLDBVLDB-2003-TsoisS #dependence #optimisation
The Generalized Pre-Grouping Transformation: Aggregate-Query Optimization in the Presence of Dependencies (AT, TKS), pp. 644–655.
ESOPESOP-2003-Ohori #proving
Register Allocation by Proof Transformation (AO), pp. 399–413.
CSMRCSMR-2003-LohmannR #migration #towards
Towards Automatical Migration of Transformation Rules after Grammar Extension (WL, GR), pp. 30–39.
CSMRCSMR-2003-TahvildariK #approach #design #quality
A Metric-Based Approach to Enhance Design Quality through Meta-pattern Transformation (LT, KK), pp. 183–192.
ICSMEICSM-2003-Terekhov #architecture #legacy
Re-using software architecture in legacy transformation projects (AAT), p. 462.
SCAMSCAM-2003-AntoniolPMV #abstract syntax tree #analysis #named #xml
XOgastan: XML-Oriented gcc AST Analysis and Transformations (GA, MDP, GM, UV), pp. 173–182.
SCAMSCAM-2003-BaggeKHV #c++ #design #optimisation #source code
Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs (OSB, KTK, MH, EV), p. 65–?.
SCAMSCAM-2003-GuoCD #java #using
Unique Renaming of Java Using Source Transformation (XG, JRC, TRD), pp. 151–160.
WCREWCRE-2003-DahnM #c #program transformation #source code #using
Using Program Transformation to Secure C Programs Against Buffer Overflows (CD, SM), pp. 323–333.
PEPMPEPM-2003-ChenX #implementation #program transformation
Implementing typeful program transformations (CC, HX), pp. 20–28.
PEPMPEPM-2003-GluckKH #partial evaluation
Transforming interpreters into inverse interpreters by partial evaluation (RG, YK, TH), pp. 10–19.
SASSAS-2003-BaldanKK #abstraction #graph transformation #logic
A Logic for Analyzing Abstractions of Graph Transformation Systems (PB, BK, BK), pp. 255–272.
SASSAS-2003-UnnikrishnanCKKK #requirements
Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications (PU, GC, MTK, MK, IK), pp. 383–400.
FMFME-2003-GoldsmithMRWZ #model checking
Watchdog Transformations for Property-Oriented Model-Checking (MG, NM, BR, TW, IZ), pp. 600–616.
AGTIVEAGTIVE-2003-AmselJ #aspect-oriented #component #graph transformation
Expressing Component-Relating Aspects with Graph Transformations (AA, DJ), pp. 149–162.
AGTIVEAGTIVE-2003-BottoniPT #distributed #graph transformation #refactoring #specification
Specifying Integrated Refactoring with Distributed Graph Transformations (PB, FPP, GT), pp. 220–235.
AGTIVEAGTIVE-2003-DepkeHH #design #graph transformation #modelling
Design of an Agent-Oriented Modeling Language Based on Graph Transformation (RD, JHH, RH), pp. 106–119.
AGTIVEAGTIVE-2003-GalaQT #graph transformation #navigation
Graph Transformation for Merging User Navigation Histories (MMG, EQ, LT), pp. 1–14.
AGTIVEAGTIVE-2003-Gatzemeier #authoring #graph transformation
Authoring Support Based on User-Serviceable Graph Transformation (FHG), pp. 170–185.
AGTIVEAGTIVE-2003-GeigerZ #graph transformation #testing
Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests (LG, AZ), pp. 61–74.
AGTIVEAGTIVE-2003-Jamison #graph
Transforming Toric Digraphs (REJ), pp. 328–333.
AGTIVEAGTIVE-2003-KarsaiA #architecture #graph transformation #modelling
Graph Transformations in OMG’s Model-Driven Architecture: (Invited Talk) (GK, AA), pp. 243–259.
AGTIVEAGTIVE-2003-LaraGV #analysis #graph transformation #hybrid #metamodelling #model checking
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems (JdL, EG, HV), pp. 292–298.
AGTIVEAGTIVE-2003-MarburgerW #analysis #behaviour #graph transformation
Behavioral Analysis of Telecommunication Systems by Graph Transformations (AM, BW), pp. 202–219.
AGTIVEAGTIVE-2003-QemaliT #graph transformation #towards #validation #web
Towards Validation of Session Management in Web Applications based on Graph Transformation (AQ, GT), pp. 15–29.
AGTIVEAGTIVE-2003-Rising #graph grammar #graph transformation #multi #semantics
MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia (Invited Talk) (HKR), pp. 369–382.
AGTIVEAGTIVE-2003-Rotschke #graph transformation #re-engineering #using
Re-engineering a Medical Imaging System Using Graph Transformations (TR), pp. 185–201.
AGTIVEAGTIVE-2003-Taentzer #graph transformation #modelling #named #validation
AGG: A Graph Transformation Environment for Modeling and Validation of Software (GT), pp. 446–453.
EDOCEDOC-2003-DuddyGLRS #approach #declarative #model transformation #reuse
Model Transformation: A declarative, reusable patterns approach (KD, AG, ML, KR, JS), pp. 174–185.
EDOCEDOC-2003-KoehlerHKWK #modelling
A Model-Driven Transformation Method (JK, RH, SK, FYW, SK), pp. 186–197.
ICEISICEIS-v1-2003-AhmadHAMW #approach #database #object-oriented #xml
An Integrated Approach for Extraction of Objects From XML and Transformation to Heterogeneous Object Oriented Databases (UA, MWH, AA, RM, IW), pp. 445–449.
ICEISICEIS-v1-2003-ClaypoolR #database #framework #modelling #named #semistructured data
Sangam: A Framework for Modeling Heterogeneous Database Transformations (KTC, EAR), pp. 219–224.
ICEISICEIS-v2-2003-HattoriKY03a #fourier #using
Extraction of Feeling Information From Characters Using a Modified Fourier Transform (TH, HK, TY), pp. 461–464.
ICMLICML-2003-RavindranB
Relativized Options: Choosing the Right Transformation (BR, AGB), pp. 608–615.
ICMLICML-2003-WuC #adaptation #learning
Adaptive Feature-Space Conformal Transformation for Imbalanced-Data Learning (GW, EYC), pp. 816–823.
UMLUML-2003-ChristophM #middleware #migration #named #uml
GREAT: UML Transformation Tool for Porting Middleware Applications (AC, MMM), pp. 18–30.
UMLUML-2003-Porres #refactoring #rule-based
Model Refactorings as Rule-Based Update Transformations (IP), pp. 159–174.
LOPSTRLOPSTR-2003-AlvesF #program transformation
Linearization by Program Transformation (SA, MF), pp. 160–175.
LOPSTRLOPSTR-2003-ChristiansenM #approach #constraints #database
Simplification of Database Integrity Constraints Revisited: A Transformational Approach (HC, DM), pp. 178–197.
LOPSTRLOPSTR-2003-Gallagher #analysis #logic programming #program transformation #source code
A Program Transformation for Backwards Analysis of Logic Programs (JPG), pp. 92–105.
LOPSTRLOPSTR-2003-YokoyamaHT #higher-order #program transformation
Deterministic Higher-Order Patterns for Program Transformation (TY, ZH, MT), pp. 128–142.
SACSAC-2003-BuckerLRB #automation #difference #fourier #parallel
Automatic Parallelism in Differentiation of Fourier Transforms (HMB, BL, AR, CHB), pp. 148–152.
SACSAC-2003-EngelenWY #embedded #validation
Validation of Code-Improving Transformations for Embedded Systems (RvE, DBW, XY), pp. 684–691.
LDTALDTA-2003-BrabrandSV #parsing
The metafront System: Extensible Parsing and Transformation (CB, MIS, MV), pp. 592–611.
LDTALDTA-2003-KortL #data type #framework
A Framework for Datatype Transformation (JK, RL), pp. 463–482.
CCCC-2003-Danvy #monad #normalisation
A New One-Pass Transformation into Monadic Normal Form (OD), pp. 77–89.
CCCC-2003-MelskiR #interprocedural
The Interprocedural Express-Lane Transformation (DM, TWR), pp. 200–216.
SOSPSOSP-2003-Arpaci-DusseauABDEGNP #kernel #policy
Transforming policies into mechanisms with infokernel (ACAD, RHAD, NCB, TED, TJE, HSG, JAN, FIP), pp. 90–105.
CADECADE-2003-GanzingerS #equivalence #normalisation #reasoning
Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation (HG, JS), pp. 335–349.
RTARTA-2003-Giavitto #modelling #simulation
Invited Talk: Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems (JLG), pp. 208–233.
CBSECBSE-2003-BaresiHTV #analysis #architecture #graph transformation #modelling
Modeling and Analysis of Architectural Styles Based on Graph Transformation (LB, RH, ST, DV), p. 12.
ASEASE-2002-CsertanHMPPV #automation #modelling #named #uml #validation #verification #visual notation
VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models (GC, GH, IM, ZP, AP, DV), pp. 267–270.
DACDAC-2002-BhuniaRS #analysis #detection #fault #locality #novel
A novel wavelet transform based transient current analysis for fault detection and localization (SB, KR, JS), pp. 361–366.
DACDAC-2002-ChelceaN #optimisation #scalability
Resynthesis and peephole transformations for the optimization of large-scale asynchronous systems (TC, SMN), pp. 405–410.
DACDAC-2002-GuptaSDGNKKR #coordination #performance #synthesis
Coordinated transformations for high-level synthesis of high performance microprocessor blocks (SG, NS, NDD, RKG, AN, TK, MK, SR), pp. 898–903.
DACDAC-2002-IwamaKY #design #quantum
Transformation rules for designing CNOT-based quantum circuits (KI, YK, SY), pp. 419–424.
DACDAC-2002-PhillipsDS #order #reduction
Guaranteed passive balancing transformations for model order reduction (JRP, LD, LMS), pp. 52–57.
DACDAC-2002-SanderJ #communication #design #refinement
Transformation based communication and clock domain refinement for system design (IS, AJ), pp. 281–286.
DATEDATE-2002-LiverisZSG #performance #program transformation
A Code Transformation-Based Methodology for Improving I-Cache Performance of DSP Applications (NDL, NDZ, DS, CEG), pp. 977–983.
DATEDATE-2002-PenalbaMH #reuse
Maximizing Conditonal Reuse by Pre-Synthesis Transformations (OP, JMM, RH), p. 1097.
DATEDATE-2002-PeyranZ #slicing
Transforming Arbitrary Structures into Topologically Equivalent Slicing Structures (OP, WZ), p. 1099.
DocEngDocEng-2002-HardyB #game studies #xml
Mapping and displaying structural transformations between XML and PDF (MRBH, DFB), pp. 95–102.
DocEngDocEng-2002-KuikkaLP #automation #documentation #towards
Towards automating of document structure transformations (EK, PL, MP), pp. 103–110.
DocEngDocEng-2002-Vion-DuryLP #modelling #xml
Experimenting with the circus language for XML modeling and transformation (JYVD, VL, EP), pp. 82–87.
FoSSaCSFoSSaCS-2002-Courcelle #higher-order #monad #semantics
Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations (BC), pp. 1–4.
FoSSaCSFoSSaCS-2002-DanvyN #continuation #first-order
A First-Order One-Pass CPS Transformation (OD, LRN), pp. 98–113.
SCAMSCAM-J-2001-BartoliniP02 #embedded #program transformation
A cache-aware program transformation technique suitable for embedded systems (SB, CAP), pp. 783–795.
SCAMSCAM-J-2001-CordyDMS02 #re-engineering #txl #using
Source transformation in software engineering using the TXL transformation system (JRC, TRD, AJM, KAS), pp. 827–837.
SCAMSCAM-J-2001-RiccaTB02 #web
Web application transformations based on rewrite rules (FR, PT, IDB), pp. 811–825.
SCAMSCAM-J-2001-SchuppGML02 #behaviour #library #semantics
Semantic and behavioral library transformations (SS, DG, DRM, SML), pp. 797–810.
ICSMEICSM-2002-HarmanHHFDWSB #slicing #testing
Evolutionary Testing Supported by Slicing and Transformation (MH, LH, RMH, CF, SD, JW, HS, AB), p. 285.
ICSMEICSM-2002-Sneed #object-oriented #repository
Transforming Procedural Program Structures to Object-Oriented Class Structures for the Purpose of Populating a Common Software Repository (HMS), p. 286.
ICSMEICSM-2002-TahvildariK #framework #object-oriented #quality #re-engineering
A Software Transformation Framework for Quality-Driven Object-Oriented Re-engineering (LT, KK), pp. 596–605.
ICSMEICSM-2002-ZouK #approach #migration #object-oriented
Migration to Object Oriented Platforms: A State Transformation Approach (YZ, KK), pp. 530–539.
SCAMSCAM-2002-BischofBLRV #matlab #source code
Combining Source Transformation and Operator Overloading Techniques to Compute Derivatives for MATLAB Programs (CHB, HMB, BL, AR, AV), pp. 65–72.
SCAMSCAM-2002-BunusF #combinator #declarative #equation #graph transformation #semantics
Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages (PB, PF), pp. 163–172.
SCAMSCAM-2002-HarmanFHHDW #analysis #dependence #named
VADA: A Transformation-Based System for Variable Dependence Analysis (MH, CF, RMH, LH, SD, JW), pp. 55–64.
WCREWCRE-2002-TahvildariK #graph #maintenance #using
A Methodology for Developing Transformations Using the Maintainability Soft-Goal Graph (LT, KK), p. 77–?.
FLOPSFLOPS-2002-Hasegawa #continuation #linear #monad #λ-calculus
Linearly Used Effects: Monadic and CPS Transformations into the Linear λ Calculus (MH), pp. 167–182.
FLOPSFLOPS-2002-Iranzo #correctness #on the
On the Correctness of the Factoring Transformation (PJI), pp. 119–133.
DLTDLT-2002-Seibert #automaton #finite #performance #regular expression
Efficient Transformations from Regular Expressions to Finite Automata (SS), pp. 28–42.
IFMIFM-2002-KuskeGKK #diagrams #graph transformation #semantics #uml
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation (SK, MG, RK, HJK), pp. 11–28.
IFLIFL-2002-ChitilRW #haskell
Transforming Haskell for Tracing (OC, CR, MW), pp. 165–181.
IFLIFL-2002-Trancon-y-Widemann #functional
Stacking Cycles: Functional Transformation of Circular Data (BTyW), pp. 150–164.
ICGTICGT-2002-BaldanK #approximate #behaviour #graph transformation
Approximating the Behaviour of Graph Transformation Systems (PB, BK), pp. 14–29.
ICGTICGT-2002-BardohlEP #architecture #specification
Transforming Specification Architectures by GenGED (RB, CE, JP), pp. 30–44.
ICGTICGT-2002-BaresiH #graph transformation #perspective #re-engineering #tutorial
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 402–429.
ICGTICGT-2002-BeckPS #graph transformation #problem #scheduling
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems (JCB, PP, ES), pp. 60–74.
ICGTICGT-2002-GerberLRSW #named
Transformation: The Missing Link of MDA (AG, ML, KR, JS, AW), pp. 90–105.
ICGTICGT-2002-GyapayHV #graph transformation #logic
Graph Transformation with Time: Causality and Logical Clocks (SG, RH, DV), pp. 120–134.
ICGTICGT-2002-HabelP #graph transformation
Relabelling in Graph Transformation (AH, DP), pp. 135–147.
ICGTICGT-2002-HarjuPR #assembly #graph transformation #tutorial
Tutorial on DNA Computing and Graph Transformation — Computational Nature of Gene Assembly in Ciliates (TH, IP, GR), pp. 430–434.
ICGTICGT-2002-HeckelKT #confluence #graph transformation
Confluence of Typed Attributed Graph Transformation Systems (RH, JMK, GT), pp. 161–176.
ICGTICGT-2002-Hoffmann #abstraction #graph transformation
Abstraction and Control for Shapely Nested Graph Transformation (BH), pp. 177–191.
ICGTICGT-2002-KnirschK #distributed #graph transformation
Distributed Graph Transformation Units (PK, SK), pp. 207–222.
ICGTICGT-2002-MensDJ #behaviour #formal method #program transformation
Formalising Behaviour Preserving Program Transformations (TM, SD, DJ), pp. 286–301.
ICGTICGT-2002-PadbergE #graph transformation #invariant #safety
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems (JP, BE), pp. 334–350.
ICGTICGT-2002-Pfaltz #effectiveness #incremental #information management
Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery (JLP), pp. 351–362.
ICGTICGT-2002-ReisRASN #execution #graph transformation #process #semantics #using
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment (CALR, RQR, MMdA, HS, DJN), pp. 254–269.
CSCWCSCW-2002-DavisSL #standard
Generalizing operational transformation to the standard general markup language (AHD, CS, JL), pp. 58–67.
CAiSECAiSE-2002-McBrienP #approach #architecture #database #evolution #semistructured data
Schema Evolution in Heterogeneous Database Architectures, A Schema Transformation Approach (PM, AP), pp. 484–499.
CAiSECAiSE-2002-Saeki #model transformation
Role of Model Transformation in Method Engineering (MS), pp. 626–642.
EDOCEDOC-2002-BurtBROA #framework #independence #modelling #quality
Quality of Service Issues Related to Transforming Platform Independent Models to Platform Specific Models (CCB, BRB, RRR, AMO, MA), p. 212–?.
EDOCEDOC-2002-OldevikSEB #code generation #framework #model transformation
Framework for Model Transformation and Code Generation (JO, AS, BE, AJB), pp. 181–189.
EDOCEDOC-2002-Peltier #domain-specific language #model transformation
MTrans, a DSL for Model Transformation (MP), pp. 190–199.
ICEISICEIS-2002-Dedene #design #on the #programming
On the Use of Jackson Structured Programming (JSP) for the Structured Design of XSL Transformations (GD), pp. 743–751.
ICMLICML-2002-BringmannKNPW
Transformation-Based Regression (BB, SK, FN, HP, GW), pp. 59–66.
ICPRICPR-v1-2002-BorgeforsS #2d #distance #fuzzy
Fuzzy Border Distance Transforms and Their Use in 2D Skeletonization (GB, SS), pp. 180–183.
ICPRICPR-v1-2002-KimuraW #2d #detection #invariant
An Extension of the Generalized Hough Transform to Realize Affine-Invariant Two-dimensional (2D) Shape Detection (AK, TW), pp. 65–69.
ICPRICPR-v1-2002-LioliosKFK #approach #recognition
A New Shape Transformation Approach to Handwritten Character Recognition (NL, EK, NF, GKK), pp. 584–587.
ICPRICPR-v1-2002-SongCL #detection #image #performance
Edge Color Distribution Transform: An Efficient Tool for ObjectDetection in Images (JS, MC, MRL), pp. 608–612.
ICPRICPR-v1-2002-SongCLC #approach #image #recognition #using
A New Approach for Line Recognition in Large-size Images Using Hough Transform (JS, MC, MRL, SC), pp. 33–36.
ICPRICPR-v1-2002-TangFYLS #geometry #modelling #novel
A Novel Method for Harmonic Geometric Transformation Model Based on Wavelet Collocation (YYT, XCF, XY, ZWL, LS), pp. 49–52.
ICPRICPR-v1-2002-YangP #locality
Harmonic Cut and Regularized Centroid Transform for Localization of Subcellular Structures (QY, BP), pp. 788–791.
ICPRICPR-v2-2002-KadyrovP #estimation #parametricity
Affine Parameter Estimation from the Trace Transform (AK, MP), pp. 798–801.
ICPRICPR-v2-2002-KovacsS #animation #detection #probability
Creating Animations Combining Stochastic Paintbrush Transformation and Motion Detection (LK, TS), p. 1090–?.
ICPRICPR-v2-2002-MielikainenK #image #integer #multi
Improved Back End for Integer PCA and Wavelet Transforms for Lossless Compression of Multispectral Images (JM, AK), pp. 257–260.
ICPRICPR-v2-2002-Mustafa #identification #image
Identifying and Classifying Image Transforms (AAYM), pp. 806–809.
ICPRICPR-v2-2002-ToenniesBA #locality #realtime
Feasibility of Hough-Transform-Based Iris Localisation for Real-Time-Application (KDT, FB, MA), pp. 1053–1056.
ICPRICPR-v2-2002-TohM #approach #learning #network
A Global Transformation Approach to RBF Neural Network Learning (KAT, KZM), pp. 96–99.
ICPRICPR-v2-2002-Torkkola02a #feature model #learning #problem
Learning Feature Transforms Is an Easier Problem Than Feature Selection (KT), pp. 104–107.
ICPRICPR-v2-2002-WuYSLK #3d #detection
Glasses Frame Detection with 3D Hough Transform (HW, GY, TS, SL, MK), pp. 346–349.
ICPRICPR-v2-2002-ZhuKQ
Improving De-Noising by Coefficient De-Noising and Dyadic Wavelet Transform (HZ, JTK, LQ), p. 273–?.
ICPRICPR-v3-2002-BeaudoinB #fourier #image
An Accurate Discrete Fourier Transform for Image Processing (NB, SSB), p. 935–?.
ICPRICPR-v3-2002-CampbellF02a #image
Experiments in Transform-Based Range Image Compression (RJC, PJF), pp. 875–878.
ICPRICPR-v3-2002-LiLSW #algorithm #geometry #image
New Algorithm for Geometric Transformations of Digital Images and Patterns (ZCL, JYL, CYS, HW), pp. 315–318.
ICPRICPR-v3-2002-MaalmiEBVDG #detection #fault #locality #using
Crack Defect Detection and Localization Using Genetic-Based Inverse Voting Hough Transform (KM, AEO, RB, LFCLYV, AD, PG), pp. 257–260.
ICPRICPR-v3-2002-MekadaT #distance #using
Anchor Point Thinning Using a Skeleton Based on the Euclidean Distance Transformation (YM, JiT), pp. 923–926.
ICPRICPR-v3-2002-MottlKKYK #grid #identification #image #similarity
Elastic Transformation of the Image Pixel Grid for Similarity Based Face Identification (VM, AK, AK, AY, JK), pp. 549–552.
ICPRICPR-v3-2002-TabboneW #2d #recognition #using
Technical Symbols Recognition Using the Two-Dimensional Radon Transform (ST, LW), pp. 200–203.
KDDKDD-2002-Iyengar #constraints #privacy
Transforming data to satisfy privacy constraints (VSI), pp. 279–288.
KDDKDD-2002-TejadaKM #identification #independence #learning #string
Learning domain-independent string transformation weights for high accuracy object identification (ST, CAK, SM), pp. 350–359.
KDDKDD-2002-ZadroznyE #classification #multi #probability
Transforming classifier scores into accurate multiclass probability estimates (BZ, CE), pp. 694–699.
SEKESEKE-2002-AmbriolaK #architecture
Architectural transformations (VA, AK), pp. 275–278.
SEKESEKE-2002-CanforaC #approach #visual notation #xml
A visual approach to define XML to FO transformations (GC, LC), pp. 563–570.
SIGIRSIGIR-2002-AnhM #effectiveness #performance #retrieval #web
Impact transformation: effective and efficient web retrieval (VNA, AM), pp. 3–10.
UMLUML-2002-AkehurstK #approach #metamodelling #relational
A Relational Approach to Defining Transformations in a Metamodel (DHA, SK), pp. 243–258.
UMLUML-2002-EngelsHKG #evolution
Consistency-Preserving Model Evolution through Transformations (GE, RH, JMK, LG), pp. 212–226.
UMLUML-2002-Whittle #automation #modelling #uml
Transformations and Software Modeling Languages: Automating Transformations in UML (JW), pp. 227–242.
LOPSTRLOPSTR-2002-AkamaNK #synthesis
Program Synthesis Based on the Equivalent Transformation Computation Model (KA, EN, HK), pp. 278–279.
LOPSTRLOPSTR-2002-FioravantiPP #higher-order #logic #logic programming #monad #program transformation #source code
Combining Logic Programs and Monadic Second Order Logics by Program Transformation (FF, AP, MP), pp. 160–181.
LOPSTRLOPSTR-2002-GuoRR #program transformation
Justification Based on Program Transformation (HFG, CRR, IVR), pp. 158–159.
PPDPPPDP-2002-DrapeMS #dot-net #logic programming #using
Transforming the .NET intermediate language using path logic programming (SD, OdM, GS), pp. 133–144.
POPLPOPL-2002-CousotC #abstract interpretation #design #framework #program transformation
Systematic design of program transformation frameworks by abstract interpretation (PC, RC), pp. 178–190.
POPLPOPL-2002-LernerGC #analysis #data flow
Composing dataflow analyses and transformations (SL, DG, CC), pp. 270–282.
ICSEICSE-2002-Feinberg #enterprise
Transforming and extending the enterprise through IT (DF), p. 3.
ICSEICSE-2002-HausmannHT #approach #case study #detection #functional #graph transformation #requirements #static analysis
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation (JHH, RH, GT), pp. 105–115.
CCCC-2002-NeculaMRW #analysis #c #named #source code #tool support
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (GCN, SM, SPR, WW), pp. 213–228.
CCCC-2002-ZhangG #data type
Data Compression Transformations for Dynamically Allocated Data Structures (YZ, RG), pp. 14–28.
CAVCAV-2002-BouajjaniT
Extrapolating Tree Transformations (AB, TT), pp. 539–554.
CSLCSL-2002-Nivelle #normalisation #proving
Extraction of Proofs from the Clausal Normal Form Transformation (HdN), pp. 584–598.
ICLPICLP-2002-BryS #declarative #model transformation #query #semistructured data #simulation #towards #unification #xml
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification (FB, SS), pp. 255–270.
ICLPICLP-2002-OlmerS #logic programming #prolog #source code
Schema-Based Transformations of Logic Programs in λ-Prolog (PO, PS), p. 472.
ASEASE-2001-FahmyHC #algebra #architecture
Wins and Losses of Algebraic Transformations of Software Architectures (HF, RCH, JRC), pp. 51–62.
DACDAC-2001-TheobaldN #distributed #optimisation #synthesis
Transformations for the Synthesis and Optimization of Asynchronous Distributed Control (MT, SMN), pp. 263–268.
DATEDATE-2001-CheynetNVRRV #automation #evaluation #program transformation #safety
System safety through automatic high-level code transformations: an experimental evaluation (PC, BN, RV, MR, MSR, MV), pp. 297–301.
DATEDATE-2001-TeicaRV #automation #design #on the #using #verification
On the verification of synthesized designs using automatically generated transformational witnesses (ET, RR, RV), p. 798.
DATEDATE-2001-ThorntonD #diagrams #graph transformation #using
Spectral decision diagrams using graph transformations (MAT, RD), pp. 713–719.
DocEngDocEng-2001-PietrigaVQ #approach #named #visual notation #xml
VXT: a visual approach to XML transformations (EP, JYVD, VQ), pp. 1–10.
DocEngDocEng-2001-Villard #adaptation #authoring #multi
Authoring transformations by direct manipulation for adaptable multimedia presentations (LV), pp. 125–134.
ICDARICDAR-2001-HouleBS #using
Handwriting Stroke Extraction Using a New XYTC Transform (GFH, KB, MS), pp. 91–95.
ICDARICDAR-2001-HuangH #multi #recognition
Multiresolution Recognition of Offline Handwritten Chinese Characters with Wavelet Transform (LH, XH), pp. 631–634.
ICDARICDAR-2001-WakaharaKS #adaptation #normalisation #recognition #using
Handwritten Japanese Character Recognition Using Adaptive Normalization by Global Affine Transformation (TW, YK, MS), pp. 424–428.
VLDBVLDB-2001-CuiW
Lineage Tracing for General Data Warehouse Transformations (YC, JW), pp. 471–480.
VLDBVLDB-2001-SakuraiYKU #adaptation #query #similarity #using
Similarity Search for Adaptive Ellipsoid Queries Using Spatial Transformation (YS, MY, RK, SU), pp. 231–240.
FASEFASE-2001-HeckelS #collaboration #diagrams #uml
Strengthening UML Collaboration Diagrams by State Transformations (RH, SS), pp. 109–123.
FoSSaCSFoSSaCS-2001-HabelP #graph transformation #programming language
Computational Completeness of Programming Languages Based on Graph Transformation (AH, DP), pp. 230–245.
IWPCIWPC-J-1999-MartinoMMV01 #communication #detection #interactive #parallel #program analysis
Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs (BDM, AM, NM, UV), pp. 235–263.
ICSMEICSM-2001-DeanCSM #design #legacy #using
Using Design Recovery Techniques to Transform Legacy Systems (TRD, JRC, KAS, AJM), pp. 622–631.
IWPCIWPC-2001-HarmanMHZ
Side-Effect Removal Transformation (MH, MM, LH, XZ), pp. 310–319.
IWPCIWPC-2001-MaltonSCDCR #automation #design
Processing Software Source Text in Automated Design Recovery and Transformation (AJM, KAS, JRC, TRD, DC, JR), pp. 127–134.
SCAMSCAM-2001-BartoliniP #embedded #performance
An Object Level Transformation Technique to Improve the Performance of Embedded Applications (SB, CAP), pp. 26–34.
SCAMSCAM-2001-CordyDMS #re-engineering #txl
Software Engineering by Source Transformation-Experience with TXL (JRC, TRD, AJM, KAS), pp. 170–180.
SCAMSCAM-2001-KnieselCA #framework #java #named
Jmangler — A Framework for Load-Time Transformation of Java Class Files (GK, PC, MA), pp. 100–110.
SCAMSCAM-2001-RiccaTB #web
Restructuring Web Applications via Transformation Rules (FR, PT, IDB), pp. 152–162.
SCAMSCAM-2001-SchuppGM #library
Library Transformations (SS, DG, DRM), pp. 111–123.
SCAMSCAM-2001-Vanter #source code #tool support
Preserving the Documentary Structure of Source Code in Language-Based Transformation Tools (MvdV), pp. 133–143.
SCAMSCAM-2001-Ward #analysis #approach #source code
The Formal Transformation Approach to Source Code Analysis and Manipulation (MPW), pp. 187–195.
WCREWCRE-2001-HarmanHMZ #named #slicing
GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation (MH, LH, MM, XZ), pp. 271–280.
ICALPICALP-2001-DrosteZ
Rational Transformations of Formal Power Series (MD, GQZ), pp. 555–566.
ICEISICEIS-v2-2001-PoelsD #approach #metric #modelling #process #re-engineering
An Integrated Approach of Modeling, Transformation and Measurement to Evaluate Business Process Re-Engineering (GP, GD), pp. 691–698.
CIKMCIKM-2001-NottelmannF #classification #datalog #learning #probability
Learning Probabilistic Datalog Rules for Information Classification and Transformation (HN, NF), pp. 387–394.
KDDKDD-2001-KnorrNZ #robust
Robust space transformations for distance-based operations (EMK, RTN, RHZ), pp. 126–135.
UMLUML-2001-Kuske #graph transformation #semantics #state machine #uml
A Formal Semantics of UML State Machines Based on Structured Graph Transformation (SK), pp. 241–256.
ECOOPECOOP-2001-StromA
The Optimistic Readers Transformation (RES, JSA), pp. 275–301.
TOOLSTOOLS-USA-2001-Bezivin01a #composition #model transformation
From Object Composition to Model Transformation with the MDA (JB), pp. 350–354.
LOPSTRLOPSTR-2001-DelzannoE #debugging #logic programming #protocol #proving #security
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols (GD, SE), pp. 76–90.
LOPSTRLOPSTR-2001-FioravantiPP #infinity #process #program transformation #set #using #verification
Verification of Sets of Infinite State Processes Using Program Transformation (FF, AP, MP), pp. 111–128.
LOPSTRLOPSTR-2001-PotikasRG #datalog #nondeterminism #source code
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs (PP, PR, MG), pp. 25–45.
GPCESAIG-2001-HerrmannL #approach #optimisation
A Transformational Approach which Combines Size Inference and Program Optimization (CAH, CL), pp. 199–218.
SACSAC-2001-PowerM #lalr #metric
Exploiting metrics to facilitate grammar transformation into LALR format (JFP, BAM), pp. 636–640.
SACSAC-2001-SabharwalS #database #fourier #image #using
Indexing image databases using wavelet and discrete fourier transform (CLS, SRS), pp. 434–439.
ICSEICSE-2001-Baxter #maintenance #re-engineering #using
Using Transformation Systems for Software Maintenance and Reengineering (IDB), pp. 739–740.
ICSEICSE-2001-LorenzV #approach #component #design
Designing Components Versus Objects: A Transformational Approach (DHL, JMV), pp. 253–224.
LDTALDTA-2001-JongeVV #named #program transformation #tool support
XT: a bundle of program transformation tools (MdJ, EV, JV), pp. 79–86.
LDTALDTA-2001-LammelW #asf+sdf #ide #syntax
Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment (RL, GW), pp. 9–33.
LDTALDTA-2001-NakanoN #documentation #specification
Deriving Event-Based Document Transformers from Tree-Based Specifications (KN, SN), pp. 181–205.
CCCC-2001-FrankeO #array #compilation #pointer
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications (BF, MFPO), pp. 69–85.
CCCC-2001-LaceyM #imperative #program transformation
Imperative Program Transformation by Rewriting (DL, OdM), pp. 52–68.
LCTESLCTES-OM-2001-HuangCS #architecture
Loop Transformations for Architectures with Partitioned Register Banks (XH, SC, PHS), pp. 48–55.
CAVCAV-2001-KuehlmannB #using #verification
Transformation-Based Verification Using Generalized Retiming (AK, JB), pp. 104–117.
CAVCAV-2001-VelevB #logic #named #similarity
EVC: A Validity Checker for the Logic of Equality with Uninterpreted Functions and Memories, Exploiting Positive Equality, and Conservative Transformations (MNV, REB), pp. 235–240.
ICLPICLP-2001-Cousot #abstract interpretation #design #program transformation #semantics
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations (PC), pp. 4–5.
RTARTA-2001-Visser #named #program transformation #stratego
Stratego: A Language for Program Transformation Based on Rewriting Strategies (EV), pp. 357–362.
ASEASE-2000-FahmyH #architecture #graph grammar #using
Using Graph Rewriting to Specify Software Architectural Transformations (HF, RCH), pp. 187–196.
ASEASE-2000-Ziane #design pattern
A Transformational Viewpoint on Design Patterns (MZ), pp. 273–276.
DACDAC-2000-CabodiQS #optimisation #verification
Optimizing sequential verification by retiming transformations (GC, SQ, FS), pp. 601–606.
DATEDATE-2000-DonathKSVRSC #synthesis
Transformational Placement and Synthesis (WED, PK, LS, PV, LNR, AS, KC), pp. 194–201.
DATEDATE-2000-GuptaGMC #analysis #program transformation #programmable
Analysis of High-Level Address Code Transformations for Programmable Processors (SG, RKG, MM, FC), pp. 9–13.
PODSPODS-2000-MiloSV #xml
Typechecking for XML Transformers (TM, DS, VV), pp. 11–22.
ITiCSEITiCSE-2000-Chang #analysis #concept #learning #web
Discovering learning patterns from Web logs by concept transformation analysis (poster session) (CKC), pp. 186–187.
FASEFASE-2000-Parisi-PresicceW #configuration management #graph transformation #policy #using
Foundations for Software Configuration Management Policies Using Graph Transformations (FPP, ALW), pp. 304–318.
FoSSaCSFoSSaCS-2000-DrewesHP #graph transformation
Hierarchical Graph Transformation (FD, BH, DP), pp. 98–113.
TACASTACAS-2000-GoedickeEMT #development #distributed #graph transformation #multi #tool support
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation (MG, BE, TM, GT), pp. 43–47.
TACASTACAS-2000-RoychoudhuryKRRS #logic programming #program transformation #using #verification
Verification of Parameterized Systems Using Logic Program Transformations (AR, KNK, CRR, IVR, SAS), pp. 172–187.
ICSMEICSM-2000-FahmyH #architecture
Software Architecture Transformations (HF, RCH), pp. 88–96.
ICSMEICSM-2000-GibsonDM #correctness #maintenance
The Application of Correctness Preserving Transformations to Software Maintenance (JPG, TFD, BAM), p. 108–?.
WCREWCRE-2000-Godfrey
Defining, Transforming, and Exchanging High-Level Schemas (MWG), pp. 290–292.
WCREWCRE-2000-Ward #assembly #program transformation #reverse engineering #specification
Reverse Engineering from Assembler to Formal Specifications via Program Transformations (MPW), p. 11–?.
PLDIPLDI-2000-YiAK #memory management #multi #recursion
Transforming loops to recursion for multi-level memory hierarchies (QY, VSA, KK), pp. 169–181.
SASSAS-2000-BensalemBFGL #approach #generative #invariant
A Transformational Approach for Generating Non-linear Invariants (SB, MB, JCF, LG, YL), pp. 58–74.
STOCSTOC-2000-Vadhan #complexity #interactive #on the #proving
On transformation of interactive proofs that preserve the prover’s complexity (SPV), pp. 200–207.
ICALPICALP-2000-EngelsH #concept #evolution #framework #graph transformation #modelling
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution (GE, RH), pp. 127–150.
ICFPICFP-2000-DamianD #continuation #program analysis
Syntactic accidents in program analysis: on the impact of the CPS transformation (DD, OD), pp. 209–220.
ICFPICFP-2000-Hinze #backtracking #monad
Deriving backtracking monad transformers (RH), pp. 186–197.
CAiSECAiSE-2000-BehrensR #behaviour #code generation #model transformation #named
StateLator — Behavioral Code Generation as an Instance of a Model Transformation (TB, SR), pp. 401–416.
ICEISICEIS-2000-BattacharyaR #relational
Object Relational Transformation Case Tool (AB, JWR), pp. 21–26.
CIKMCIKM-2000-LohKW #approach #database #normalisation #sequence
Index Interpolation: An Approach to Subsequence Matching Supporting Normalization Transform in Time-Series Databases (WKL, SWK, KYW), pp. 480–487.
CIKMCIKM-2000-OrlandicY #multi #query #reuse
Object and Query Transformation: Supporting Multi-Dimensional Queries through Code Reuse (RO, BY), pp. 141–149.
ICMLICML-2000-TorkkolaC #learning
Mutual Information in Learning Feature Transformations (KT, WMC), pp. 1015–1022.
ICPRICPR-v1-2000-ArlandisPL #distance #recognition #using
Handwritten Character Recognition using the Continuous Distance Transformation (JA, JCPC, RL), pp. 1940–1943.
ICPRICPR-v1-2000-DevauxGT #image #segmentation
Aerial Color Image Segmentation by Karhunen-Loeve Transform (JCD, PG, FT), pp. 1309–1312.
ICPRICPR-v1-2000-GotzeDH #invariant #recognition
Invariant Object Recognition with Discriminant Features Based on Local Fast-Fourier Mellin Transform (NG, SD, GH), pp. 1948–1951.
ICPRICPR-v2-2000-BajaS #3d #distance #editing #image #using
Editing 3D Binary Images Using Distance Transforms (GSdB, SS), pp. 6030–6033.
ICPRICPR-v2-2000-Horikawa #2d #3d #image #invariant #similarity
Bispectrum-Based Feature of 2D and 3D Images Invariant to Similarity Transformations (YH), pp. 2511–2514.
ICPRICPR-v2-2000-HuangHS #automation #recognition
A New Automatic Quasar Recognition Technique Based on PCA and the Hough Transform (LyH, ZH, FS), pp. 2499–2502.
ICPRICPR-v2-2000-HuangY #using #verification
Signature Verification using Fractal Transformation (KH, HY), pp. 2851–2854.
ICPRICPR-v2-2000-KatoOA #modelling #precise #recognition #using
Precise Hand-printed Character Recognition Using Elastic Models via Nonlinear Transformation (TK, SO, HA), pp. 2364–2367.
ICPRICPR-v2-2000-KavallieratouSFK #learning #segmentation #using
Handwritten Character Segmentation Using Transformation-Based Learning (EK, ES, NF, GKK), pp. 2634–2637.
ICPRICPR-v2-2000-NicolasYC #correlation #fourier #information management
Color Information as a Third Dimension in Fourier Transform and Correlation (JN, MJY, JC), pp. 2515–2518.
ICPRICPR-v2-2000-PodolakLBM #hybrid
A Hybrid Neural System for Phonematic Transformation (ITP, SWL, AB, EM), pp. 2957–2960.
ICPRICPR-v2-2000-Ruiz-PinalesL #network #recognition #using
Cursive Handwriting Recogni