Muutke küpsiste eelistusi

E-raamat: Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers

Edited by , Edited by
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 4888
  • Ilmumisaeg: 06-Dec-2007
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783540774198
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * 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.
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 4888
  • Ilmumisaeg: 06-Dec-2007
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783540774198
Teised raamatud teemal:

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. 

Constitutes the post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006. The workshop discussed a range of challenges in embedded systems design that require further major advances in software and systems composition technology.

This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006. The 12 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions. The workshop discussed a range of challenges in embedded systems design that require further major advances in technology.

Model Driven Development and Embedded Systems
On the Correctness of Model Transformations in the Development of Embedded Systems
1(18)
Gabor Karsai
Anantha Narayanan
Supporting System Level Design of Distributed Real Time Systems for Automotive Applications
19(16)
Klaus D. Muller-Glaser
Clemens Reichmann
Markus Kuehl
From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain
35(18)
Jerome Hugues
Laurent Pautet
Bechir Zalila
Model-Based Failure Management for Distributed Reactive Systems
53(22)
Vina Ermagan
Ingolf Kruger
Massimiliano Menarini
Software Engineering for Embedded Systems
A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems
75(22)
Marc Poulhies
Jacques Pulou
Christophe Rippert
Joseph Sifakis
Industrial Challenges in the Composition of Embedded Systems
97(14)
David Corman
James Paunicka
Deep Random Search for Efficient Model Checking of Timed Automata
111(14)
Radu Grosu
Xiaowan Huang
Scott A. Smolka
Wenkai Tan
Stavros Tripakis
OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks
125(25)
Xenofon Koutsoukos
Manish Kushwaha
Isaac Amundson
Sandeep Neema
Janos Sztipanovits
Composition Technologies
Composing and Decomposing QoS Attributes for Distributed Real-Time Systems: Experience to Date and Hard Problems Going Forward
150(18)
Richard Schantz
Joseph Loyall
Recent Additions on the Application Programming Interface of the TMO Support Middleware
168(19)
K.H. (Kane) Kim
Juan A. Colmenares
Liangchen Zheng
Sheng Liu
Qian Zhou
Moon-Cheol Kim
Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol
187(20)
Roman Obermaisser
Reliability Properties of Models for Flexible Design and Run-Time Analysis
207(14)
Luqi
Valdis Berzins
P.M. Musial
Author Index 221