„Programming Techniques.“

Suchergebnisse

1.000+ Treffer

• The extended EA ModelSet—a FAIR dataset for researching and reasoning enterprise architecture modeling practices
  Glaser, Philipp-Lorenz ; Sallinger, Emanuel ; Bork, Dominik
• A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components
  Natale, Marco Di ; Perillo, David ; Chirico, Francesco ; Sindico, Andrea ; Sangiovanni-Vincentelli, Alberto
• Nonsequential and Distributed Programming with Go – Synchronization of Concurrent Processes
  Maurer, Christian 2025 Springer
• Criteria weights assessment through prioritizations (WAP) using linear programming techniques and visualizations
  Tsotsolas, N. ; Spyridakos, A. ; Siskos, E. ; Salmon, I.
• How to define modeling languages?
  Combemale, Benoit ; Gray, Jeff ; Rumpe, Bernhard
• Guest editors’ introduction: Advancements and extensions of verification techniques
  Katoen, Joost-Pieter ; Stevens, Perdita
• Soil temperature modeling at different depths using neuro-fuzzy, neural network, and genetic programming techniques
  Kisi, Ozgur ; Sanikhani, Hadi ; Cobaner, Murat
• KI-Führungskultur und Prozessmanagement – Inklusion und KI
  Lübken, Andrea ; Wiemer, Dr. Matthias 2025 Springer
• KI-Inklusive Systeme entwickeln – Inklusion und KI
  Lübken, Andrea ; Wiemer, Matthias 2025 Springer
• SOCAM: a service-oriented computing architecture modeling method
  Reyes-Delgado, Paola Y. ; Duran-Limon, Hector A. ; Mora, Manuel ; Rodriguez-Martinez, Laura C.
• Using enhanced genetic programming techniques for evolving classifiers in the context of medical diagnosis
  Winkler, Stephan M. ; Affenzeller, Michael ; Wagner, Stefan
• Consistency requirements in business process modeling: a thorough overview
  Awadid, Afef ; Nurcan, Selmin
• Figure-ground image segmentation using feature-based multi-objective genetic programming techniques
  Liang, Yuyu ; Zhang, Mengjie ; Browne, Will N.
• Christian Blum and Günther R. Raidl: Hybrid metaheuristics—powerful tools for optimization – Springer International Publishing, Switzerland, 2016, 157 pp, ISBN: 978-3-319-30882-1
  Shir, Ofer M.
• Hod Lipson and Melba Kurman: Driverless: intelligent cars and the road ahead – The MIT Press, 2016, pp 312, ISBN: 9780262035224
  Zarges, Christine
• Introducing probabilistic reasoning within Event-B
  Aouadhi, Mohamed Amine ; Delahaye, Benoît ; Lanoix, Arnaud
• Theme section on performance modelling and engineering of software and systems
  Lladó, Catalina M. ; Sachs, Kai
• The importance of flow in software development
  Gray, Jeff ; Rumpe, Bernhard
• A model framework-based domain-specific composable modeling method for combat system effectiveness simulation
  Li, Xiao-bo ; Yang, Feng ; Lei, Yong-lin ; Wang, Wei-Ping ; Zhu, Yi-fan
• Model checking multi-level and recursive nets
  Fernández Venero, Mirtha Lina ; Corrêa da Silva, Flávio Soares