„Computer Programming“

Suchergebnisse

10.000+ Treffer

• 19th Workshop on (Constraint) Logic Programming W(C)LP 2005
  Wolf, Armin ; Frühwirth, Thom ; Meister, Marc 2005 Universität Ulm. Fakultät für Informatik
• How can social robot use cases in healthcare be pushed - with an interoperable programming interface
  Glauser, Robin ; Holm, Jürgen ; Bender, Matthias ; Bürkle, Thomas
• Steigerung der Leistungsdichte und des Wirkungsgrades von Straßenbahnantrieben durch den Einsatz hochdrehender Maschinen
  Heckele, Leonie ; Tesar, Markus ; Igelspacher, Jakob ; Brunner, Jürgen ; Gratzfeld, Peter
• Gamification in software engineering: the mediating role of developer engagement and job satisfaction
  Stol, Klaas-Jan ; Schaarschmidt, Mario ; Goldblit, Shelly
• Forecasting Models for Coronavirus Disease (COVID-19): A Survey of the State-of-the-Art
  Shinde, Gitanjali Rahul ; Kalamkar, Asmita B. ; Mahalle, Parikshit N. ; Dey, Nilanjan ; Chaki, Jyotismita ; Hassanien, Aboul Ella
• How bugs are born: a model to identify how bugs are introduced in software components
  Rodríguez-Pérez, Gema ; Robles Morchón, Gregorio ; Serebrenik, Alexander ; Zaidman, Andy ; Germán, Daniel M. ; Gonzalez-Barahona, Jesus M.
• A decomposition theorem for finite persistent transition systems
  Best, Eike ; Darondeau, Philippe
• A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions
  Katoen, Joost-Pieter ; Langerak, Rom ; Brinksma, Ed ; Latella, Diego ; Bolognesi, Tommaso
• Informationsmanagement und Communities Überblick und Darstellung zweier Projekte der IMC-Gruppe München
  Borghoff, Uwe M. ; Koch, Michael ; Lacher, Martin S. ; Schlichter, Johann ; Weißer, Knut
• Decision problems for pushdown threads
  Bergstra, Jan A. ; Bethke, Inge ; Ponse, Alban
• Toward a framework for self-adaptive workflows in cyber-physical systems
  Seiger, Ronny ; Huber, Steffen ; Heisig, Peter ; Aßmann, Uwe
• A hybrid approach of VIKOR and bi-objective integer linear programming for electrification planning in a disaster relief camp
  Malekpoor, Hanif ; Chalvatzis, Konstantinos ; Mishra, Nishikant ; Ramudhin, Amar
• Formal methods for transport systems
  Beek, Maurice H. ˜terœ ; Gnesi, Stefania ; Knapp, Alexander
• On control of singleton attractors in multiple Boolean networks: integer programming-based method
  Qiu, Yushan ; Tamura, Takeyuki ; Ching, Wai-Ki ; Akutsu, Tatsuya
• A BMC-based formulation for the scheduling problem of hardware systems
  Cabodi, Gianpiero ; Kondratyev, Alex ; Lavagno, Luciano ; Nocco, Sergio ; Quer, Stefano ; Watanabe, Yosinori
• An integrated multi-level modeling approach for industrial-scale data interoperability
  Igamberdiev, Muzaffar ; Grossmann, Georg ; Selway, Matt ; Stumptner, Markus
• Integer programming techniques for the nurse rostering problem
  Santos, Haroldo Gambini ; Toffolo, Túlio A. M. ; Gomes, Rafael A. M. ; Ribas, Sabir
• Axiomatic approach to total correctness of programs
  Manna, Zohar ; Pnueli, Amir
• Optimizing a General Optimal Replacement Model by Fractional Programming Techniques
  Barros, A. I. ; Dekker, R. ; Frenk, Johannes G. ; van Weeren, S.
• A Fog-Based Multi-Purpose Internet of Things Analytics Platform
  Zschörnig, Theo ; Windolph, Jonah ; Wehlitz, Robert ; Dumont, Yann ; Franczyk, Bogdan