„Operating Systems.“

Suchergebnisse

10.000+ Treffer

• Correction to: Analysing app reviews for software engineering: a systematic literature review
  Dąbrowski, Jacek ; Letier, Emmanuel ; Perini, Anna ; Susi, Angelo
• Correction to: Uniform and scalable sampling of highly configurable systems
  Heradio, Ruben ; Fernandez-Amoros, David ; Galindo, José A. ; Benavides, David ; Batory, Don
• Correction to: Computational Thinking as a Social Movement – Interview with Andy diSessa, UC Berkeley
  Mørch, Anders ; Kafai, Yasmin
• Retraction Note to: A fuzzy multi-objective immune genetic algorithm for the strategic location planning problem
  Zhao, Xiao ; Xia, Xuhui ; Wang, Lei ; Cao, Jianhua
• Correction to: Adaptive Fuzzy-Logic Traffic Control Approach Based on Volunteer IoT Agent Mechanism
  Hewei, Guan ; Sadiq, Ali Safaa ; Taheir, Mohammed Adam
• Correction to: The consensus number of a cryptocurrency
  Guerraoui, Rachid ; Kuznetsov, Petr ; Monti, Matteo ; Pavlovic, Matej ; Seredinschi, Dragos-Adrian
• Correction to: Reliable benchmarking: requirements and solutions
  Beyer, Dirk ; Löwe, Stefan ; Wendler, Philipp
• Corrections to: Nash Equilibrium in a Special Case of Symmetric Resource Extraction Games
  Sylenko, I. V.
• Correction to: Evaluation of a machine learning classifier for metamodels
  Nguyen, Phuong T. ; Rocco, Juri Di ; Iovino, Ludovico ; Di Ruscio, Davide ; Pierantonio, Alfonso
• Correction to: An improved algorithm of video quality assessment by danmaku analysis
  Zhang, Hanyun ; Guo, Dongliang ; Liu, Wei ; Nie, Junlan ; Li, Shuo
• Correction to: Extreme learning machine for plant diseases classification: a sustainable approach for smart agriculture
  Aqel, Darah ; Al-Zubi, Shadi ; Mughaid, Ala ; Jararweh, Yaser
• Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety
  Quesel, Jan-David ; Mitsch, Stefan ; Loos, Sarah ; Aréchiga, Nikos ; Platzer, André
• Correction to: A secure authentication technique for connecting different IoT devices in the smart city infrastructure
  Sharma, Rohit ; Arya, Rajeev
• Correction to: Cellular automata-based CMF detection under single and multiple post-processing attacks
  Gani, Gulnawaz ; Qadir, Fasel
• Correction to: Just-In-Time Constraint-Based Inference for Qualitative Spatial and Temporal Reasoning
  Sioutis, Michael
• Correction to: Reactive synthesis without regret
  Hunter, Paul ; Pérez, Guillermo A. ; Raskin, Jean-François
• Correction to: Mobility-aware computational offloading in mobile edge networks: a survey
  uz Zaman, Sardar Khaliq ; Jehangiri, Ali Imran ; Maqsood, Tahir ; Ahmad, Zulfiqar ; Umar, Arif Iqbal ; Shuja, Junaid ; Alanazi, Eisa ; Alasmary, Waleed
• Correction to: Preface to the special issue on program comprehension
  Siegmund, Janet ; Roy, Chanchal K.
• Correction to: Sound reasoning in tock-CSP
  Baxter, James ; Ribeiro, Pedro ; Cavalcanti, Ana
• Erratum zu: Komposition und Interoperabilität von IT-Systemen
  Reich, Johannes