Muutke küpsiste eelistusi

E-raamat: Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

  • Formaat - PDF+DRM
  • Hind: 43,21 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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