Muutke küpsiste eelistusi

Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings 1st ed. 2015 [Pehme köide]

  • Formaat: Paperback / softback, 145 pages, kõrgus x laius: 235x155 mm, kaal: 2467 g, 47 Illustrations, black and white; IX, 145 p. 47 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 9274
  • Ilmumisaeg: 19-Aug-2015
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319231286
  • ISBN-13: 9783319231280
  • Pehme köide
  • Hind: 39,44 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 46,40 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 145 pages, kõrgus x laius: 235x155 mm, kaal: 2467 g, 47 Illustrations, black and white; IX, 145 p. 47 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 9274
  • Ilmumisaeg: 19-Aug-2015
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319231286
  • ISBN-13: 9783319231280
This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.
Biological Immunity and Software Resilience: Two Faces of the Same Coin?
1(15)
Marco Autili
Amleto Di Salle
Francesco Gallo
Alexander Perucci
Massimo Tivoli
Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems
16(15)
Andrea Holler
Tobias Rauter
Johannes Iber
Christian Kreiner
A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol
31(15)
Tamds Toth
Andras Voros
Istvan Majzik
Considering Execution Environment Resilience: A White-Box Approach
46(16)
Stefan Klikovits
David P.Y. Lawrence
Manuel Gonzalez-Berges
Didier Buchs
Engineering Cross-Layer Fault Tolerance in Many-Core Systems
62(9)
Rem Gensh
Alexander Romanovsky
Alex Yakovlev
Risk Assessment Based Cloudification
71(11)
Szilard Bozoki
Gabor Koronka
Andras Pataricza
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System
82(17)
Davide Basile
Silvano Chiaradonna
Felicita Di Giandomenico
Stefania Gnesi
Franco Mazzanti
Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain
99(15)
Harald Sporer
Georg Macher
Andrea Holler
Christian Kreiner
Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases
114(14)
Guthemberg Silvestre
Carla Sauvanaud
Mohamed Kaaniche
Karama Kanoun
Resiliency Variance in Workflows with Choice
128(17)
John C. Mace
Charles Morisset
Aad van Moorsel
Author Index 145