„Operating Systems.“

Suchergebnisse

10.000+ Treffer

• 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
• Formal methods for transport systems
  Beek, Maurice H. ˜terœ ; Gnesi, Stefania ; Knapp, Alexander
• A network aware approach for the scheduling of virtual machine migration during peak loads
  Duggan, Martin ; Duggan, Jim ; Howley, Enda ; Barrett, Enda
• 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
• 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
• Reusable components for online reputation systems
  Sänger, Johannes ; Richthammer, Christian ; Pernul, Günther
• Design Space Exploration with Answer Set Programming
  Haubelt, Christian ; Neubauer, Kai ; Schaub, Torsten ; Wanko, Philipp
• Gathering big data for teamwork evaluation with microworlds
  Sapateiro, Claudio Miguel ; Antunes, Pedro ; Johnstone, David ; Pino, José A.
• Small cell zooming based green congestion control in mobile network
  Mukherjee, Anwesha ; Deb, Priti ; De, Debashis
• Do Internal Software Metrics Have Relationship with Fault-Proneness and Change-Proneness?
  Rahman, Md. Masudur ; Ahammed, Toukir ; Joarder, Md. Mahbubul Alam ; Sakib, Kazi
• Agent-Based Modelling of Dynamics of Interacting Unmanned Ground Vehicles Using FLAME GPU
  Akopov, A. S. ; Beklarjan, Levon A.
• Technological diversity of quantum computing providers: a comparative study and a proposal for API Gateway integration
  Alvarado-Valiente, Jaime ; Romero-Álvarez, Javier ; Moguel, Enrique ; García Alonso, José Manuel ; Murillo, Juan M.