يعرض 1 - 10 نتائج من 22 نتيجة بحث عن '"Georg Hinkel"', وقت الاستعلام: 0.88s تنقيح النتائج
  1. 1
    دورية أكاديمية
    The Tecan SiLA2 SDK: A royalty-free, open-source framework to develop SiLA2 servers and clients

    المؤلفون: Georg Hinkel, Jörg Kunert, Jason Meredith

    المصدر: SLAS Technology, Vol 28, Iss 5, Pp 334-344 (2023)

    مصطلحات موضوعية: Integration, SiLA2, Biotechnology, TP248.13-248.65, Medical technology, R855-855.5

    وصف الملف: electronic resource

    Relation: http://www.sciencedirect.com/science/article/pii/S2472630323000444; https://doaj.org/toc/2472-6303

    URL الوصول: https://doaj.org/article/808ea1b037b741f189c86cb8f3c7bd41

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    دورية أكاديمية
    An NMF solution for the Petri Nets to State Charts case study at the TTC 2013

    المؤلفون: Georg Hinkel, Thomas Goldschmidt, Lucia Happe

    المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 135, Iss Proc. TTC 2013, Pp 95-100 (2013)

    مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

    وصف الملف: electronic resource

    Relation: http://arxiv.org/pdf/1312.0596v1; https://doaj.org/toc/2075-2180

    URL الوصول: https://doaj.org/article/9b3c12c8d9274077a0510f8b828eff4c

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    An NMF solution for the Flowgraphs case at the TTC 2013

    المؤلفون: Georg Hinkel, Thomas Goldschmidt, Lucia Happe

    المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 135, Iss Proc. TTC 2013, Pp 37-42 (2013)

    مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

    وصف الملف: electronic resource

    Relation: http://arxiv.org/pdf/1312.0344v1; https://doaj.org/toc/2075-2180

    URL الوصول: https://doaj.org/article/b71c6f3cc14e4a10993bd273451bc983

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    A cross-technology benchmark for incremental graph queries

    المؤلفون: Georg Hinkel, Antonio Garcia-Dominguez, René Schöne, Artur Boronat, Massimo Tisi, Théo Le Calvar, Frederic Jouault, József Marton, Tamás Nyíri, János Benjamin Antal, Márton Elekes, Gábor Szárnyas

    المساهمون: Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands, Aston University [Birmingham], Technische Universität Dresden = Dresden University of Technology (TU Dresden), School of Informatics, [Leicester], University of Leicester, Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), NaoMod - Nantes Software Modeling Group (LS2N - équipe NaoMod), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Département d'Informatique et de Recherche Opérationnelle [Montreal] (DIRO), Université de Montréal (UdeM), ESEO-ÉRIS (ÉRIS), ESEO-Tech, Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest [Angers] (ESEO)-Université Bretagne Loire (UBL)-École supérieure d'électronique de l'ouest [Angers] (ESEO), Department of Telecommunications and Media Informatics (BME-TMIT), Budapest University of Technology and Economics [Budapest] (BME), Department of Measurement and Information Systems, Centrum voor Wiskunde en Informatica (CWI), Centrum Wiskunde & Informatica (CWI)-Netherlands Organisation for Scientific Research

    المصدر: Software and System Modelling, 21, 755-804
    Software and Systems Modeling
    Software and Systems Modeling, 2022, 21 (April), pp.755-804. ⟨10.1007/s10270-021-00927-5⟩

    مصطلحات موضوعية: Graph databases, Incremental queries, Incremental computing, 020207 software engineering, 02 engineering and technology, Graph analytics, Graph queries, 020204 information systems, Modeling and Simulation, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Model-driven engineering, Performance benchmark, Relational databases, Software

    وصف الملف: application/pdf

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::51c8cc1bf745ba379f96677a06f5702d
    https://doi.org/10.1007/s10270-021-00927-5

    Find this article in full text from Springer Verlag. Find this article in full text from ProQuest
    أضف إلى المفضلة
  5. 5
    An extensible approach to implicit incremental model analyses

    المؤلفون: Robert Heinrich, Georg Hinkel, Ralf Reussner

    المصدر: Software and systems modeling, 18 (5), 3151-3187

    مصطلحات موضوعية: Theoretical computer science, Correctness, Computer science, Computation, DATA processing & computer science, Maintainability, 020207 software engineering, 02 engineering and technology, Extensibility, Task (computing), Modeling and Simulation, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), Incremental build model, ddc:004, Category theory, Software

    وصف الملف: application/pdf

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2ae0be695afa2a241bdd8a46790e698f
    https://doi.org/10.1007/s10270-019-00719-y

    Find this article in full text from Springer Verlag. Find this article in full text from ProQuest
    أضف إلى المفضلة
  6. 6
    Using structural decomposition and refinements for deep modeling of software architectures

    المؤلفون: Georg Hinkel

    المصدر: Software & Systems Modeling. 18:2787-2819

    مصطلحات موضوعية: Architecture description language, Computer science, Programming language, Interface (Java), Modeling language, Model transformation, 020207 software engineering, 02 engineering and technology, computer.software_genre, Metamodeling, Modeling and Simulation, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Incremental build model, computer, Software, Software architecture description, computer.programming_language

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::914f2c204b9a21fb226d92603d1d538f
    https://doi.org/10.1007/s10270-018-0701-6

    Find this article in full text from Springer Verlag. Find this article in full text from ProQuest
    أضف إلى المفضلة
  7. 7
    Benchmarking bidirectional transformations: theory, implementation, application, and assessment

    المؤلفون: Anthony Anjorin, Albert Zündorf, Leila Samimi-Dehkordi, Hsiang-Shang Ko, Bernhard Westfechtel, Romina Eramo, Georg Hinkel, Zinovy Diskin, Thomas Buchmann

    مصطلحات موضوعية: Computer science, business.industry, Framework, 020207 software engineering, 02 engineering and technology, Benchmarking, Benchmark, Bidirectional transformation, Model synchronization, Variety (cybernetics), Range (mathematics), Conceptual framework, Modeling and Simulation, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), The Conceptual Framework, Software engineering, business, Implementation, Software

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e56742af585114f39026cb119b992b68
    http://hdl.handle.net/11697/149491

    أضف إلى المفضلة
  8. 8
    Change propagation and bidirectionality in internal transformation DSLs

    المؤلفون: Georg Hinkel, Erik Burger

    المصدر: Software & Systems Modeling. 18:249-278

    مصطلحات موضوعية: Domain-specific language, Finite-state machine, Programming language, Computer science, Internal model, 020207 software engineering, 02 engineering and technology, Petri net, computer.software_genre, Rotation formalisms in three dimensions, Transformation language, Modeling and Simulation, Synchronization (computer science), 0202 electrical engineering, electronic engineering, information engineering, Model-driven architecture, computer, Software, computer.programming_language

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f4d028466a70822f8f219294745f752e
    https://doi.org/10.1007/s10270-017-0617-6

    Find this article in full text from Springer Verlag. Find this article in full text from ProQuest
    أضف إلى المفضلة
  9. 9
    Using internal domain-specific languages to inherit tool support and modularity for model transformations

    المؤلفون: Thomas Goldschmidt, Georg Hinkel, Erik Burger, Ralf Reussner

    المصدر: Software & Systems Modeling. 18:129-155

    مصطلحات موضوعية: Domain-specific language, Computer science, business.industry, Programming language, Model transformation, 020207 software engineering, 02 engineering and technology, computer.software_genre, Modularity, Transformation language, Domain (software engineering), 020204 information systems, Modeling and Simulation, Modular programming, 0202 electrical engineering, electronic engineering, information engineering, Software system, Model-driven architecture, Software engineering, business, computer, Software, computer.programming_language

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::116ee74d4de188e5643aa4442700133f
    https://doi.org/10.1007/s10270-017-0578-9

    Find this article in full text from Springer Verlag. Find this article in full text from ProQuest
    أضف إلى المفضلة
  10. 10
    Refinements and Structural Decompositions in Generated Code

    المؤلفون: Georg Hinkel, Kiana Busch, Robert Heinrich

    المصدر: MODELSWARD

    مصطلحات موضوعية: Computer science, Programming language, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), 020207 software engineering, 02 engineering and technology, computer.software_genre, computer

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::89eefef626da7ec32e53db49c456cef9
    https://doi.org/10.5220/0006549403030310

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء