Contains the invited papers presented at the Sixteenth annual Safety-critical Systems Symposium, held in February 2008 in the UKPresents a broad spectrum of major safety issues and the papers included cover a broad spectrum of issues affecting safety and bring together topics that are of the utmost importance in current safety thinking.
Developments in Risk-based Approaches to Safety contains the invited papers presented at the Fourteenth annual Safety-critical Systems Symposium, held at Bristol, UK in February 2006.
Network Calculus is a mathematical theory concerned with deriving performance bound networks and this book aims to show that it can provide useful methods for designing and engineering networks.
Constituents of Modern System-safety Thinking contains the invited papers presented at the Thirteenth annual Safety-critical Systems Symposium, held at Southampton, UK in February 2005.
Taking a three-pronged approach - test engineering from traditional-test, design and manufacturing view-points - Integrated Circuit Test Engineering encapsulates the subject as it stands today.
The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13-15, 2023.
This six-volume set, LNAI 15387-15392, constitutes the refereed proceedings of the 20th International Conference on Advanced Data Mining and Applications, ADMA 2024, held in Sydney, New South Wales, Australia, during December 3-5, 2024.
The five-volume set CCIS 1832-1836 contains the extended abstracts of the posters presented during the 25th International Conference on Human-Computer Interaction, HCII 2023, which was held as a hybrid event in Copenhagen, Denmark, in July 2023.
Skills to grow from a solo coder into a productive member of a software development team, with seasoned advice on everything from refactoring to acing an interview.
This two-volume set of HCIBGO 2024 constitutes the refereed proceedings of the 11h International Conference on HCI in Business, Government and Organizations, held as part of the 26th International Conference, HCI International 2024, which took place in from June 29 - July 4, 2024 in Washington DC, USA.
Learn practical techniques from leading AI and business process experts to streamline operations, drive digital transformation, and accelerate your career growthKey FeaturesNavigate common challenges in digital transformation to ensure seamless process adoption across teamsMaster BPMN, process modeling, and automation launch strategies to streamline workflows and boost efficiencyWork with practical frameworks to align business processes with strategic long-term growthPurchase of the print or Kindle book includes a free PDF eBookBook DescriptionEvery business transformation begins with one question, "e;How can we do this better?
This two-volume set of HCIBGO 2025 constitutes the refereed proceedings of the 12th International Conference on HCI in Business, Government and Organizations, held as part of the 27th International Conference, HCI International 2025, which took place in Gothenburg, Sweden, during June 22–27, 2025.
The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13-15, 2023.
This six-volume set, LNAI 15387-15392, constitutes the refereed proceedings of the 20th International Conference on Advanced Data Mining and Applications, ADMA 2024, held in Sydney, New South Wales, Australia, during December 3-5, 2024.
This eleven-volume set LNCS 14815 - 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1-4, 2024.
This book constitutes the refereed proceedings of the 20th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2024, held in Rome, Italy, during September 26-27, 2024.
This four-volume set constitutes the post-conference proceedings of the 7th EAI International Conference on Advanced Hybrid Information Processing, ADHIP 2023, held in Harbin, China, during September 22-24, 2023.
This four-volume set constitutes the post-conference proceedings of the 7th EAI International Conference on Advanced Hybrid Information Processing, ADHIP 2023, held in Harbin, China, during September 22-24, 2023.
This four-volume set constitutes the post-conference proceedings of the 7th EAI International Conference on Advanced Hybrid Information Processing, ADHIP 2023, held in Harbin, China, during September 22-24, 2023.
The two-volume set LNCS 14634 and 14635 constitutes the refereed proceedings of the 27th European Conference on Applications of Evolutionary Computation, EvoApplications 2024, held as part of EvoStar 2024, in Aberystwyth, UK, April 3-5, 2024, and co-located with the EvoStar events, EvoCOP, EvoMUSART, and EuroGP.
This six-volume set, LNAI 15387-15392, constitutes the refereed proceedings of the 20th International Conference on Advanced Data Mining and Applications, ADMA 2024, held in Sydney, New South Wales, Australia, during December 3-5, 2024.
This two-volume set volume constitutes the papers of ten workshops which were held in conjunction with the 22nd International Conference on Service-Oriented Computing, ICSOC 2024.
This two-volume set of HCIBGO 2025 constitutes the refereed proceedings of the 12th International Conference on HCI in Business, Government and Organizations, held as part of the 27th International Conference, HCI International 2025, which took place in Gothenburg, Sweden, during June 22–27, 2025.
Presenting the first definitive study of the subject, this Handbook of Biometric Anti-Spoofing reviews the state of the art in covert attacks against biometric systems and in deriving countermeasures to these attacks.
This book describes the landscape of cloud computing from first principles, leading the reader step-by-step through the process of building and configuring a cloud environment.
Haptics technology is being used more and more in different applications, such as in computer games for increased immersion, in surgical simulators to create a realistic environment for training of surgeons, in surgical robotics due to safety issues and in mobile phones to provide feedback from user action.
The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com- puter Systems (FM89} was an invitational workshop that brought together repre- sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States.
Correct Systems looks at the whole process of building a business process model, capturing that in a formal requirements statement and developing a precise specification.
Practical Usage of MVS REXX provides a concise and complete source of information for the development of applications using the REXX language - IBM's systems application architecture procedural language.