„Computer Programming“

Suchergebnisse

10.000+ Treffer

• Partial (set) 2-structures – Part I: basic notions and the representation problem
  Ehrenfeucht, A. ; Rozenberg, Grzegorz
• Complexity results for answer set programming with bounded predicate arities and implications
  Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Woltran, Stefan
• Interactive Support of Planning in a Functional, Visual Programming Language
  Möbus, Claus ; Thole, Heinz-Jürgen ; Schröder, Olaf ; Brna, Paul ; Ohlsson, Stefan ; Pain, Helen 1993 Association for the Advancement of Computing in Education (AACE)
• A Knowledge Graph Perspective on Knowledge Engineering
  Simsek, Umutcan ; Kärle, Elias ; Angele, Kevin ; Huaman, Elwin ; Opdenplatz, Juliette ; Sommer, Dennis ; Umbrich, Jürgen ; Fensel, Dieter
• Judging a book by its cover: significance of UX design in gamification and computing systems
  Sushra, Tulasi ; Iyengar, Nitya ; Shah, Manan ; Kshirsagar, Ameya
• An efficient authentication with key agreement procedure using Mittag–Leffler–Chebyshev summation chaotic map under the multi-server architecture
  Meshram, Chandrashekhar ; Ibrahim, Rabha W. ; Meshram, Sarita Gajbhiye ; Jamal, Sajjad Shaukat ; Imoize, Agbotiname Lucky
• Verifying safety of synchronous fault-tolerant algorithms by bounded model checking
  Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian
• Time-critical energy minimization protocol using PQM (TCEM-PQM) for wireless body sensor network
  Thirumoorthy, P. ; Kalyanasundaram, P. ; Maheswar, R. ; Jayarajan, P. ; Kanagachidambaresan, G. R. ; Amiri, Iraj S.
• Forschungscluster „Automatisierungstechnik und Computertechnik“
  Dietrich, Dietmar ; Schrödl, Manfred ; Schweinzer, Herbert ; Weinmann, Alexander
• Multi-valued Logic for Decision-Making Under Uncertainty
  Kagan, Evgeny ; Rybalov, Alexander ; Yager, Ronald R. 2025 Springer Nature Switzerland, Imprint: Birkhäuser
• Gamifying model-based engineering: the PapyGame experience
  Bucchiarone, Antonio ; Savary-Leblanc, Maxime ; Pallec, Xavier Le ; Cicchetti, Antonio ; Gérard, Sébastien ; Bassanelli, Simone ; Gini, Federica ; Marconi, Annapaola
• Optimal multiprogramming
  Denning, Peter J. ; Kahn, Kevin C. ; Leroudier, Jacques ; Potier, Dominique ; Suri, Rajan
• Domain object hierarchies inducing multi-level models
  Neumayr, Bernd ; Schrefl, Michael
• The RERS challenge: towards controllable and scalable benchmark synthesis
  Howar, Falk ; Jasper, Marc ; Mues, Malte ; Schmidt, David ; Steffen, Bernhard
• Empirical validation of a quality framework for evaluating modelling languages in MDE environments
  Giraldo, Fáber D. ; Chicaiza, Ángela J. ; España, Sergio ; Pastor, Óscar
• Implementation of a Hybrid Classical-Quantum Annealing Algorithm for Logistic Network Design
  Ding, Yongcheng ; Chen, Xi ; Lamata, Lucas ; Solano, Enrique ; Sanz, Mikel
• Partial evaluation and program transformation day
  Glück, Robert ; Futamura, Yoshihiko
• Integer programming for minimal perturbation problems in university course timetabling
  Phillips, Antony E. ; Walker, Cameron G. ; Ehrgott, Matthias ; Ryan, David M.
• State and path coalition effectivity models of concurrent multi-player games
  Goranko, Valentin ; Jamroga, Wojciech
• Balancing bike sharing systems with constraint programming
  Di Gaspero, Luca ; Rendl, Andrea ; Urli, Tommaso