- Table View
- List View
The Engineering of Mixed Reality Systems
by Philip Gray Emmanuel Dubois Laurence NigayAn increasing number of systems are exploiting mixed reality but to date there are no systematic methods, techniques or guidelines for the development of such systems. In bringing together contributions on a broad range of mixed reality development issues this book provides a sound theoretical foundation for a disciplined approach to mixed reality engineering. Divided into three parts: interaction design, software design and implementation, the first section covers generic and specific mixed reality design elements and provides an overview of the design method; Part 2 addresses technical solutions for interaction techniques, development tools and a global view of the mixed reality software development process. The final section contains detailed case studies to highlight the application of mixed reality in a variety of fields including aviation, architecture, emergency management, games, and healthcare.
Engineering Play: A Cultural History of Children's Software (The John D. and Catherine T. MacArthur Foundation Series on Digital Media and Learning)
by Mizuko ItoHow the influential industry that produced such popular games as Oregon Trail and KidPix emerged from experimental efforts to use computers as tools in child-centered learning.Today, computers are part of kids' everyday lives, used both for play and for learning. We envy children's natural affinity for computers, the ease with which they click in and out of digital worlds. Thirty years ago, however, the computer belonged almost exclusively to business, the military, and academia. In Engineering Play, Mizuko Ito describes the transformation of the computer from a tool associated with adults and work to one linked to children, learning, and play. Ito gives an account of a pivotal period in the 1980s and 1990s, which saw the rise of a new category of consumer software designed specifically for elementary school-aged children. “Edutainment” software sought to blend various educational philosophies with interactive gaming and entertainment, and included such titles as Number Munchers, Oregon Trail, KidPix, and Where in the World Is Carmen Sandiego?.The children's software boom (and the bust that followed), says Ito, can be seen as a microcosm of the negotiations surrounding new technology, children, and education. The story she tells is both a testimonial to the transformative power of innovation and a cautionary tale about its limitations.
Engineering Problems for Undergraduate Students: Over 250 Worked Examples with Step-by-Step Guidance
by Xian Wen NgThis textbook supplement deconstructs some of the most commonly-encountered and challenging problems arising within engineering domains such as thermodynamics, separation processes, chemical kinetics, fluid dynamics, and engineering mathematics that are foundational to most engineering programs, as well as many courses in STEM disciplines. The book is organized into a series of 250 problems and worked solutions, with problems written in a format typical of exam questions. The book provides students ample practice in solving problems and sharpening their skill applying abstract theoretical concepts to solving exam problems. The presentation of detailed step-by-step explanations for each problem from start to finish in this book helps students follow the train of thought toward arriving at the final numerical solutions to the problems.Stands as an all-in-one, multidisciplinary, engineering problem-solving resource with comprehensive depth and breadth of coverage;Adopts a highly relevant question and answer pedagogy;Maximizes understanding through clear use of visuals;Emphasizes detailed, step-by-step explanations;Includes supplementary sections of cross-referenced concepts.
Engineering Psychology and Cognitive Ergonomics: 15th International Conference, EPCE 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings (Lecture Notes in Computer Science #10906)
by Don HarrisThis book constitutes the proceedings of the 14th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2018, held as part of the 20th International Conference, HCI International 2018, which took place in Las Vegas, Nevada, in July 2018. The total of 1171 papers and 160 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4346 submissions. EPCE 2018 includes a total of 57 papers; they were organized in topical sections named: mental workload and human error; situation awareness, training and team working; psychophysiological measures and assessment; interaction, cognition and emotion; and cognition in aviation and space.
Engineering Psychology and Cognitive Ergonomics: 16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings (Lecture Notes in Computer Science #11571)
by Don HarrisThis book constitutes the proceedings of the 16th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was carefully reviewed and selected from 5029 submissions.EPCE 2019 includes a total of 34 regular papers; they were organized in topical sections named: mental workload and performance; visual cognition; cognitive psychology in aviation and space; and group collaboration and decision making.
Engineering Psychology and Cognitive Ergonomics: 18th International Conference, EPCE 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings (Lecture Notes in Computer Science #12767)
by Don Harris Wen-Chin LiThis book constitutes the proceedings of the 18th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2021, held as part of the 23rd International Conference, HCI International 2020, held as a virtual event, in July 2021.The total of 1276 papers and 241 posters included in the 36 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions. EPCE 2021 includes a total of 34 regular papers; they were organized in topical sections named: cognitive psychology in aviation; cognitive psychology in air traffic control; studies on cognitive processes; human error and human performance; and cognition and design.
Engineering Psychology and Cognitive Ergonomics: 20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I (Lecture Notes in Computer Science #14017)
by Don Harris Wen-Chin LiThis two-volume set LNCS 14017 - 14018 constitutes the thoroughly refereed proceedings of the 20th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2023, held as part of HCI International 2023 which took place in Copenhagen, Denmark, during July 23-28, 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings from a total of 7472 submissions. The papers included in the HCII-EPCE volume set were organized in topical sections as follows: Part I: Stress, fatigue, and mental workload; human performance and error management; resilience and performance in demanding contexts. Part II: Human factors in aviation; human factors in operations management; human-centered design of autonomous systems.
Engineering Psychology and Cognitive Ergonomics: 20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part II (Lecture Notes in Computer Science #14018)
by Don Harris Wen-Chin LiThis two-volume set LNCS 14017 - 14018 constitutes the thoroughly refereed proceedings of the 20th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2023, held as part of HCI International 2023 which took place in Copenhagen, Denmark, during July 23-28, 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings from a total of 7472 submissions. The papers included in the HCII-EPCE volume set were organized in topical sections as follows: Part I: Stress, fatigue, and mental workload; human performance and error management; resilience and performance in demanding contexts. Part II: Human factors in aviation; human factors in operations management; human-centered design of autonomous systems.
Engineering Psychology and Cognitive Ergonomics: 19th International Conference, EPCE 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings (Lecture Notes in Computer Science #13307)
by Don Harris Wen-Chin LiThis book constitutes the refereed proceedings of the 19th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022. The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions. The EPCE 2022 proceedings covers subjects such as advances in applied cognitive psychology that underpin the theory, measurement and methodologies behind the development of human-machine systems. Cognitive Ergonomics describes advances in the design and development of user interfaces.
Engineering Psychology and Cognitive Ergonomics: 21st International Conference, EPCE 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14692)
by Don Harris Wen-Chin LiThis two-volume set LNAI 14692–14693 constitutes the thoroughly refereed proceedings of the 21st International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2024, held as part of HCI International 2024,held in Washington, DC, USA, during June 29 - July 4, 2024. The total of 1271 papers and 309 posters included in the HCII 2024 proceedings was carefully reviewed and selected from 5108 submissions. The papers included in the HCII-EPCE two-volume set were organized in topical sections as follows: Part I: Cognitive Processes and Performance in High-Stress Environments; Decision-Making Support and Automation. Part II: Engineering Psychology and User Experience; Human Factors in Aviation.
Engineering Psychology and Cognitive Ergonomics: 21st International Conference, EPCE 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14693)
by Don Harris Wen-Chin LiThis two-volume set LNAI 14692–14693 constitutes the thoroughly refereed proceedings of the 21st International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2024, held as part of HCI International 2024,held in Washington, DC, USA, during June 29 - July 4, 2024. The total of 1271 papers and 309 posters included in the HCII 2024 proceedings was carefully reviewed and selected from 5108 submissions. The papers included in the HCII-EPCE two-volume set were organized in topical sections as follows: Part I: Cognitive Processes and Performance in High-Stress Environments; Decision-Making Support and Automation. Part II: Engineering Psychology and User Experience; Human Factors in Aviation.
Engineering Psychology and Cognitive Ergonomics. Cognition and Design: 17th International Conference, EPCE 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II (Lecture Notes in Computer Science #12187)
by Don Harris Wen-Chin LiThis book constitutes the proceedings of the 17th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020. The total of 1439 papers and 238 posters included in the 37 HCII 2020 proceedings volumes was carefully reviewed and selected from 6326 submissions.EPCE 2020 includes a total of 60 regular papers; they were organized in topical sections named: mental workload and performance; human physiology, human energy and cognition; cognition and design of complex and safety critical systems; human factors in human autonomy teaming and intelligent systems; cognitive psychology in aviation and automotive.As a result of the Danish Government's announcement, dated April 21, 2020, to ban all large events (above 500 participants) until September 1, 2020, the HCII 2020 conference was held virtually.
Engineering Psychology and Cognitive Ergonomics. Mental Workload, Human Physiology, and Human Energy: 17th International Conference, EPCE 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I (Lecture Notes in Computer Science #12186)
by Don Harris Wen-Chin LiThis book constitutes the proceedings of the 17th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020. The total of 1439 papers and 238 posters included in the 37 HCII 2020 proceedings volumes was carefully reviewed and selected from 6326 submissions.EPCE 2020 includes a total of 60 regular papers; they were organized in topical sections named: mental workload and performance; human physiology, human energy and cognition; cognition and design of complex and safety critical systems; human factors in human autonomy teaming and intelligent systems; cognitive psychology in aviation and automotive.As a result of the Danish Government's announcement, dated April 21, 2020, to ban all large events (above 500 participants) until September 1, 2020, the HCII 2020 conference was held virtually.
Engineering Resilient Systems on AWS: Design, Build, and Test for Resilience
by Kevin Schwarz Jennifer Moran Nate BachmeierTo ensure that applications are reliable and always available, more businesses today are moving applications to AWS. But many companies still struggle to design and build these cloud applications effectively, thinking that because the cloud is resilient, their applications will be too. With this practical guide, software, DevOps, and cloud engineers will learn how to implement resilient designs and configurations in the cloud using hands-on independent labs.Authors Kevin Schwarz, Jennifer Moran, and Dr. Nate Bachmeier from AWS teach you how to build cloud applications that demonstrate resilience with patterns like back off and retry, multi-Region failover, data protection, and circuit breaker with common configuration, tooling, and deployment scenarios. Labs are organized into categories based on complexity and topic, making it easy for you to focus on the most relevant parts of your business.You'll learn how to:Configure and deploy AWS services using resilience patternsImplement stateless microservices for high availabilityConsider multi-Region designs to meet business requirementsImplement backup and restore, pilot light, warm standby, and active-active strategiesBuild applications that withstand AWS Region and Availability Zone impairmentsUse chaos engineering experiments for fault injection to test for resilienceAssess the trade-offs when building resilient systems, including cost, complexity, and operational burden
Engineering Safe and Secure Cyber-Physical Systems
by Roman GumzejThis book introduces the concept of holistic designand development of cyber physical systems to achieve their safe and secureoperation. It shows that by following the standards for embedded system'ssafety and using appropriate hardware and software components inherently safesystem's architectures can be devised and certified. While the standardsalready enable testing and certification of inherently safe and sound hardware,this is still not the case with software. The book demonstrates that SpecificationPEARL(SPEARL) addresses this issue and proposes appropriate solutions from theviewpoints of software engineering as well as concrete program components. Bydoing so it reduces the complexity of cyber physical systems design in aninnovative way. Three ultimate goals are being followed in thecourse of defining this new PEARL standard, namely: 1. simplicity over complexity, 2. inherent real-time ability, and 3. conformity to safety integrity and securitycapability levels.
Engineering Secure Devices: A Practical Guide for Embedded System Architects and Developers
by Dominik MerliThis practical guide to building embedded and IoT devices securely is an essential resource for current and future developers tasked with protecting users from the potential threats of these ubiquitous devices.As an engineer, you know that countless devices—from industrial components to smart household appliances—rely on embedded computer systems. But how do you balance the need for robust security with performance and innovative product design?Engineering Secure Devices will guide you through crafting secure devices—from protecting crucial assets to the nature of attackers and the risks they pose. You&’ll explore the technical intricacies and pros and cons of symmetric and asymmetric cryptography and learn how to use and analyze random number generators and cryptographic algorithms. You&’ll learn how to ensure confidential data storage and secure memory, and devise secure device identity solutions and communication protocols to reinforce system architecture against potential threats. And finally, you&’ll learn how to properly design secure boot and secure update processes, manage access control, and perform system monitoring to secure IoT devices.Real-world case studies throughout highlight practical applications, solutions, and obstacles, such as firmware updates with SWUpdate, secure communication with MQTT, and advanced access control with AppArmor.You&’ll also dig into topics like: Analyzing the performance of cryptographic implementations in both hardware and softwareConsiderations for secure boot and software update processes to ensure ongoing firmware integrityDesigning robust device architectures that withstand attacks while maintaining critical operationsDeveloping strategies to detect and respond to anomalies or security breaches in embedded systemsWhether you&’re an IoT developer or an embedded system architect, Engineering Secure Devices equips you with the indispensable knowledge to design, secure, and support the next generation of smart devices—from webcams to four-legged robots.
Engineering Secure Software and Systems
by Elias Athanasopoulos Eric Bodden Juan CaballeroThis book constitutes the refereed proceedings of the 8th International Symposium on Engineering Secure Software and Systems, ESSoS 2016, held in London, UK, in April 2016. The 13 full papers presented together with 3 short papers and 1 invited talk were carefully reviewed and selected from 50 submissions. The goal of this symposium, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. The presentations and associated publications at ESSoS 2016 contribute to this goal in several directions: First, by improving methodologies for secure software engineering (such as flow analysis and policy compliance). Second, with results for the detection and analysis of software vulnerabilities and the attacks they enable. Finally, for securing software for specific application domains (such as mobile devices and access control).
Engineering Secure Software and Systems
by Eric Bodden Mathias Payer Elias AthanasopoulosThis book constitutes the refereed proceedings of the 8th International Symposium on Engineering Secure Software and Systems, ESSoS 2016, held in London, UK, in April 2016. The 13 full papers presented together with 3 short papers and 1 invited talk were carefully reviewed and selected from 50 submissions. The goal of this symposium, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. The presentations and associated publications at ESSoS 2016 contribute to this goal in several directions: First, by improving methodologies for secure software engineering (such as flow analysis and policy compliance). Second, with results for the detection and analysis of software vulnerabilities and the attacks they enable. Finally, for securing software for specific application domains (such as mobile devices and access control).
Engineering Secure Software and Systems: 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings (Lecture Notes in Computer Science #10953)
by Awais Rashid Mathias Payer Jose M. SuchThis book constitutes the refereed proceedings of the 10th International Symposium on Engineering Secure Software and Systems, ESSoS 2018, held in Paris, France, in June 2018. The 10 papers, consisting of 7 regular and 3 idea papers, were carefully reviewed and selected from 26 submissions. They focus on the construction of secure software, which is becoming an increasingly challenging task due to the complexity of modern applications, the growing sophistication of security requirements, the multitude of available software technologies, and the progress of attack vectors.
Engineering Secure Two-Party Computation Protocols
by Thomas SchneiderSecure two-party computation, called secure function evaluation (SFE), enables two mutually mistrusting parties, the client and server, to evaluate an arbitrary function on their respective private inputs while revealing nothing but the result. Originally the technique was considered to be too inefficient for practical privacy-preserving applications, but in recent years rapid speed-up in computers and communication networks, algorithmic improvements, automatic generation, and optimizations have enabled their application in many scenarios. The author offers an extensive overview of the most practical and efficient modern techniques used in the design and implementation of secure computation and related protocols. After an introduction that sets secure computation in its larger context of other privacy-enhancing technologies such as secure channels and trusted computing, he covers the basics of practically efficient secure function evaluation, circuit optimizations and constructions, hardware-assisted garbled circuit protocols, and the modular design of efficient SFE protocols. The goal of the author's research is to use algorithm engineering methods to engineer efficient secure protocols, both as a generic tool and for solving practical applications, and he achieves an excellent balance between the theory and applicability. The book is essential for researchers, students and practitioners in the area of applied cryptography and information security who aim to construct practical cryptographic protocols for privacy-preserving real-world applications.
Engineering Software for Accessibility
by Microsoft Corporation<div xmlns="http://www.w3.org/1999/xhtml"><p>Get Microsoft design guidelines for developing accessible Web sites and software. By mapping out your accessible tree and planning for implementation at the specification level, you\u2019ll learn to create products that work with assistive technologies.</p></div>
Engineering Software for Modern Challenges: First International Conference, ESMoC 2021, Johor, Malaysia, October 20–21, 2021, Revised Selected Papers (Communications in Computer and Information Science #1615)
by Dayang Norhayati A. Jawawi Imran Sarwar Bajwa Rafaqut KazmiThis volume constitutes selected papers presented at the First International Conference on Engineering Software for Modern Challenges, ESMoC 2021, held in Johor, Malaysia, in October 20-21, 2021.The 17 papers presented were thoroughly reviewed and selected from the 167 submissions. They are organized in the topical sections on software engineering; intelligent systems; software quality.
Engineering Software Systems: Research and Praxis (Advances In Intelligent Systems and Computing #830)
by Zbigniew Zieliński Piotr KosiuczenkoThis book highlights a range of new approaches and concepts in the field of software engineering. Based on systematic methods, graphical and formal models, the approaches are designed for solving practical problems encountered in actual software development. The book is divided into 13 chapters, which address core aspects such as security, performance and quality measurement. Chiefly intended to stimulate new research by presenting real problems faced by the industry, and to facilitate software development by applying precisely defined, validated and efficient models and methods, the book offers a valuable guide – for researchers and industry practitioners at small, medium and large companies alike.
Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures (Lecture Notes in Computer Science #11174)
by Jonathan P. Bowen Zhiming Liu Zili ZhangThis volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.
Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures (Lecture Notes in Computer Science #11430)
by Jonathan P. Bowen Zhiming Liu Zili ZhangThis volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China.The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning Büchi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software.