|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13487 occurrences of 5419 keywords
|
|
|
Results
Found 29674 publication records. Showing 29674 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Gregor Engels, Reiko Heckel |
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings, pp. 127-150, 2000, Springer, 3-540-67715-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
typed graph transformation, system modeling, model evolution, hierarchical graphs |
21 | Avner Shapiro, Ayellet Tal |
Polyhedron realization for shape transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 14(8/9), pp. 429-444, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Polyhedron realization, Correspondence, Metamorphosis, Shape transformation |
21 | Michael Leuschel |
Improving Homeomorphic Embedding for Online Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 199-218, 1998, Springer, 3-540-65765-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Specialisation and Transformation, Functional & Logic Programming, Logic Programming, Program Analysis, Termination, Well-quasi orders |
21 | Annalisa Bossi, Nicoletta Cocco |
Programs Without Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings, pp. 28-48, 1997, Springer, 3-540-65074-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
finitely failing derivations, program transformation, program verification |
21 | Andrei P. Nemytykh, Victoria A. Pinchuk |
Program Transformation with Metasystem Transitions: Experiments with a Supercompiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings, pp. 249-260, 1996, Springer, 3-540-62064-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
metasystem transition, Refal, optimization, program transformation, recursion, metacomputation, supercompilation |
21 | Edin Hodzic, Weijia Shang |
On Supernode Transformation with Minimized Total Running Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 1996 International Conference on Application-Specific Systems, Architectures, and Processors (ASAP '96), August 19-23, 1996, Chicago, IL , USA, pp. 402-414, 1996, IEEE Computer Society, 0-8186-7542-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
supernode transformation, minimizing running time, reducing communication startup cost, message passing, Parallelizing compilers, distributed memory parallel computers |
21 | Josef Küng, Roland R. Wagner, Wolfram Wöß |
A Rule-Driven Transformation Processor for Bill of Material Data ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 6th International Conference, DEXA'95, London, United Kingdom, September 4-8, 1995, Proceedings, pp. 545-553, 1995, Springer, 3-540-60303-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
extended relational database systems, bill of material, transformation of bill of material, database application, CIM |
21 | Malcolm H. Davis, Alireza Khotanzad, Duane P. Flamig, Steven E. Harms |
Elastic Body Splines: A Physics Based Approach to Coordinate Transformation in Medical Image Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: Eighth Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'95), June 9-10, 1995, Lubbock, Texas, USA, pp. 81-88, 1995, IEEE Computer Society, 0-8186-7117-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
elastic body splines, medical image matching, landmark locations, 3D magnetic resonance images, 3D breast MRI, image matching, medical image processing, splines (mathematics), biomedical NMR, coordinate transformation, thin plate spline, breast |
21 | Weiyi Meng, Aqueo Kamada, Yuhsi Chang |
Transformation of Relational Schemas to Object-Oriented Schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 356-361, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
OODB schema, heterogeneous database, schema transformation, relational schema |
21 | Jimmy Shinn-Hwa Wang, Wayne Wei-Ming Dai |
Transformation of min-max optimization to least-square estimation and application to interconnect design optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 664-670, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
min-max optimization transformation, interconnect design optimization, tighter bound, circuit layout CAD, minimisation, least squares approximations, multichip modules, multichip modules, least-square estimation, minimax techniques |
21 | Jang-Ping Sheu, Chih-Yung Chang |
Synthesizing Nested Loop Algorithms Using Nonlinear Transformation Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(3), pp. 304-317, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
nested loop algorithms, nonlinear transformation method, FOR-loop models, nestedFOR-loops, fixed size systolic arrays, space mapping schemes, parallelform, parallel algorithms, parallel programming, array processors |
21 | Jean-Claude Laprie, Karama Kanoun, Christian Béounes, Mohamed Kaâniche |
The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(4), pp. 370-382, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
KAT, knowledge-action-transformation, availability growth, single-component systems, action models, hyperexponential model, multicomponent systems, knowledge based systems, software reliability, Markov processes, Markov models, knowledge models, reliability theory |
21 | Shinji Umeyama |
Least-Squares Estimation of Transformation Parameters Between Two Point Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(4), pp. 376-380, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
two point patterns, transformation parameters, least mean squared error, pattern recognition, pattern recognition, computer vision, computer vision, parameter estimation, parameter estimation, error analysis, least squares approximations |
21 | Ireneusz Sierocki |
A Transformation of the Problems of Minimal Satisfaction of Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'91, A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991, Proceedings, pp. 218-224, 1991, Springer, 3-540-55354-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
problem of minimal satisfaction of constraints, NP-difficulty, transformation, homomorphism |
20 | Peihua Qiu, Chen Xing |
Intensity based nonparametric image registration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multimedia Information Retrieval ![In: Proceedings of the 11th ACM SIGMM International Conference on Multimedia Information Retrieval, MIR 2010, Philadelphia, Pennsylvania, USA, March 29-31, 2010, pp. 221-226, 2010, ACM, 978-1-60558-815-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
degeneration, local smoothing, nonparametric transformation, edge detection |
20 | Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon |
Qualifying input test data for model transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(2), pp. 185-203, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Test qualification, Software testing, Model transformation, Metamodelling, Model-based testing, Test criteria |
20 | Yu Sun 0002, Jeff Gray 0001, Jules White |
MT-scribe: a tool for recording and inferring model transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 815-816, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mt-scribe, model transformation, demonstration |
20 | Nathalie Aquino |
Adding flexibility in the model-driven engineering of user interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , EICS 2009, Pittsburgh, PA, USA, July 15-17, 2009, pp. 329-332, 2009, ACM, 978-1-60558-600-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
user interface, profile, model transformation, model-driven engineering, template |
20 | Hossein Moeinzadeh, Mehdi Mohammadi, Ahmad Akbari, Babak Nasersharif |
Robust speech recognition using evolutionary class-dependent LDA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, Companion Material, pp. 2109-2114, 2009, ACM, 978-1-60558-505-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
mfcc, particle swarm optimization, speech recognition, linear discriminate analysis, harmony search, transformation matrix |
20 | Hossein Moeinzadeh, Mehdi Mohammadi, Ahmad Akbari, Babak Nasersharif |
Evolutionary-class independent LDA as a pre-process for improving classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 1909-1910, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
genetic algorithm, classification, evolutionary algorithm, particle swarm optimization, linear discriminate analysis, pre-processing, transformation matrix |
20 | Jean Utke, Uwe Naumann, Michael W. Fagan, Nathan R. Tallent, Michelle Mills Strout, Patrick Heimbach, Chris Hill, Carl Wunsch |
OpenAD/F: A Modular Open-Source Tool for Automatic Differentiation of Fortran Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 34(4), pp. 18:1-18:36, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
adjoint compiler, Automatic differentiation, source transformation |
20 | Du Li, Rui Li 0018 |
An Approach to Ensuring Consistency in Peer-to-Peer Real-Time Group Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Support. Cooperative Work. ![In: Comput. Support. Cooperative Work. 17(5-6), pp. 553-611, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
computer-supported cooperative work, groupware, operational transformation, consistency maintenance, group editing |
20 | Johann Eder, Karl Wiggisser |
Modeling Transformations between Versions of a Temporal Data Warehouse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Workshops ![In: Advances in Conceptual Modeling - Challenges and Opportunities, ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona Spain, October 20-23, 2008. Proceedings, pp. 68-77, 2008, Springer, 978-3-540-87990-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Data Warehouse Maintenance, Temporal Data Warehouses, Data Transformation |
20 | Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau |
Control flow optimization in loops using interval analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2008 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 157-166, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
algorithmic code transformation, compiler loop optimization, interval analysis |
20 | Rasha Tawhid, Dorina C. Petriu |
Integrating Performance Analysis in the Model Driven Development of Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 490-504, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, Performance Analysis, Software Product Line, MARTE, ATL, Model to model Transformation |
20 | Rasha Tawhid, Dorina C. Petriu |
Towards automatic derivation of a product performance model from a UML software product line model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the 7th International Workshop on Software and Performance, WOSP 2008, Princeton, NJ, USA, June 23-26, 2008, pp. 91-102, 2008, ACM, 978-1-59593-873-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model transformation, software product line, software performance engineering, uml, marte |
20 | Arnaud Blouin, Olivier Beaudoux, Stéphane Loiseau |
Malan: a mapping language for the data manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2008 ACM Symposium on Document Engineering, Sao Paulo, Brazil, September 16-19, 2008, pp. 66-75, 2008, ACM, 978-1-60558-081-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
malan, UML, mapping, schema transformation, data manipulation, schema translation |
20 | Thierry Joffrain, Tze Meng Low, Enrique S. Quintana-Ortí, Robert A. van de Geijn, Field G. Van Zee |
Accumulating Householder transformations, revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 32(2), pp. 169-179, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Householder transformation, compact WY transform, Linear algebra, QR factorization |
20 | Keiichirou Kusakari, Masaki Nakamura 0001, Yoshihito Toyama |
Elimination Transformations for Associative-Commutative Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 37(3), pp. 205-229, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
(AC-)termination, (AC-)dependency pair, argument filtering, elimination transformation |
20 | Feng Chen 0004, Hongji Yang, Bing Qiao, William Cheng-Chung Chu |
A Formal Model Driven Approach to Dependable Software Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 1, pp. 205-214, 2006, IEEE Computer Society, 0-7695-2655-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Formal Method, Model Driven Architecture (MDA), Software Evolution, Model Transformation, Software Reengineering, Wide Spectrum Language (WSL) |
20 | Ivan Porres |
Rule-based update transformations and their application to model refactorings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 4(4), pp. 368-385, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Model transformation, Model driven engineering |
20 | Atsushi Katayama, Takao Nakamura, Masashi Yamamuro, Noboru Sonehara |
New high-speed frame detection method: Side Trace Algorithm (STA) for i-appli on cellular phones to detect watermarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUM ![In: Proceedings of the 3rd International Conference on Mobile and Ubiquitous Multimedia, MUM 2004, College Park, Maryland, USA, October 27-29, 2004, pp. 109-116, 2004, ACM, 1-58113-981-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
i-appli, Java, watermark, camera, corner detection, cellular phone, projective transformation, line detection |
20 | Chiyan Chen, Hongwei Xi |
Implementing typeful program transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003, pp. 20-28, 2003, ACM, 1-58113-667-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
DML, dependent ML, typeful program transformation, dependent types, CPS, continuation-passing style |
20 | Abhay Vardhan, Gul Agha |
Using passive object garbage collection algorithms for garbage collection of active objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSP/ISMM ![In: Proceedings of The Workshop on Memory Systems Performance (MSP 2002), June 16, 2002 and The International Symposium on Memory Management (ISMM 2002), June 20-21, 2002, Berlin, Germany, pp. 213-220, 2002, ACM, 1-58113-539-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Java, agents, program transformation, garbage collection, actors, active objects |
20 | Thorsten Ehm |
Transformational Construction of Correct Pointer Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, pp. 116-130, 2001, Springer, 3-540-43075-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Paterson/Hewitt, pointer algorithms, destructive updates, program transformation |
20 | Fosca Giannotti, Manuel V. Hermenegildo |
A Technique for Recursive Invariance Detection and Selective Program Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings, pp. 323-334, 1991, Springer, 3-540-54444-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Cycle Invariant Detection, Compile-time Optimization, Logic Programming, Program Transformation, Abstract Interpretation, Program Specialization, Parallel Logic Programming |
20 | Valerie Graf-Drasch, Leonie Kauffeld, Laura Kempf, Anna Maria Oberländer, Antonie Teuchert |
Driving twin Transformation - the Interplay of Digital Transformation and Sustainability Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIS ![In: 31st European Conference on Information Systems - Co-creating Sustainable Digital Futures, ECIS 2023, Kristiansan, Norway, June 11-16, 2023, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Franz Nazet, Michal Kuciapski |
Blockchain Technology Perception in Supporting the Digital Transformation of Supply Chain Management: A Preliminary Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAIS ![In: Digital Transformation - 14th PLAIS EuroSymposium on Digital Transformation, PLAIS EuroSymposium 2022, Sopot, Poland, December 15, 2022, Proceedings, pp. 126-137, 2022, Springer, 978-3-031-23011-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Eleonora Veglianti, Yaya Li, Marco De Marco |
The Role of Smart Buildings in the Digital Transformation Era: Insight on China. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAIS ![In: Digital Transformation - 13th PLAIS EuroSymposium on Digital Transformation, PLAIS EuroSymposium 2021, Sopot, Poland, September 23, 2021, Proceedings, pp. 82-93, 2021, Springer, 978-3-030-85892-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Patrycja Krauze-Maslankowska |
Open Data and Smart City Initiatives for Digital Transformation in Public Sector in Poland. A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAIS ![In: Digital Transformation - 13th PLAIS EuroSymposium on Digital Transformation, PLAIS EuroSymposium 2021, Sopot, Poland, September 23, 2021, Proceedings, pp. 71-81, 2021, Springer, 978-3-030-85892-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Caro von Totth |
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings, pp. 236-251, 2016, Springer, 978-3-319-40529-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Abdoulkader Osman Guédi |
Évolution et Transformation automatisée de modèles de Systèmes d'Information. (Evolution and Transformation of Automatic Information Systems modelsEvolution and Transformation of Automatic Information Systems models : Une approche guidée par l'Analyse Formelle de Concepts et l'Analyse Relationnelle de Concepts). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
20 | Hajer Saada |
Exploiting Model Transformation Examples for Easy Model Transformation Handling (Learning and Recovery). (Vers une assistance à la manipulation de transformations de modèles par l'exploitation d'exemples de transformation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
20 | Asif Ali Munshi, Fareed Hussain |
Transformation of traditional business to electronic business a transformation cum maturity model and transformation matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICETE ![In: ICETE 2005 - Proceedings of the Second International Conference on e-Business and Telecommunication Networks, Reading, UK, October 3-7, 2005, pp. 33-40, 2005, INSTICC Press, 972-8865-32-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
20 | Karsten Ehrig, Jessica Winkelmann |
Model Transformation From VisualOCL to OCL Using Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRaMoT@GPCE ![In: Proceedings of the International Workshop on Graph and Model Transformation, GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005, pp. 23-37, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai |
Applying a Model Transformation Taxonomy to Graph Transformation Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRaMoT@GPCE ![In: Proceedings of the International Workshop on Graph and Model Transformation, GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005, pp. 143-159, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Ulrich Neumerkel |
A Transformation Based in the Equality Between Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 162-176, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
20 | Pierre De Boeck, Baudouin Le Charlier |
Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 229-245, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
20 | Kung-Kiu Lau, Mario Ornaghi |
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993, pp. 10-31, 1993, Springer, 3-540-19864-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
20 | Bart Demoen |
On the Transformation of a Prolog Program to a More Efficient Binary Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 2-3 July 1992, pp. 242-252, 1992, Springer, 3-540-19806-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Mattias Waldau |
Formal Validation of Transformation Schemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Program Synthesis and Transformation, Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991, pp. 97-110, 1991, Springer, 3-540-19742-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Kiran Sonia, Sharifullah Khan |
R2O transformation system: relation to ontology transformation for scalable data integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 12th International Database Engineering and Applications Symposium (IDEAS 2008), September 10-12, 2008, Coimbra, Portugal, pp. 291-295, 2008, ACM, 978-1-60558-188-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
source model, ontology, data integration, conceptual modeling, OWL, semantic similarity |
19 | Bernd Brassel, Sebastian Fischer 0001, Frank Huch |
A Program Transformation for Tracing Functional Logic Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers, pp. 160-176, 2006, Springer, 978-3-540-71409-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Jiming Liu 0001, William Kwok-Wai Cheung |
A Driving Force for e-Transformation - The Centre for e-Transformation Research / WIC Hong Kong Centre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 20-24 September 2004, Beijing, China, pp. 791-792, 2004, IEEE Computer Society, 0-7695-2100-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | John P. Gallagher |
A Program Transformation for Backwards Analysis of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers, pp. 92-105, 2003, Springer, 3-540-22174-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Yoshihiko Futamura, Zenjiro Konishi, Robert Glück |
WSDFU: Program Transformation System Based on Generalized Partial Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Essence of Computation ![In: The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday], pp. 358-378, 2002, Springer, 3-540-00326-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Paolo Baldan, Barbara König 0001 |
Approximating the Behaviour of Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, pp. 14-29, 2002, Springer, 3-540-44310-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Ming Li 0001, Louxin Zhang |
Better Approximation of Diagonal-Flip Transformation and Rotation Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 4th Annual International Conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998, Proceedings, pp. 85-94, 1998, Springer, 3-540-64824-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Mark Pauly, Niloy J. Mitra, Johannes Wallner 0001, Helmut Pottmann, Leonidas J. Guibas |
Discovering structural regularity in 3D geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 27(3), pp. 43, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
repetitive pattern, transformation group, shape analysis, similarity transformation, regular structure |
19 | Perdita Stevens |
A Landscape of Bidirectional Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GTTSE ![In: Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers, pp. 408-424, 2007, Springer, 978-3-540-88642-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
bidirectional model transformation, bidirectional programming language, graph transformation, QVT, triple graph grammar |
19 | Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner |
Code Analysis for Temporal Predictability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 32(3), pp. 253-277, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
abstract interpretation, compiler optimizations, graph transformation, worst-case execution time analysis, code transformation, real-time languages |
19 | András Balogh, Gergely Varró, Dániel Varró, András Pataricza |
Compiling model transformations to EJB3-specific transformer plugins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1288-1295, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
EJB 3.0, transformer plugins, model transformation, graph transformation, abstract state machines |
19 | Goetz Botterweck |
A Model-Driven Approach to the Engineering of Multiple User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, pp. 106-115, 2006, Springer, 978-3-540-69488-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multiple front-ends, Atlas Transformation Language, model transformation, user interface modelling, Model-driven, ATL, user interface engineering, multiple user interfaces |
19 | Daniel A. Keim, Christian Panse, Stephen C. North |
Medial-Axis-Based Cartograms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 25(3), pp. 60-68, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
contiguous cartograms, mesh transformation, drawing algorithm, medial axes transformation, cartodraw, information visualization, geovisualization, cartogram |
19 | Aseem Daga, Sergio de Cesare, Mark Lycett, Christopher Partridge |
An Ontological Approach for Recovering Legacy Business Content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
legacy transformation, content transformation, ontology, legacy system |
19 | Dániel Varró, András Pataricza |
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 2(3), pp. 187-210, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Refinement, Model transformation, Metamodeling, Formal semantics, Graph transformation |
19 | Wolfgang Günther 0001, Rolf Drechsler |
Linear Transformations and Exact Minimization of BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 8th Great Lakes Symposium on VLSI (GLS-VLSI '98), 19-21 February 1998, Lafayette, LA, USA, pp. 325-330, 1998, IEEE Computer Society, 0-8186-8409-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
FPGA, synthesis, BDD, linear transformation, variable ordering, spectral transformation |
19 | Victor L. Winter, James M. Boyle |
Proving refinement transformations for deriving high-assurance software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 68-77, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
refinement transformation proving, high-assurance software engineering, refinement-based approach, TAMPR transformation system, automated refinement, semantic framework, automated reasoning system, software engineering, program transformations, program verification, stepwise refinement, high-level specification |
19 | Sagar Sen, Benoit Baudry, Jean-Marie Mottu |
Automatic Model Generation Strategies for Model Transformation Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 2nd International Conference, ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, pp. 148-164, 2009, Springer, 978-3-642-02407-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Roy Grønmo, Stein Krogdahl, Birger Møller-Pedersen |
A Collection Operator for Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 2nd International Conference, ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, pp. 67-82, 2009, Springer, 978-3-642-02407-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Jian-Long Kuo |
Intelligent Decoupled SAC-SVD Method in Color Space Transformation of Computer Vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Next-Generation Applied Intelligence, 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings, pp. 56-65, 2009, Springer, 978-3-642-02567-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reconfigurable computing system (RCS), single assignment C (SAC), chromaticity coordinate, parallel computing, singular value decomposition (SVD), VHDL, data flow graph (DFG), color space, Decoupled |
19 | Rainer Hauser, Michael Friess, Jochen Malte Küster, Jussi Vanhatalo |
An Incremental Approach to the Analysis and Transformation of Workflows Using Region Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 38(3), pp. 347-359, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Zef Hemel, Lennart C. L. Kats, Eelco Visser |
Code Generation by Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 1st International Conference, ICMT@TOOLS 2008, Zurich, Switzerland, July 1-2, 2008, Proceedings, pp. 183-198, 2008, Springer, 978-3-540-69926-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | JianHong Ye, ShiXin Sun, Lijie Wen, Wen Song |
Transformation of BPMN to YAWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 354-359, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Romain Robbes, Michele Lanza |
Example-Based Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 174-188, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Khan M. Iftekharuddin, Yaqin Li |
A biologically-inspired computational model for transformation invariant target recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2008, part of the IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, pp. 1049-1056, 2008, IEEE, 978-1-4244-1820-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Reiko Heckel |
Tutorial Introduction to Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 458-459, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Girija Chetty |
A Novel Shape Transformation Approach for Quantizing Facial Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICTA ![In: Proceedings of the International Conference on Digital Image Computing: Techniques and Applications, DICTA 2008, Canberra, ACT, Australia, 1-3 December 2008, pp. 168-175, 2008, IEEE Computer Society, 978-0-7695-3456-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Tadahiko Kimoto |
Modified Level Transformation for Bit Inversion Inwatermarking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (4) ![In: Proceedings of the International Conference on Image Processing, ICIP 2007, September 16-19, 2007, San Antonio, Texas, USA, pp. 457-460, 2007, IEEE, 978-1-4244-1436-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Shige Wang |
Model Transformation for High-Integrity Software Development in Derivative Vehicle Control System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 227-234, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Yale N. Patt |
The Transformation Hierarchy in the Era of Multi-core. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2007, 14th International Conference, Goa, India, December 18-21, 2007, Proceedings, pp. 5, 2007, Springer, 978-3-540-77219-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jason Cong, Guojie Luo, Jie Wei, Yan Zhang |
Thermal-Aware 3D IC Placement Via Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 780-785, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau |
Short-Circuit Compiler Transformation: Optimizing Conditional Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 504-510, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Qiong Huang 0001, Duncan S. Wong, Yiming Zhao |
Generic Transformation to Strongly Unforgeable Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, 5th International Conference, ACNS 2007, Zhuhai, China, June 5-8, 2007, Proceedings, pp. 1-17, 2007, Springer, 978-3-540-72737-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Min-Seok Kim, Ha-Jin Yu |
A New Feature Transformation Method Based on Rotation for Speaker Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (1) ![In: 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), October 29-31, 2007, Patras, Greece, Volume 1, pp. 68-73, 2007, IEEE Computer Society, 0-7695-3015-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Esther Guerra, Daniel Sanz, Paloma Díaz 0001, Ignacio Aedo |
A Transformation-Driven Approach to the Verification of Security Policies in Web Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering, 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings, pp. 269-284, 2007, Springer, 978-3-540-73596-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Manuel Wimmer, Michael Strommer, Horst Kargl, Gerhard Kramler |
Towards Model Transformation Generation By-Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA, pp. 285, 2007, IEEE Computer Society, 0-7695-2755-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Atsuyuki Okabe, Toshiaki Satoh |
Uniform network transformation for points pattern analysis on a non-uniform network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Geogr. Syst. ![In: J. Geogr. Syst. 8(1), pp. 25-37, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
JEL Classification C12, C14, C15, C13 |
19 | Xia Hong 0001 |
A fast identification algorithm for box-cox transformation based radial basis function neural network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 17(4), pp. 1064-1069, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Jan Mendling, Michael Moser, Gustaf Neumann |
Transformation of yEPC business process models to YAWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1262-1266, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
yEPC, workflow, business process modeling, EPC, YAWL |
19 | András Balogh, Dániel Varró |
Advanced model transformation language constructs in the VIATRA2 framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1280-1287, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Zarrin Langari, Richard J. Trefler |
Formal Modeling of Communication Protocols by Graph Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 348-363, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Manoli Albert, Javier Muñoz, Vicente Pelechano, Oscar Pastor 0001 |
Model to Text Transformation in Practice: Generating Code from Rich Associations Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Advances in Conceptual Modeling - Theory and Practice, ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, 2006, Proceedings, pp. 63-72, 2006, Springer, 3-540-47703-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Sari Hakkarainen, Lillian Hella, Darijus Strasunskas, Stine Tuxen |
A Semantic Transformation Approach for ISO 15926. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Advances in Conceptual Modeling - Theory and Practice, ER 2006 Workshops BP-UML, CoMoGIS, COSS, ECDM, OIS, QoIS, SemWAT, Tucson, AZ, USA, November 6-9, 2006, Proceedings, pp. 281-290, 2006, Springer, 3-540-47703-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Jin Dong, Hongwei Ding, Changrui Ren, Wei Wang 0024 |
IBM SmartSCOR - a SCOR based supply chain transformation platform through simulation and optimization techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 650-659, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Gregor Engels, Marc Lohmann, Stefan Sauer 0001, Reiko Heckel |
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, pp. 336-350, 2006, Springer, 3-540-38870-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Juhnyoung Lee, Anca-Andreea Ivan |
Value-Centric, Model-Driven Business Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC/EEE ![In: Eighth IEEE International Conference on E-Commerce Technology (CEC 2006) / Third IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (EEE 2006) and Workshops, 26-29 June 2006, Palo Alto, California, USA, pp. 31, 2006, IEEE Computer Society, 0-7695-2511-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Marion Murzek, Gerhard Kramler, Elke Michlmayr |
Structural Patterns for the Transformation of Business Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC Workshops ![In: Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 16-20 October 2006, Hong Kong, China, Workshops, pp. 18, 2006, IEEE Computer Society, 0-7695-2743-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Mao Chen 0001, Jakka Sairamesh |
A Knowledge Model-driven Recommender System for Business Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2006 IEEE International Conference on Services Computing (SCC 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 77-84, 2006, IEEE Computer Society, 0-7695-2670-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Isabel Díaz, Lidia Moreno, Oscar Pastor 0001, Alfredo Matteo |
Interaction Transformation Patterns Based on Semantic Roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NLDB ![In: Natural Language Processing and Information Systems, 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005, Proceedings, pp. 239-250, 2005, Springer, 3-540-26031-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 29674 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|