„network programming“

Suchergebnisse

8.178 Treffer

• Program proving: Jumps and functions
  Clint, M. ; Hoare, C. A. R.
• Entwicklung und Evaluation einer End-User-Programming-Schnittstelle für Sensornetzwerke im Rahmen des Projekts FUSION
  Schmid, Andreas ; Wimmer, Raphael ; Henze, Niels 2019 Universitätsbibliothek Regensburg
• On spectrum sharing games
  Halldórsson, Magnús M. ; Halpern, Joseph Y. ; Li, Li Erran ; Mirrokni, Vahab S.
• Description and Reasoning of VLSI circuit in temporal logic
  Fusaoka, Akira ; Seki, Hirohisa ; Takahashi, Kuzuko
• How to reconcile fault-tolerant interval intersection with the Lipschitz condition
  Schmid, Ulrich ; Schossmaier, Klaus
• Semantische Anfrageoptimierung
  Bell, Siegfried
• Wege zur Absicherung eines Intranets
  Rawolle, Joachim ; Lassahn, Claus ; Schumann, Matthias
• Timed tree automata with an application to temporal logic
  La Torre, Salvatore ; Napoli, Margherita
• An analysis of the M$$^X$$ X /M/1 queue with multiple working vacations by GI/M/1 type Markov process
  Zhang, Hongbo
• HTSS: a hyper-heuristic training set selection method for imbalanced data sets
  Nikpour, Bahareh ; Nezamabadi-pour, Hossein
• Labelled graph rules in P systems
  Sureshkumar, Williams ; Mahalingam, Kalpana ; Rama, Raghavan
• Analysis for Behavioral Economics in Social Networks: An Altruism-Based Dynamic Cooperation Model
  Li, Deng ; Chen, Zhujun ; Liu, Jiaqi
• Programming guidelines for improving software resiliency against soft-errors without performance overhead
  Arasteh, Bahman ; Najafi, Jalal
• Spice: a cognitive agent framework for computational crowd simulations in complex environments
  Kielar, Peter M. ; Borrmann, André
• Mathematical Models and Methods for Analyzing Computer Control Networks of Railway Power Supply
  Stasiuk, O. I. ; Goncharova, L. L.
• Symbolic checking of Fuzzy CTL on Fuzzy Program Graph
  Ebrahimi, Masoud ; Sotudeh, Gholamreza ; Movaghar, Ali
• CRESCENT+: a self-protecting framework for reliable composite web service delivery
  Elgedawy, Islam ; Khurshid, Sara ; Masood, Rahat ; Shibli, Muhammad Awais
• C2OF2N: a low power cooperative code offloading method for femtolet-based fog network
  Mukherjee, Anwesha ; Deb, Priti ; De, Debashis ; Buyya, Rajkumar
• Task scheduling and resource allocation in cloud computing using a heuristic approach
  Gawali, Mahendra Bhatu ; Shinde, Subhash K.
• Asynchronous Arbitrary Pattern Formation: the effects of a rigorous approach
  Cicerone, Serafino ; Di Stefano, Gabriele ; Navarra, Alfredo