✦ LIBER ✦

[Lecture Notes in Computer Science] Architecting Systems with Trustworthy Components Volume 3938 || Unifying Hardware and Software Components for Embedded System Development

✍ Scribed by Reussner, Ralf H.; Stafford, Judith A.; Szyperski, Clemens A.

Book ID: 118001190
Publisher: Springer Berlin Heidelberg
Year: 2006
Tongue: English
Weight: 349 KB
Edition: 1
Category: Article
ISBN: 3540358331
DOI: 10.1007/11786160_7

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. Presents 10 revised full papers together with 5 invited papers contributed by outstanding researchers. Discusses core problems in measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, and more.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Component-Based Software Engineering Volume 4608 || Experience with Safe Dynamic Reconfigurations in Component-Based Embedded Systems

✍ Schmidt, Heinz W.; Crnkovic, Ivica; Heineman, George T.; Stafford, Judith A. 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 600 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Component-Based Software Engineering Volume 6092 || Reliability Analysis of Component-Based Systems with Multiple Failure Modes

✍ Grunske, Lars; Reussner, Ralf; Plasil, Frantisek 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 352 KB

[Lecture Notes in Computer Science] Soft

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Runtime Verification of Component-Based Systems

✍ Barthe, Gilles; Pardo, Alberto; Schneider, Gerardo 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 383 KB

[Lecture Notes in Computer Science] Cryp

[Lecture Notes in Computer Science] Cryptographic Hardware and Embedded Systems — CHES 2000 Volume 1965 || Software-Hardware Trade-Offs: Application to A5/1 Cryptanalysis

✍ Koç, Çetin K.; Paar, Christof 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 125 KB

[Lecture Notes in Computer Science] Soft

[Lecture Notes in Computer Science] Software Engineering and Middleware Volume 3437 || Experience with Lightweight Distributed Component Technologies in Business Intelligence Systems

✍ Gschwind, Thomas; Mascolo, Cecilia 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 281 KB

[Lecture Notes in Computer Science] Soft

[Lecture Notes in Computer Science] Software Technologies for Embedded and Ubiquitous Systems Volume 5287 || A Novel Approach for Security and Robustness in Wireless Embedded Systems

✍ Brinkschulte, Uwe; Givargis, Tony; Russo, Stefano 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 221 KB