„network programming“

Suchergebnisse

8.178 Treffer

• Partial (set) 2-structures – Part I: basic notions and the representation problem
  Ehrenfeucht, A. ; Rozenberg, Grzegorz
• 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
• 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.
• Optimal multiprogramming
  Denning, Peter J. ; Kahn, Kevin C. ; Leroudier, Jacques ; Potier, Dominique ; Suri, Rajan
• 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
• State and path coalition effectivity models of concurrent multi-player games
  Goranko, Valentin ; Jamroga, Wojciech
• Computational science and its applications – international conference ; proceedings
  Murgante, Beniamino ; Gervasi, Osvaldo ; Iglesias, Andres ; Taniar, David ; Apduhan, Bernady O. Springer
• 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
• 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
• A decomposition theorem for finite persistent transition systems
  Best, Eike ; Darondeau, Philippe
• 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
• On control of singleton attractors in multiple Boolean networks: integer programming-based method
  Qiu, Yushan ; Tamura, Takeyuki ; Ching, Wai-Ki ; Akutsu, Tatsuya
• Axiomatic approach to total correctness of programs
  Manna, Zohar ; Pnueli, Amir
• A Fog-Based Multi-Purpose Internet of Things Analytics Platform
  Zschörnig, Theo ; Windolph, Jonah ; Wehlitz, Robert ; Dumont, Yann ; Franczyk, Bogdan
• Delay Performance of a Two-User Broadcast Channel with Security Constraints
  Arvanitaki, Antonia ; Pappas, Nikolaos ; Mohapatra, Parthajit ; Carlsson, Niklas
• Ein tätigkeitstheoretischer Ansatz zur Entwicklung von brauchbarer Software
  Dahme, Christian ; Raeithel, Arne
• Small cell zooming based green congestion control in mobile network
  Mukherjee, Anwesha ; Deb, Priti ; De, Debashis