Architecting Dependable Systems

Architecting Dependable Systems

As software systems become more and more ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be planned at the beginning of the design process, it is appropriate that these issues be addressed at the architectural level. This book is inspi...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Lemos, Rogério de (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Gacek, Cristina (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Romanovsky, Alexander (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Έκδοση:	1st ed. 2003.
Σειρά:	Lecture Notes in Computer Science, 2677
Θέματα:	Computers. Software engineering. Computer science. Operating systems (Computers). Theory of Computation. Software Engineering. Computer Science, general. Operating Systems.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Dependable Computing First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings /
Έκδοση: (2003)

Application and Theory of Petri Nets 1998 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 Proceedings /
Έκδοση: (1998)

Future Directions in Distributed Computing Research and Position Papers /
Έκδοση: (2003)

Mobile Agents 6th International Conference, MA 2002, Barcelona, Spain, October 22-25, 2002, Proceedings /
Έκδοση: (2002)

Dependable Computing EDCC-4 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings /
Έκδοση: (2002)

Lectures on Embedded Systems European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 /
Έκδοση: (1998)

Grid Computing - GRID 2000 First IEEE/ACM International Workshop Bangalore, India, December 17, 2000 Proceedings /
Έκδοση: (2000)

Distributed Computing Mobile and Wireless Computing, 4th International Workshop, IWDC 2002, Calcutta, India, December 28-31, 2002, Proceedings /
Έκδοση: (2002)

Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
Έκδοση: (2002)

Performance Evaluation of Complex Systems: Techniques and Tools Performance 2002. Tutorial Lectures /
Έκδοση: (2002)

Advanced Environments, Tools, and Applications for Cluster Computing NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers /
Έκδοση: (2002)

Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /
Έκδοση: (2002)

Mobile Agents First International Workshop, MA '97, Berlin, Germany, April, 7-8, 1997, Proceedings /
Έκδοση: (1997)

Grid and Cooperative Computing - GCC 2004 Third International Conference, Wuhan, China, October 21-24, 2004. Proceedings /
Έκδοση: (2004)

Network and Parallel Computing IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings /
Έκδοση: (2004)

Utility Computing 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004. Proceedings /
Έκδοση: (2004)

Mobile Agents: Control Algorithms
ανά: Baumann, Joachim, κ.ά.
Έκδοση: (2000)

Mobile Agents Second International Workshop, MA'98, Stuttgart, Germany, September 9-11, 1998 /
Έκδοση: (1998)

Middleware 2001 IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings /
Έκδοση: (2001)

Middleware 2000 IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4-7, 2000 Proceedings /
Έκδοση: (2000)

Soft-Ware 2002: Computing in an Imperfect World First International Conference, Soft-Ware 2002 Belfast, Northern Ireland, April 8-10, 2002 Proceedings /
Έκδοση: (2002)

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers /
Έκδοση: (2019)

Formal Aspects of Security First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers /
Έκδοση: (2003)

Global Computing. Programming Environments, Languages, Security, and Analysis of Systems IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers /
Έκδοση: (2003)

Engineering Distributed Objects Second International Workshop, EDO 2000 Davis, CA, USA, November 2-3, 2000 Revised Papers /
Έκδοση: (2001)

Advances in Exception Handling Techniques
Έκδοση: (2001)

Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings /
Έκδοση: (2002)

Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24-26, 2017, Revised Selected Papers /
Έκδοση: (2018)

Formal Techniques for Networked and Distributed Systems - FORTE 2003 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 /
Έκδοση: (2003)

Formal Techniques for Networked and Distributed Systems - FORTE 2004 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings /
Έκδοση: (2004)

Security in Pervasive Computing First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers /
Έκδοση: (2004)

Security Engineering with Patterns Origins, Theoretical Models, and New Applications /
ανά: Schumacher, Markus, κ.ά.
Έκδοση: (2003)

OpenMP Shared Memory Parallel Programming International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003. Proceedings /
Έκδοση: (2003)

UbiComp 2004: Ubiquitous Computing 6th International Conference, Nottingham, UK, September 7-10, 2004, Proceedings /
Έκδοση: (2004)

Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings /
Έκδοση: (2018)

Product Focused Software Process Improvement 4th International Conference, PROFES 2002 Rovaniemi, Finland, December 9-11, 2002, Proceedings /
Έκδοση: (2002)

Modular Programming Languages Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings /
Έκδοση: (2000)

PREMO: A Framework for Multimedia Middleware Specification, Rationale, and Java Binding /
ανά: Duke, David J., κ.ά.
Έκδοση: (1999)

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings /
Έκδοση: (2018)

Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
Έκδοση: (2003)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών