- Table View
- List View
S3D Dashboard: Exploring Depth on Large Interactive Dashboards
by Florian WeidnerOver the last decades, the interior of cars has been constantly changing. A promising, yet unexplored, modality are large stereoscopic 3D (S3D) dashboards. Replacing the traditional car dashboard with a large display and applying binocular depth cues, such a user interface (UI) could provide novel possibilities for research and industry. In this book, the author introduces a development environment for such a user interface. With it, he performed several driving simulator experiments and shows that S3D can be used across the dashboard to support menu navigation and to highlight elements without impairing driving performance. The author demonstrates that S3D has the potential to promote safe driving when used in combination with virtual agents during conditional automated driving. Further, he present results indicating that S3D navigational cues improve take-over maneuvers in conditional automated vehicles. Finally, investigating the domain of highly automated driving, he studied how users would interact with and manipulate S3D content on such dashboards and present a user-defined gesture set.
S60 Programming: A Tutorial Guide (Symbian Press #21)
by Paul Coulton Reuben Charles EdwardsBased on the authors' experiences in developing and teaching Symbian OS, this practical guide is perfect for programmers and provides a series of example-based scenarios that show how to develop Symbian applications. Exercises walk the reader through the initial development of a console-based card game engine to a graphical user interface(GUI)-based, two player blackjack game operating over a Bluetooth connection between two mobile phones Addresses how Symbian offers a number of different variants to allow for different user interfaces and screen savers - the most prevalent of these is S60 Discusses how the move toward 3G technology has resulted in an increasing need for mobile application development for S60 devices.
Sachkunde im Bewachungsgewerbe (IHK): Lehrbuch für Prüfung und Praxis
by Robert SchwarzDieses Lehrbuch behandelt systematisch alle Fachgebiete der IHK-Sachkundeprüfung nach dem aktuellen Rahmenstoffplan. Besonderen Wert hat der Autor dabei auf den oft als schwierig empfundenen Rechtsteil gelegt: Zahlreiche Abbildungen und Beispiele veranschaulichen die Gesetzestexte und ihre Bedeutung für die Praxis, erleichtern das Stoffverständnis und das Lernen. Übersichtlich und verständlich erläutert das Buch die Grundprinzipien der Rechtsordnung der Bundesrepublik Deutschland und deren Anwendung, wichtige Fachbegriffe und die Stellung der privaten Sicherheit. So bietet das Werk die optimale Prüfungsvorbereitung - Schritt für Schritt. Die korrigierte und aktualisierte 4. Auflage wurde dem aktuellen Rahmenstoffplan im Frühjahr 2020 angepasst, insbesondere bezüglich der Verordnung über das Bewachungsgewerbe (BewachV).
Sachkunde im Bewachungsgewerbe (IHK): Lehrbuch für Prüfung und Praxis
by Robert SchwarzDieses Lehrbuch behandelt systematisch alle Fachgebiete der IHK-Sachkundeprüfung nach dem aktuellen Rahmenstoffplan. Besonderen Wert hat der Autor dabei auf den oft als schwierig empfundenen Rechtsteil gelegt: Zahlreiche Abbildungen und Beispiele veranschaulichen die Gesetzestexte und ihre Bedeutung für die Praxis, erleichtern das Stoffverständnis und das Lernen. Übersichtlich und verständlich erläutert das Buch die Grundprinzipien der Rechtsordnung der Bundesrepublik Deutschland und deren Anwendung, wichtige Fachbegriffe und die Stellung der privaten Sicherheit. So bietet das Werk die optimale Prüfungsvorbereitung – Schritt für Schritt. Die gründlich durchgesehene und verbesserte 5. Auflage entspricht dem aktuellen Rahmenstoffplan 2020/2021 und berücksichtigt auch die Verordnung über das Bewachungsgewerbe (BewachV).
Sachkunde im Bewachungsgewerbe (IHK): Lehrbuch für Prüfung und Praxis
by Robert SchwarzDieses Lehrbuch behandelt systematisch alle Fachgebiete der IHK-Sachkundeprüfung nach dem aktuellen Rahmenstoffplan. Besonderen Wert hat der Autor dabei auf den oft als schwierig empfundenen Rechtsteil gelegt: Zahlreiche Abbildungen und Beispiele veranschaulichen die Gesetzestexte und ihre Bedeutung für die Praxis, erleichtern das Stoffverständnis und das Lernen. Übersichtlich und verständlich erläutert das Buch die Grundprinzipien der Rechtsordnung der Bundesrepublik Deutschland und deren Anwendung, wichtige Fachbegriffe und die Stellung der privaten Sicherheit. So bietet das Werk die optimale Prüfungsvorbereitung – Schritt für Schritt. Die überarbdeitete 6. Auflage entspricht dem aktuellen Rahmenstoffplan der DIHK vom Mai 2021.
Sachkunde im Bewachungsgewerbe (IHK) - Übungsbuch: 250 Fragen mit Antworten und 10 Übungsfälle mit Lösungen
by Robert SchwarzDieses Übungsbuch ergänzt das gleichnamige Lehrbuch. Es schließt die Lücke zwischen dem Unterrichts- und Lernstoff und der Vorbereitung auf die Prüfung. Mit Hilfe der Fragen und Antworten können Lernende den wichtigen Prüfungsstoff strukturiert wiederholen, den eigenen Lernfortschritt kontrollieren und sich gründlich auf die Prüfung vorbereiten. Zehn Übungsfälle mit ausführlichen Lösungen stellen Zusammenhänge her und vertiefen das Gelernte. Die aktualisierte 3. Auflage wurde gründlich durchgesehen.
Sachkunde im Bewachungsgewerbe (IHK) - Übungsbuch: 250 Fragen mit Antworten und 10 Übungsfälle mit Lösungen
by Robert SchwarzDieses Übungsbuch ergänzt das gleichnamige Lehrbuch. Es schließt die Lücke zwischen dem Unterrichts- und Lernstoff und der Vorbereitung auf die Prüfung. Mit Hilfe der Fragen und Antworten können Lernende den wichtigen Prüfungsstoff strukturiert wiederholen, den eigenen Lernfortschritt kontrollieren und sich gründlich auf die Prüfung vorbereiten. Zehn Übungsfälle mit ausführlichen Lösungen stellen Zusammenhänge her und vertiefen das Gelernte. Die aktuelle 4. Auflage wurde sorgfältig durchgesehen.
Sachkunde im Bewachungsgewerbe (IHK) - Übungsbuch: 250 Fragen mit Antworten und 10 Übungsfälle mit Lösungen
by Robert SchwarzDieses Übungsbuch ergänzt das gleichnamige Lehrbuch. Es schließt die Lücke zwischen dem Unterrichts- und Lernstoff und der Vorbereitung auf die Prüfung. Mit Hilfe der Fragen und Antworten können Lernende den wichtigen Prüfungsstoff strukturiert wiederholen, den eigenen Lernfortschritt kontrollieren und sich gründlich auf die Prüfung vorbereiten. Zehn Übungsfälle mit ausführlichen Lösungen stellen Zusammenhänge her und vertiefen das Gelernte. Die überarbeitete 5. Auflage entspricht dem aktuellen Rahmenstoffplan vom Mai 2021.
Safe Adaptive Control: Data-driven Stability Analysis and Robust Synthesis (Lecture Notes in Control and Information Sciences #405)
by Margareta Stefanovic Michael G. SafonovSafe Adaptive Control gives a formal and complete algorithm for assuring the stability of a switched control system when at least one of the available candidate controllers is stabilizing. The possibility of having an unstable switched system even in the presence of a stabilizing candidate controller is demonstrated by referring to several well-known adaptive control approaches, where the system goes unstable when a large mismatch between the unknown plant and the available models exists ("plant-model mismatch instability"). Sufficient conditions for this possibility to be avoided are formulated, and a "recipe" to be followed by the control system designer to guarantee stability and desired performance is provided. The problem is placed in a standard optimization setting. Unlike the finite controller sets considered elsewhere, the candidate controller set is allowed to be continuously parametrized so that it can deal with plants with a very large range of uncertainties.
Safe and Secure Cities: 5th International Conference on Well-Being in the Information Society, WIS 2014, Turku, Finland, August 18-20, 2014. Proceedings (Communications in Computer and Information Science #450)
by Kaija Saranto Maaret Castrén Tiina Kuusela Sami Hyrynsalmi Stina OjalaThis book constitutes the refereed proceedings of the 5th International Conference on Well-Being in the Information Society, WIS 2014, held in Turku, Finland, in September 2014. The 24 revised full papers presented were carefully reviewed and selected from 64 submissions. The core topic is livability and quality of (urban) living with safety and security. The papers address topics such as secure and equal use of information resources, safe and secure work environments and education institutions, cyberaggression and cybersecurity as well as impact of culture on urban safety and security.
Safe and Secure Cyber-Physical Systems and Internet-of-Things Systems
by Marilyn Wolf Dimitrios SerpanosThis book provides the first comprehensive view of safe and secure CPS and IoT systems. The authors address in a unified manner both safety (physical safety of operating equipment and devices) and computer security (correct and sound information), which are traditionally separate topics, practiced by very different people. Offers readers a unified view of safety and security, from basic concepts through research challenges;Provides a detailed comparison of safety and security methodologies;Describes a comprehensive threat model including attacks, design errors, and faults;Identifies important commonalities and differences in safety and security engineering.
Safe and Secure Software Reuse: 13th International Conference on Software Reuse, ICSR 2013,Pisa, Italy, June 18-20, 2013, Proceedings (Lecture Notes in Computer Science #7925)
by John Favaro Maurizio MorisioThis book constitutes the refereed proceedings of the 13th International Conference on Safe and Secure Software Reuse, ICSR 2013, held in Pisa, Italy, in June 2013. The 27 papers (18 full and 9 short papers) presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on feature modeling and variability analysis; reuse and testing; architecture and reuse; analysis for reuse; reuse and patterns, short papers, emerging ideas and trends.
Safe, Autonomous and Intelligent Vehicles (Unmanned System Technologies)
by Huafeng Yu Xin Li Richard M. Murray S. Ramesh Claire J. TomlinThis book covers the start-of-the-art research and development for the emerging area of autonomous and intelligent systems. In particular, the authors emphasize design and validation methodologies to address the grand challenges related to safety. This book offers a holistic view of a broad range of technical aspects (including perception, localization and navigation, motion control, etc.) and application domains (including automobile, aerospace, etc.), presents major challenges and discusses possible solutions.
Safe Autonomy with Control Barrier Functions: Theory and Applications (Synthesis Lectures on Computer Science)
by Wei Xiao Christos G. Cassandras Calin BeltaThis book presents the concept of Control Barrier Function (CBF), which captures the evolution of safety requirements during the execution of a system and can be used to enforce safety. Safety is formalized using an emerging state-of-the-art approach based on CBFs, and many illustrative examples from autonomous driving, traffic control, and robot control are provided. Safety is central to autonomous systems since they are intended to operate with minimal or no human supervision, and a single failure could result in catastrophic results. The authors discuss how safety can be guaranteed via both theoretical and application perspectives. This presented method is computationally efficient and can be easily implemented in real-time systems that require high-frequency reactive control. In addition, the CBF approach can easily deal with nonlinear models and complex constraints used in a wide spectrum of applications, including autonomous driving, robotics, and traffic control. With the proliferation of autonomous systems, such as self-driving cars, mobile robots, and unmanned air vehicles, safety plays a crucial role in ensuring their widespread adoption. This book considers the integration of safety guarantees into the operation of such systems including typical safety requirements that involve collision avoidance, technological system limitations, and bounds on real-time executions. Adaptive approaches for safety are also proposed for time-varying execution bounds and noisy dynamics.
Safe Comp 95: The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11–13 October 1995
by Gerhard RabeSafety-related computer systems are those which may lead to loss of life, injury or plant and environmental damage. Such systems therefore have to be developed and implemented so that they meet strict require and security because their applications cover ments on safety, reliability nearly all areas of daily life and range from controlling and monitoring industrial processes, through robotics and power generation, to transport systems. Highly reliable electronic systems for safety-related applications represent an area in which industry has been involved for many years and which is now gaining increasing importance in academia. Their relevance also results from an increased perception of safety by society. Therefore, not only are technicians involved in this area, but psycho logical and sociological aspects also play a major role. Dealing with safety-related systems we have to consider the whole lifecycle of these systems, starting from specification up to implementation, assessment and operation. All those issues mentioned above are covered in this book, which represents the proceedings of the 14th International Conference on Computer Safety, Reliability and Security, SAFECOMP '95, held in Belgirate, Italy, 11-13 October 1995. The conference continues the series of SAFECOMP conferences which was originated by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Security and Reliability (EWICS TC7) and reflects the state of the art, experience and new trends in the area of safety-related computer systems.
Safe Comp 96: The 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria October 23–25 1996
by Austrian Research Centre SeibersdorfSAFECOMP '96 contains papers presented at the 15th International Conference on Computer Safety, Reliability and Security held in Vienna, Austria, 23-25 October 1996. The conference aimed to provide an opportunity for technical developers and users to discuss and review their experiences, to consider the best technologies currently available, and to identify the skills and technologies required for the future. SAFECOMP '96 focuses on critical computer applications and is intended as a platform for technology transfer between academia, industry and research institutions. SAFECOMP '96 will be of interest to all those in universities, research institutions, industry and business who want to be well-informed about the current international state of the art in computer safety, reliability and security.
Safe Comp 97: The 16th International Conference on Computer Safety, Reliability and Security
by Peter DanielThe safe and secure operation ofcomputer systems continues to be the major issue in many applications where there is a threat to people, the environment, investment or goodwill. Such applications include medical devices, railway signalling, energy distribution, vehicle control and monitoring, air traffic control, industrial process control, telecommunications systemsand manyothers. This book represents the proceedings of the 16th International Conference on Computer Safety, Reliability and Security, held in York, UK, 7-10 September 1997. The conference reviews the state ofthe art, experience and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP 97 provides an opportunity for technical developers, users and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future. The papers were carefully selected by the Conference International Programme Committee. The authors of the papers come from twelve different countries. The subjects covered include safe software, safety cases, management & development, security, human factors, guidelines standards & certification, applications & industrial experience, formal methods & models andvalidation, verification and testing. SAFECOMP '97 continues the successful series of SAFECOMP conferences first held in 1979 in Stuttgart. SAFECOMP is organised by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Security and Reliability (EWICS TC7).
Safe, Secure, Ethical, Responsible Technologies and Emerging Applications: First EAI International Conference, SAFER-TEA 2023, Yaoundé, Cameroon, October 25-27, 2023, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #566)
by Franklin Tchakounte Marcellin Atemkeng Rajeswari Pillai RajagopalanThis book constitutes the refereed proceedings of the First EAI International Conference on Safe, Secure, Ethical, Responsible Technologies and Emerging Applications, SAFER-TEA 2023, held in Yaoundé, Cameroon, during October 25-27, 2023. The 24 full papers were carefully reviewed and selected from 75 submissions. They were organized in topical sections as follows: Regulations and Ethics of Artificial Intelligence, Resource-constrained Networks and Cybersecurity, Emerging Artificial Intelligence Applications, Reviews.
Safe Social Networking: Safe Social Networking (Quick Expert's Guide #6)
by Anita NaikThis series offers a shortcut to instant expertise! Quick Expert's Guides are aimed at teens and 'tweens who are keen to know more about a popular topic but who may be put off the idea of having to read wordy or technical guides. Each title includes features that break down the complex aspects of the subject, inspirational case studies, activities and a final project to test the reader's new skills. Chapter round-ups also offer tips on key words and phrases as well as boosting self esteem and confidence, in order to walk the walk and talk the talk of a true expert.
Safe Trajectory Planning for Maritime Surface Ships (Springer Series on Naval Architecture, Marine Engineering, Shipbuilding and Shipping #13)
by Agnieszka LazarowskaThis book offers a comprehensive review of collision avoidance techniques and safe trajectory planning for manned and unmanned ships, together with extensive information on how to develop and implement algorithms for applications in real-world settings. It describes the most relevant decision-support systems and guidance systems used in the control of marine craft, giving a special emphasis to autonomous vehicles, but also covering manned ones. Thanks to its good balance of theory and practice, and the inclusion of basic explanations of all essential concepts, this book fills an important gap in the literature of marine navigation, providing not only researchers and practitioners with a timely reference guide to safe trajectory planning, but also supporting students and newcomers to the field.
SAFECOMP ’93: The 12th International Conference on Computer Safety, Reliability and Security
by Janusz GorskiThe safe operation of computer systems continues to be a key issue in many applications where people, environment, investment, or goodwill can be at risk. Such applications include medical, railways, power generation and distribution, road transportation, aerospace, process industries, mining, military and many others. This book represents the proceedings of the 12th International Conference on Computer Safety, Reliability and Security, held in Poznan, Poland, 27-29 October 1993. The conference reviews the state of the art, experiences and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP'93 provides an opportunity for technical developers, users, and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future. The papers were carefully selected by the International Program Com mittee of the Conference. The authors of the papers come from 16 different countries. The subjects covered include formal methods and models, safety assessment and analysis, verification and validation, testing, reliability issues and dependable software tech nology, computer languages for safety related systems, reactive systems technology, security and safety related applications. As to its wide international coverage, unique way of combining partici pants from academia, research and industry and topical coverage, SAFECOMP is outstanding among the other related events in the field.
Safeguards in a World of Ambient Intelligence (The International Library of Ethics, Law and Technology #1)
by Yves Punie David Wright Serge Gutwirth Michael Friedewald Elena VildjiounaiteCopy the following link for free access to the first chapter of this title: http://www.springerlink.com/content/j23468h304310755/fulltext.pdf This book is a warning. It aims to warn policy-makers, industry, academia, civil society organisations, the media and the public about the threats and vulnerabilities facing our privacy, identity, trust, security and inclusion in the rapidly approaching world of ambient intelligence (AmI). In the near future, every manufactured product – our clothes, money, appliances, the paint on our walls, the carpets on our floors, our cars, everything – will be embedded with intelligence, networks of tiny sensors and actuators, which some have termed “smart dust”. The AmI world is not far off. We already have surveillance systems, biometrics, personal communicators, machine learning and more. AmI will provide personalised services – and know more about us – on a scale dwarfing anything hitherto available. In the AmI vision, ubiquitous computing, communications and interfaces converge and adapt to the user. AmI promises greater user-friendliness in an environment capable of recognising and responding to the presence of different individuals in a seamless, unobtrusive and often invisible way. While most stakeholders paint the promise of AmI in sunny colours, there is a dark side to AmI. This book aims to illustrate the threats and vulnerabilities by means of four “dark scenarios”. The authors set out a structured methodology for analysing the four scenarios, and then identify safeguards to counter the foreseen threats and vulnerabilities. They make recommendations to policy-makers and other stakeholders about what they can do to maximise the benefits from ambient intelligence and minimise the negative consequences.
Safeguards Systems Analysis: With Applications to Nuclear Material Safeguards and Other Inspection Problems
by R. AvenhausAdequate verification is the key issue not only in today's arms control, arms limitation, and disarmament regimes, but also in less spectacular areas like auditing in economics or control of environmental pollution. Statistical methodologies and system analytical approaches are the tools developed over the past decades for quantifying those components of adequate verification which are quantifiable, i. e. , numbers, inventories, mass transfers, etc. , together with their uncertainties. In his book Safeguards Systems Analy sis, Professor Rudolf Avenhaus condenses the experience and expertise he has gained over the past 20 years, when his work was mainly related to the development of the IAEA's system for safeguarding nuclear materials, to system analytical studies at IIASA in the field of future energy requirements and their risks, and to the application of statistical techniques to arms control. The result is a unified and up-to-date presentation and analysis of the quantitative aspects of safeguards systems, and the application of the more important findings to practical problems. International Nuclear Material Safeguards, by far the most advanced verification system in the field of arms limitation, is used as the main field of application for the game theoretical analysis, material accountancy theory, and the theory on verification of material accounting data developed in the first four chapters.
Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton 1997
by Felix Redmill Tom AndersonThe contributions to this book are the invited papers presented at the fifth annual Safety-critical Systems Symposium. They cover a broad spectrum of issues affecting safety, from a philosophical appraisal to technology transfer, from requirements analysis to assessment, from formal methods to artificial intelligence and psychological aspects. They touch on a number of industry sectors, but are restricted to none, for the essence of the event is the transfer of lessons and technologies between sectors. All address practical issues and of fer useful information and advice. Contributions from industrial authors provide evidence of both safety con sciousness and safety professionalism in industry. Smith's on safety analysis in air traffic control and Rivett's on assessment in the automotive industry are informative on current practice; Frith's thoughtful paper on artificial intelli gence in safety-critical systems reflects an understanding of questions which need to be resolved; Tomlinson's, Alvery's and Canning's papers report on collaborative projects, the first on results which emphasise the importance of human factors in system development, the second on the development and trial of a comprehensive tool set, and the third on experience in achieving tech nology transfer - something which is crucial to increasing safety.
SafeScrum® – Agile Development of Safety-Critical Software
by Geir Kjetil Hanssen Tor Stålhane Thor MyklebustThis book addresses the development of safety-critical software and to this end proposes the SafeScrum® methodology. SafeScrum® was inspired by the agile method Scrum, which is extensively used in many areas of the software industry. Scrum is, however, not intended or designed for use with safety-critical systems; hence the authors propose guidelines and additions to make it both practically useful and compliant with the additional requirements found in safety standards.The book provides an overview of agile software development and how it can be linked to safety and relevant safety standards. SafeScrum® is described in detail as a useful approach for reaping the benefits of agile methods, and is intended as a set of ideas and a basis for adaptation in industry projects. The book covers roles, processes and practices, and documentation. It also includes tips on how standard software process tools can be employed. Lastly, some insights into relevant research in this new and emerging field are provided, and selected real-world examples are presented.The ideas and descriptions in this book are based on collaboration with the industry, in the form of discussions with assessment organizations, general discussions within the research fields of safety and software, and last but not least, the authors’ own experiences and ideas. It was mainly written for practitioners in industry who know a great deal about how to produce safety-critical software but less about agile development in general and Scrum in particular.