الصفحة 3
الصفحة 3
Dependable Embedded Systems
This book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have emerged particularly within the last five years.
Dependable computing - EDCC 2005 ; 5th European dependable computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings
It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti?c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the ?fth in the series of these high-quality scienti?c conf- ences. In addition to the overall signi?cance of such a pan-European event, this year’s conference was a special one due to historic reasons. The roots of EDCC date back to the moment when the Iron Curtain fell. Originally, two groups of scientists from di?erent European countries in Western and Eastern Europe – who were active in research and education related to dependability created a – joint forum in order to merge their communities as early as in 1989. This trend has continued up to today. This year’s conference was the ?rst one where the overwhelming majority of the research groups belong to the family of European nations united in the European Union. During the past 16 years we observed that the same roots in all the professional, cultural and scienti?c senses led to a seamless integration of these research communities previously separated ar- ?cially for a long time. EDCC has become one of the main European platforms to exchange new - searchideasinthe?eldofdependability.
Dependability Metrics : Advanced Lectures
This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability of systems: reliability, security and performance.
Data-Driven Fault Detection and Reasoning for Industrial Monitoring
Assesses the potential of data-driven methods in industrial process monitoring engineering. The process modeling, fault detection, classification, isolation, and reasoning are studied in detail. These methods can be used to improve the safety and reliability of industrial processes. Fault diagnosis, including fault detection and reasoning, has attracted engineers and scientists from various fields such as control, machinery, mathematics, and automation engineering. Combining the diagnosis algorithms and application cases, this book establishes a basic framework for this topic and implements various statistical analysis methods for process monitoring.
Cryptography and cryptanalysis in Java : Creating and programming advanced algorithms with Java SE 17 LTS and Jakarta EE 10
Includes challenging cryptographic solutions that are implemented in Java 17 and Jakarta EE 10. It provides a robust introduction to Java 17's new features and updates, a roadmap for Jakarta EE 10 security mechanisms, a unique presentation of the "hot points" (advantages and disadvantages) from the Java Cryptography Architecture (JCA), and more. You Will Learn : Develop programming skills for writing cryptography algorithms in Java / Dive into security schemes and modules using Java / Explore “good” vs “bad” cryptography based on processing execution times and reliability / Play with pseudo-random generators, hash functions, etc. / Leverage lattice-based cryptography methods, the NTRU framework library, and more
Critical Information Infrastructures : Resilience and Protection
Starting with some basic definitions and assumptions on the topic, this book explores various aspects of Critical Infrastructures throughout the world – including the technological, political, economic, strategic and defensive. This book will be of interest to the CEO and Academic alike as they grapple with how to prepare Critical Information Infrastructures for new challenges.
Computer Security - ESORICS 2008 ; 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings
This book constitutes the refereed proceedings of the 13th European Symposium on Research in Computer Security, ESORICS 2008, held in Torremolinos, Spain, in October 2008.
Computer safety, reliability, and security ; Vol. 4166 ; 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability of critical IT systems and applications and serves as a platform for knowledge and technology transfer for researchers, industry (suppliers, operators, users), regulators and certi?ers of such systems. SAFECOMP provides ample opportunity to exchange insights and experiences on emerging methods, approaches and practical so- tions to safety, security and reliability problems across the borders of di?erent application domains and technologies.
Computer safety, reliability, and security ; Vol. 3688
This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005. The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures.
Computer safety, reliability, and security ; 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance.
Computer safety, reliability, and security ; 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008.
Computer safety, reliability, and security ; 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings
It' s important to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied to safety-relevant industrial domains.This book included a considerable number of contributions addressing technical problems and engineering solutions across the border between safety-related and securi- related concerns.
Cold Micro Metal Forming : Research Report of the Collaborative Research Center “Micro Cold Forming” (SFB 747), Bremen, Germany
This book contains the research report of the Collaborative Research Center “Micro Cold Forming” (SFB 747) of the University of Bremen, Germany. The topical research focus lies on new methods and processes for a mastered mass production of micro parts which are smaller than 1mm (by forming in batch size higher than one million). The target audience primarily comprises research experts and practitioners in production engineering, but the book may also be of interest to graduate students alike.
Coding for Data and Computer Communications
In a unique, single volume, this highly versatile text/reference introduces readers to the importance of channel coding (error-correcting codes), secure coding (cryptography), and source coding (data compression). It is organized in three main parts and uses clear, nonmathematical explanations to develop the concepts, principles, and techniques in each area of coding. Requiring only a general familiarity with computer methods, the book deals with all aspects of coding and its relevance to fast, secure, and reliable data transmission and storage. Features & Benefits: Presents comprehensive coverage of areas of coding often found in separate books, and stresses data coding’s relevance in today’s world / Provides a wealth of examples and exercises (with solutions) to help readers easily grasp the material / Incorporates an extensive chapter on data hiding, a sparsely documented topic of increasing importance in the community / Includes an author-supplied website with supplementary material / Possesses a detailed bibliography and helpful glossary, index, and appendixes (including projects for self-study).
Management of Data Center Networks
Delivers a rigorous and insightful exploration of the network management challenges that present within intra- and inter-data center networks, including reliability, routing, and security. The book also discusses new architectures found in data center networks that aim to minimize the complexity of network management while maximizing Quality of Service, like Wireless/Wired DCNs, server-only DCNs, and more. offers: A thorough overview of the architectures of data center networks, including the classification of switch-centric, server-centric, enhanced, optical, and wireless DCN architectures An exploration of resource management in wired and wireless data center networks, including routing and wireless channel allocation and assignment challenges and criteria Practical discussions of inter-data center networks, including an overview of basic virtual network embedding Examinations of energy and security management in data center networks
Maintenance Theory of Reliability
The book provides a detailed introduction to maintenance policies, updates the reader on the current status of the field and indicates future directions. The reader will learn the theory of maintenance and how to apply models in practice.
Machine Learning and Cognitive Computing for Mobile Communications and Wireless Networks
Communication and network technology has witnessed recent rapid development and numerous information services and applications have been developed globally. These technologies have high impact on society and the way people are leading their lives. The advancement in technology has undoubtedly improved the quality of service and user experience yet a lot needs to be still done. Some areas that still need improvement include seamless wide-area coverage, high-capacity hot-spots, low-power massive-connections, low-latency and high-reliability and so on. Thus, it is highly desirable to develop smart technologies for communication to improve the overall services and management of wireless communication. Machine learning and cognitive computing have converged to give some groundbreaking solutions for smart machines. With these two technologies coming together, the machines can acquire the ability to reason similar to the human brain. The research area of machine learning and cognitive computing cover many fields like psychology, biology, signal processing, physics, information theory, mathematics, and statistics that can be used effectively for topology management. Therefore, the utilization of machine learning techniques like data analytics and cognitive power will lead to better performance of communication and wireless systems.
Leveraging applications of formal methods, verification and validation : Applications ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.
Leveraging Applications of Formal Methods ; 1st International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers presented were carefully selected from more than 70 submissions. The papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. In particular, by discussing common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems.
Laser additive manufacturing: design, materials, processes and applications
Laser-based additive manufacturing (LAM) is a revolutionary advanced digital manufacturing technology developed in recent decades, which is also a key strategic technology for technological innovation and industrial sustainability. This technology unlocks the design and constraints of traditional manufacturing and meets the needs of complex geometry fabrication and high-performance part fabrication. A deeper understanding of the design, materials, processes, structures, properties and applications is desired to produce novel functional devices, as well as defect-free structurally sound and reliable LAM parts.The topics in this Special Issue reprint include macro- and micro-scale additive manufacturing with lasers, such as structure/material design, fabrication, modeling and simulation, in situ characterization of additive manufacturing processes and ex situ materials characterization and performance, with an overview that covers various applications in aerospace, biomedicine, optics and energy.
