Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Computer Safety, Reliability, and Security
  • Language: en
  • Pages: 349

Computer Safety, Reliability, and Security

Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con?dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for a...

Modeling and Verifying Dynamic Evolving Service-Oriented Architectures
  • Language: en
  • Pages: 106
Hepatocyte Transplantation
  • Language: en
  • Pages: 386

Hepatocyte Transplantation

In recent years there has been an increasing need for transplantation, but the number of donor livers available has increased only slightly, despite intensive public relations activities. New concepts in the field of transplantation, for instance the transplantation of living donor organs or the splitting of organs, are urgently required, to safeguard the treatment of patients with severe liver disease. The development and clinical application of cell therapy for patients with liver disease could soon present a significant enhancement of the therapeutic options. The aim of such cell therapy is to repair or improve the biological function of the chronically and acutely damaged liver. Even tho...

Architecting Dependable Systems II
  • Language: en
  • Pages: 357

Architecting Dependable Systems II

As software systems become ubiquitous, the issues of dependability become more and more critical. Given that solutions to these issues must be taken into account from the very beginning of the design process, it is appropriate that dependability is addressed at the architectural level. This book results from an effort to bring together the research communities of software architectures and dependability. Inspired by the ICSE 2003 Workshop on Software Architectures for Dependable Systems, the book focuses on topics relevant to improving the state of the art in architecting dependable systems. The 15 thoroughly reviewed papers originate partly from the workshop; others were solicited in order to achieve complete coverage of all relevant aspects. The papers are organized into topical sections on architectures for dependability, fault-tolerance in software architectures, dependability analysis in software architectures, and industrial experience.

UML Modeling Languages and Applications
  • Language: en
  • Pages: 306

UML Modeling Languages and Applications

This book constitutes the thoroughly refereed joint postproceedings of the satellite activities held at the 7th International Conference on the Unified Modeling Language, UML 2004, in Lisbon, Portugal in October 2004 complementing the main conference track. The book presents reports on the 10 workshops held at UML and covers a broad range of topics around systems modelling; these reports are compiled by the respective workshop organizers. Furthermore 12 revised reviewed papers from the industry track are included as well as 11 short papers corresponding to selected poster/demo presentations and a summary on the UML tools exhibition.

Cyber-physical Systems with Dynamic Structure
  • Language: en
  • Pages: 40

Cyber-physical Systems with Dynamic Structure

Cyber-physical systems achieve sophisticated system behavior exploring the tight interconnection of physical coupling present in classical engineering systems and information technology based coupling. A particular challenging case are systems where these cyber-physical systems are formed ad hoc according to the specific local topology, the available networking capabilities, and the goals and constraints of the subsystems captured by the information processing part. In this paper we present a formalism that permits to model the sketched class of cyber-physical systems. The ad hoc formation of tightly coupled subsystems of arbitrary size are specified using a UML-based graph transformation sy...

Personalarbeit in Organisationen Sozialer Arbeit
  • Language: de
  • Pages: 152

Personalarbeit in Organisationen Sozialer Arbeit

Die Professionalisierung des Personalmanagements stellt Organisationen der Sozialen Arbeit in vielen Handlungsfeldern ihrer Personalarbeit vor Herausforderungen. Die spezifischen Besonderheiten der Sozialen Arbeit lassen Irritationen und Herausforderungen in zweierlei Perspektive entstehen: Zum einen ist die Praxis irritiert in Bezug auf die betriebswirtschaftliche Ausrichtung des Personalmanagements, zum anderen irritiert die Praxis die Fachdiskussion durch ihre Vielfalt an Ausgestaltungen des Personalmanagements. Dieser Band bildet beide Ebenen ab: Die fachliche Diskussion des Personalmanagements in der Sozialen Arbeit wird ergänzt durch Praxisbeiträge von Führungskräften aus der Sozialen Arbeit.

Self-Aware Computing Systems
  • Language: en
  • Pages: 720

Self-Aware Computing Systems

  • Type: Book
  • -
  • Published: 2017-01-23
  • -
  • Publisher: Springer

This book provides formal and informal definitions and taxonomies for self-aware computing systems, and explains how self-aware computing relates to many existing subfields of computer science, especially software engineering. It describes architectures and algorithms for self-aware systems as well as the benefits and pitfalls of self-awareness, and reviews much of the latest relevant research across a wide array of disciplines, including open research challenges. The chapters of this book are organized into five parts: Introduction, System Architectures, Methods and Algorithms, Applications and Case Studies, and Outlook. Part I offers an introduction that defines self-aware computing system...