Obstructions in Security-Aware Business Processes : Analysis, Detection, and Handling
This book explores the dilemma-like stalemate between security and regulatory compliance in business processes on the one hand and business continuity and governance on the other. The growing number of regulations, e.g., on information security, data protection, or privacy, implemented in increasingly digitized businesses can have an obstructive effect on the automated execution of business processes. Such security-related obstructions can particularly occur when an access control-based implementation of regulations blocks the execution of business processes. By handling obstructions, security in business processes is supposed to be improved. For this, the book presents a framework that allows the comprehensive analysis, detection, and handling of obstructions in a security-sensitive way. Thereby, methods based on common organizational security policies, process models, and logs are proposed. The Petri net-based modeling and related semantic and language-based research, as well as the analysis of event data and machine learning methods finally lead to the development of algorithms and experiments that can detect and resolve obstructions and are reproducible with the provided software.
Nonparametric Bayesian Learning for Collaborative Robot Multimodal Introspection
This book focuses on robot introspection, which has a direct impact on physical human–robot interaction and long-term autonomy, and which can benefit from autonomous anomaly monitoring and diagnosis, as well as anomaly recovery strategies.
New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design ; IFIP International Working Conference: EduTech 2005, Perth, Australia, October 20-21, 2005
Computation and communication technologies underpin work and development in many different areas. Among them, Computer-Aided Design of electronic systems and E-Learning technologies are two areas which are different but share many concerns. The design of CAD and E-Learning systems already touches on a number of parallels, such as system interoperability, user interfaces, standardization, EML-based formats, reusability aspects (of content or designs), and intellectual property rights. Furthermore, the teaching of Design Automation tools and methods is particularly amenable to a distant or blended learning setting, and implies the interconnection of typical CAD tools, such as simulators or synthesis tools, with e-learning tools. There are many other aspects in which synergy can be found when using E-Learning technology for teaching and learning technology. This workshop, sponsored by IFIP WG 10.5 Design and Engineering of Electronic Systems in cooperation with IFIP WG 3.6 Distance Education, will explore the interrelationship between these two subjects, where Computer-Aided Design meets Computer-Aided Learning. New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design documents recent approaches and results presented at the EduTech 2005 Workshop, which was held in October 2005 in Perth, Australia and sponsored by the International Federation for Information Processing (IFIP). The topics chosen for this working conference are very timely: learning environments, tools and applications for education, education technologies and trends, and teaching in the hardware design area.
New challenges in software engineering ; Vol 1
Explores the key challenges shaping the future of software development, including automation, AI-driven development, security-focused engineering, resilient and autonomous architectures, business process optimization, cloud computing, microservices, high-performance distributed systems, and sustainable technologies. Software engineering is undergoing a constant transformation, driven by rapid technological advances and evolving market demands. additionally, it delves into the ethical considerations of AI, the evolution of intuitive user interfaces, and the importance of multidisciplinary collaboration.
New advances in audio signal processing
In the era of digitalization, audio signal processing is gaining peculiar relevance as an automation and remote analysis means, also considering its enhancement by novel artificial intelligence (AI) techniques. This Reprint aims to offer an overview of the current developments in all fields that revolve around audio processing: from advancements in the acoustic domain to deep learning architectures for the audio-based analysis of real-world problems such as pitch detection or pathology identification.
Multi-point Interaction with Real and Virtual Objects
This edited book covers some of the most challenging problems on the forefront of today’s research on physical interaction with real and virtual objects, with special emphasis on modelling contacts between objects, grasp planning algorithms, haptic perception, and advanced design of hands, devices and interfaces.
Multiple Classifier Systems ; 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007, Proceedings
These proceedings are a record of the Multiple Classifier Systems Workshop, MCS 2007, held at the Institute of Information Theory and Automation, Czech Academy of Sciences, Prague in May 2007. the workshop achieved its objective of bringing together researchers from diverse communities (neural networks, pattern rec- nition, machine learning and statistics) concerned with this research topic.
Modeling and Simulation for RF System Design
The focus of Modeling and Simulation for RF System Design lies on RF specific modeling and simulation methods and the consideration of system and circuit level descriptions. It contains application-oriented training material for RF designers which combines the presentation of a mixed-signal design flow.
Model Driven Engineering Languages and Systems ; Vol. 3713 : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings
Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2005, held in Montego Bay, Jamaica, in October 2005. This book includes 52 papers and 2 keynote abstracts. It covers such topics as process modelling, product families, state/behavioral modeling, design strategies and more.
Introduction to Advanced System-on-Chip Test Design and Optimization
SOC test design and its optimization is the topic of Introduction to Advanced System-on-Chip Test Design and Optimization. It gives an introduction to testing, describes the problems related to SOC testing, discusses the modeling granularity and the implementation into EDA (electronic design automation) tools. The book is divided into three sections: i) test concepts, ii) SOC design for test, and iii) SOC test applications.
Introducing Robotic Process Automation to Your Organization : A Guide for Business Leaders
Enables you, a novice to RPA, to successfully implement an RPA program at your company. RPA is rapidly growing in use, but is only starting to be taught at a university level. Many mid-level managers will be tasked with introducing an RPA program at their organizations as senior management learns of its efficacy, but will be unfamiliar with how to do so. This book provides you with the skills and information you need to make an informed decision. You will learn: Know the benefits of robotic process automation (RPA) / Understand the limitations of RPA / Ask the right questions to determine whether a process is a good candidate for automation / Obtain buy-in from skeptics at the senior and middle manager levels, and from line workers Be familiar with the structure required for success
Interactive drink machine company - (IDM company)
This project is a continuation of our previous project for a hot drink machine by adding the capability for electronic payment and developing the company's management system and making the hot drink machine linkable with the company's server via the Internet and more interactive with the customer through the development of this project according to several aspects. On the software level: An integrated system that allows recording customer requests and executed operations, in addition to information about users, including their personal information, current balance, and executed requests. On the level of employees, their personal information, their work tasks and the operations carried out by them (Receipt and delivery of materials and servicing of machines).
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation ; Vol. 3728 ; 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings
Welcome to the proceedings of PATMOS 2005, the 15th in a series of international workshops.PATMOS2005wasorganizedbyIMECwithtechnicalco-sponsorshipfrom the IEEE Circuits and Systems Society. Over the years, PATMOS has evolved into an important European event, where - searchers from both industry and academia discuss and investigate the emerging ch- lenges in future and contemporary applications, design methodologies, and tools - quired for the developmentof upcominggenerationsof integrated circuits and systems. The technical program of PATMOS 2005 contained state-of-the-art technical contri- tions, three invited talks, a special session on hearing-aid design, and an embedded - torial. The technical program focused on timing, performance and power consumption, as well as architectural aspects with particular emphasis on modeling, design, char- terization, analysis and optimization in the nanometer era. The Technical Program Committee, with the assistance of additional expert revi- ers, selected the 74 papers to be presented at PATMOS. The papers were divided into 11 technical sessions and 3 poster sessions. As is always the case with the PATMOS workshops, the review process was anonymous, full papers were required, and several reviews were carried out per paper. Beyond the presentations of the papers, the PATMOS technical program was - riched by a series of speeches offered by world class experts, on important emerging research issues of industrial relevance. Prof. Jan Rabaey, Berkeley, USA, gave a talk on “Traveling the Wild Frontier of Ulta Low-Power Design”, Dr. Sung Bae Park, S- sung, gave a presentation on “DVL (Deep Low Voltage): Circuits and Devices”, Prof.
Innovations in robot mobility and control
The most important aspects of this book is that the principles and models introduced in the text are all field-tested, and thus can readily be used in solving real world problems, such as factory automation, disposal of nuclear wastes, landmine clearing and computerized surgery.
Innovation in manufacturing networks ; 8th IFIP International Conference on information technology for balanced automation systems, Porto, Portugal, June 23–25, 2008
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured.
Information technology for balanced manufacturing systems ; IFIP TC 5, WG 5.5 7th International Conference on information technology for balanced automation systems in manufacturing and services, Niagra Falls, Ontario, Canada, September 4-6, 2006
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Information and communication technologies in education, research, and industrial applications ; 16th International Conference, ICTERI 2020, Kharkiv, Ukraine, October 6–10, 2020, Revised Selected Papers
This book contains revised and extended versions of the best papers presented at the 16th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2020, held in Kherson, Ukraine, in October 2020. Due to the COVID-19 pandemic the conference was held online. The 8 revised full papers included in this volume were carefully reviewed and selected from 347 initial submissions. The papers are organized in the following topical sections: ICT in education; ICT in research and industry.
Informatics in Control, Automation and Robotics II
Informatics in Control, Automation and Robotics II is a collection of the best papers presented at the 2nd International Conference on Informatics in Control, Automation and Robotics (ICINCO). The purpose of ICINCO was to bring together researchers, engineers and practitioners interested in the application of informatics to Control, Automation and Robotics.
Informatics in Control, Automation and Robotics I
The present book includes a set of selected papers from the first “International Conference on Informatics in Control Automation and Robotics” (ICINCO 2004), held in Setúbal, Portugal, from 25 to 28 August 2004. The conference was organized in three simultaneous tracks: “Intelligent Control Systems and Optimization”, “Robotics and Automation” and “Systems Modeling, Signal Processing and Control”. The book is based on the same structure.
IMPROVE - Innovative modelling approaches for production systems to raise validatable efficiency : Intelligent methods for the factory of the future
This open access work presents selected results from the European research and innovation project IMPROVE which yielded novel data-based solutions to enhance machine reliability and efficiency in the fields of simulation and optimization, condition monitoring, alarm management, and quality prediction.



















