„software components“

Suchergebnisse

334 Treffer

• Systematic Composition of Language Components in MontiCore
  Butting, Arvid 2023 Shaker
• Formal Methods for Trustworthy Voting Systems – From Trusted Components to Reliable Software
  Kirsten, Michael ; Beckert, Bernhard ; Schürmann, Carsten 2023 KIT-Bibliothek
• Designing embodied interactive software agents for e-learning – principles, components, and roles
  Franke, Peter
• System-Level Modeling of the Powertrain for an Electric Aircraft with Superconducting Components
  Khonya, Ali ; Noe, Mathias ; Morandi, Antonio 2025 KIT Scientific Publishing
• Parameter dependencies for reusable performance specifications of software components
  Koziolek, Heiko ; Reussner, R. 2008 KIT Scientific Publishing
• Quantifying and Predicting the Influence of Execution Platform on Software Component Performance
  Kuperberg, Michael ; Reussner, R. 2010 KIT Scientific Publishing
• On Performance Assessment of Control Mechanisms and Virtual Components in SDN-based Networks
  Nguyen-Ngoc, Anh ; Tran-Gia, Phuoc ; Hoßfeld, Tobias 2018 Universität Würzburg
• Mining the evolution of software component usage
  Mileva, Yana Momchilova ; Zeller, Andreas 2012 Saarländische Universitäts- und Landesbibliothek
• Software Components and Formal Methods from a Computational Viewpoint
  Lambertz, Christian ; Majster-Cederbaum, Mila 2012 Universitätsbibliothek Mannheim
• Semantische Adaption von Komponenten
  Söldner, Guido ; Schröder-Preikschat, Wolfgang 2012 Universitätsbibliothek der Universität Erlangen-Nürnberg
• Measuring Reuse Characteristics of Software Components in an Extensible IDE
  Hussein, Karem 2008 VDM Verlag Dr. Müller
• Quantifying and predicting the influence of execution platform on software component performance
  Kuperberg, Michael
• A viable architecture for autonomic management of distributed software components
  Stoyanov, Emil
• Parameter dependencies for reusable performance specifications of software components
  Koziolek, Heiko
• Formal methods for components and objects – 6th international symposium ; revised papers
  Boer, Frank S. ˜deœ 2008 Springer
• Formal methods for components and objects – 7th international symposium ; revised lectures
  Boer, Frank S. ˜deœ 2009 Springer
• Towards the Integration of Lightweight Components in Cyber-Physical Systems
  Mena, Manel ; Llopis, Juan Alberto ; Criado, Javier ; Asensio, José Andrés ; Padilla, Nicolás
• Integrating deep and shallow natural language processing components – representations and hybrid architectures
  Schäfer, Ulrich
• Specification and verification of object oriented software components
  Roth, Andreas 2006 Univ.-Verl. Karlsruhe
• Adaptive caching of distributed components
  Pohl, Christoph