„programming model“

Suchergebnisse

4.625 Treffer

• Model-based verification of data protection mechanisms in collaborative business processes
  Belluccini, Sara ; Nicola, Rocco De ; Dumas, Marlon ; Pullonen-Raudvere, Pille ; Re, Barbara ; Tiezzi, Francesco
• A massively parallel interior-point solver for LPs with generalized arrowhead structure, and applications to energy system models
  Möst, Dominik ; Rehfeldt, Daniel Markus ; Hobbie, Hannes ; Schönheit, David Josua ; Koch, Thorsten ; Gleixner, Ambros M. 2025 Technische Universität Dresden
• LearnLib: a framework for extrapolating behavioral models
  Raffelt, Harald ; Steffen, Bernhard ; Berg, Therese ; Margaria, Tiziana
• Bayesian Inversion with Open-Source Codes for Various One-Dimensional Model Problems in Computational Mechanics
  Noii, Nima ; Khodadadian, Amirreza ; Ulloa, Jacinto ; Aldakheel, Fadi ; Wick, Thomas ; François, Stijn ; Wriggers, Peter 2022 Gottfried Wilhelm Leibniz Universität Hannover
• Model-driven management of BPMN-based business process families
  Delgado Cavaliere, Andrea ; Calegari, Daniel ; García, Félix ; Weber, Barbara
• Probabilistic modelling and verification using RoboChart and PRISM
  Ye, Kangfeng ; Cavalcanti, Ana ; Foster, Simon ; Miyazawa, Alvaro ; Woodcock, Jim
• Modeling and evaluating agile assembly systems using mixed-integer linear programming
  Burggräf, Peter ; Dannapfel, Heinrich Matthias ; Adlon, Tobias ; Schukat, Esben ; Kahmann, Hannes ; Holtwiesche, Lucian 2020 Universitätsbibliothek der RWTH Aachen
• Exploring how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud
  Abbad Andaloussi, Amine ; Zerbato, Francesca ; Burattin, Andrea ; Slaats, Tijs ; Hildebrandt, Thomas ; Weber, Barbara
• Model-based pairwise testing for feature interaction coverage in software product line engineering
  Lochau, Malte ; Oster, Sebastian ; Goltz, Ursula ; Schürr, Andy
• Experimenting and assessing machine learning tools for detecting and analyzing malicious behaviors in complex environments
  Cuzzocrea, Alfredo ; Martinelli, Fabio ; Mercaldo, Francesco ; Grasso, Giorgio Mario
• Model transformation intents and their properties
  Lúcio, Levi ; Amrani, Moussa ; Dingel, Juergen ; Lambers, Leen ; Salay, Rick ; Selim, Gehan M. K. ; Syriani, Eugene ; Wimmer, Manuel
• Supply Chain Configuration – Concepts, Solutions, and Applications
  Chandra, Charu ; Grabis, Jānis 2016 Springer New York
• Portfolio Selection Using Multi-Objective Optimisation
  Agarwal, Saurabh 2017 Springer International Publishing
• Financial Modelling with Forward-looking Information – An Intuitive Approach to Asset Pricing
  Aydın, Nadi Serhan 2017 Springer International Publishing
• A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties
  John, Stefan ; Kosiol, Jens ; Lambers, Leen ; Taentzer, Gabriele
• Enabling sophisticated lifecycle support for mobile healthcare data collection applications
  Schobel, Johannes ; Probst, Thomas ; Reichert, Manfred ; Schickler, Marc ; Pryss, Rüdiger 2019 Universität Ulm
• Development and modelling of different decarbonization scenarios of the European energy system until 2050 as a contribution to achieving the ambitious 1.5 ∘C climate target—establishment of open source/data modelling in the European H2020 project openENTRANCE
  Auer, Johann ; Crespo del Granado, Pedro ; Oei, Pao-Yu ; Hainsch, Karlo ; Löffler, Konstantin ; Burandt, Thorsten ; Huppmann, Daniel ; Grabaak, Ingeborg
• Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model
  Hansen, Dominik ; Leuschel, Michael ; Körner, Philipp ; Krings, Sebastian ; Naulin, Thomas ; Nayeri, Nader ; Schneider, David ; Skowron, Frank
• Modeling languages in Industry 4.0: an extended systematic mapping study
  Wortmann, Andreas ; Barais, Olivier ; Combemale, Benoit ; Wimmer, Manuel
• RoboChart: modelling and verification of the functional behaviour of robotic applications
  Miyazawa, Alvaro ; Ribeiro, Pedro ; Li, Wei ; Cavalcanti, Ana ; Timmis, Jon ; Woodcock, Jim