„programming model“

Suchergebnisse

4.625 Treffer

• View-based model-driven software development with ModelJoin
  Burger, Erik ; Henss, Jörg ; Küster, Martin ; Kruse, Steffen ; Happe, Lucia
• Online Decision Support for Offshore Wind Farm Installations
  Rippel, Daniel 2026 Springer Vieweg
• Theme section on modeling and sustainability
  David, Istvan ; Barišić, Ankica ; Bork, Dominik
• Business process modeling language selection for research modelers
  Farshidi, Siamak ; Kwantes, Izaak Beer ; Jansen, Slinger
• Optimal control for supply network models: Mixed integer programming
  Göttlich, Simone ; Herty, Michael
• A probabilistic fuzzy goal programming model for managing the supply of emergency relief materials
  Jana, Rabin K. ; Sharma, Dinesh K. ; Mehta, Peeyush
• Risk management capability model for the development of medical device software
  Mc Caffery, Fergal ; Burton, John ; Richardson, Ita
• Neutrosophic Goal Geometric Programming Problem and Its Application to Multi-objective Reliability Optimization Model
  Kundu, Tanmay ; Islam, Sahidul
• Editorial to the theme section on model-based design of cyber-physical systems
  Broy, Manfred ; Daembkes, Heinrich ; Sztipanovits, Janos
• Model checking parameterized asynchronous shared-memory systems
  Durand-Gasselin, Antoine ; Esparza, Javier ; Ganty, Pierre ; Majumdar, Rupak
• Lossless compaction of model execution traces
  Hojaji, Fazilat ; Zamani, Bahman ; Hamou-Lhadj, Abdelwahab ; Mayerhofer, Tanja ; Bousse, Erwan
• Software and data technologies – 7th international conference ; revised selected papers
  Cordeiro, José António Moinhos ; Hammoudi, Slimane ; Sinderen, Marten ˜vanœ 2013 Springer
• Agent-based modelling of Trypanosoma collective behaviour
  Kuhn, Andreas ; Fischer, Sabine C. ; Engstler, Markus ; Stark, Holger 2025 Universität Würzburg
• Linear Programming Bounds for Non-Euclidean Sphere Packings
  Wackenhuth, Maximilian ; Hartnick, Tobias ; Bowen, Lewis ; Gorodnik, Alexander 2025 KIT-Bibliothek
• Ontology-based security modeling in ArchiMate
  Oliveira, Ítalo ; Sales, Tiago Prince ; Almeida, João Paulo A. ; Baratella, Riccardo ; Fumagalli, Mattia ; Guizzardi, Giancarlo
• An unsupervised learning-guided multi-node failure-recovery model for distributed graph processing systems
  Mukherjee, Aradhita ; Chaki, Rituparna ; Chaki, Nabendu
• A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applications
  Ananieva, Sofia ; Greiner, Sandra ; Kehrer, Timo ; Krüger, Jacob ; Kühn, Thomas ; Linsbauer, Lukas ; Grüner, Sten ; Koziolek, Anne ; Lönn, Henrik ; Ramesh, S. ; Reussner, Ralf
• Language and automata theory and applications – 7th international conference ; proceedings
  Dediu, Adrian-Horia ; Martín Vide, Carlos ; Truthe, Bianca 2013 Springer
• RaQuN: a generic and scalable n-way model matching algorithm
  Schultheiß, Alexander ; Bittner, Paul Maximilian ; Boll, Alexander ; Grunske, Lars ; Thüm, Thomas ; Kehrer, Timo
• Stacking Ensemble-Based Intelligent Machine Learning Model for Predicting Post-COVID-19 Complications
  Gupta, Aditya ; Jain, Vibha ; Singh, Amrit Pal