الصفحة 1
الصفحة 1
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.
Novel algorithms and techniques In telecommunications, automation and industrial electronics
Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Industrial Electronics, Technology & Automation, Telecommunications and Networking.
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.
Nonlinear Finite Element Methods
Finite element methods have become ever more important to engineers as tools for design and optimization, now even for solving non-linear technological problems. However, several aspects must be considered for finite-element simulations which are specific for non-linear problems: These problems require the knowledge and the understanding of theoretical foundations and their finite-element discretization as well as algorithms for solving the non-linear equations. This book provides the reader with the required knowledge covering the complete field of finite element analyses in solid mechanics.
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.
Networked Control Systems: Theory and Applications
Networked Control Systems presents the most recent results in stability and robustness analysis as well as new developments related to networked fuzzy and optimal control. Many of the chapters contain details of case-studies, experimental, simulation and/or other application-related work showing how the theories put forward can be implemented in real systems.
Multiscale Optimization Methods and Applications
One general strategy for dealing with a large or difficult problem is to partition it into smaller ones, which are hopefully much easier to solve, and then work backwards towards the solution of original problem, using a solution from a previous level as a starting guess at the next level.The topics of the chapters selected for this volume are focused on the development of new solution methodologies, including general multilevel solution techniques, for tackling difficult, large-scale optimization problems that arise in science and industry. Applications presented in the book include but are not limited to the circuit placement problem in VLSI design, a wireless sensor location problem, optimal dosages in the treatment of cancer by radiation therapy, and facility location.
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.
Multi-Arm Cooperating Robots : Dynamics and Control
This book will be useful to a wide audience of engineers, ranging from undergraduate and graduate students, new and advanced academic researchers, to practitioners (mechanical and electrical engineers, computer and system scientists). It is intended for readers whose work involves manufacturing, industrial, robotics, automation, computer and control engineering, and who wish to find out about this important new technology and its potential advantages for control engineering applications.
Moral reasoning at work : Rethinking ethics in organizations ; 2nd ed.
Moral Reasoning at Work offers a fresh perspective on how to live with them using ethics and moral psychology research. It argues that decision-makers must go beyond compliance and traditional approaches to ethics to prepare for moral dilemmas. The book has been updated with a range of examples from the author’s more recent research, to reflect current issues affecting organizations in the digital age. With two new chapters on artificial intelligence and social media, this new edition provides an up-to-date overview of ethical challenges in organizations.
Modelling and Analysis of Hybrid Supervisory Systems : A Petri Net Approach
Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential equation systems and object-oriented methods; a formalism that is adequate for modelling complex and large-scale systems. To guide the designer and conduct hybrid modelling, the book describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The method is mainly based on Unified Modelling Language diagrams, well-known tools in both academia and industry. In order to ensure that the supervisory system will behave as expected under any operational circumstances, a validation procedure that allows verification of the formal properties of the hybrid model is presented.
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.
Micromanufacturing : International Research and Development
We have come to know that our ability to survive and grow as a nation to a very large degree depends upon our sci- tific progress. Moreover, it is not enough simply to keep abreast of the rest of the world in scientific matters. We 1 must maintain our leadership. President Harry Truman spoke those words in 1950, in the aftermath of World War II and in the midst of the Cold War. Indeed, the scientific and engineering leadership of the United States and its allies in the twentieth century played key roles in the successful outcomes of both World War II and the Cold War, sparing the world the twin horrors of fascism and tota- tarian communism, and fueling the economic prosperity that followed.
Measurement, Control, and Communication Using IEEE 1588
IEEE 1588, published in November 2002, is a technology new to the engineering community expanding the performance capabilities of Ethernet networks so that they become relevant for measurement and control; this monograph embodies the first unified treatment of the associated technology, standards and applications. Readers unfamiliar with IEEE 1588 will gain understanding of the context of the technology it represents and, from three chapters of case studies, its role in a variety of application settings.
IP Network-based Multi-agent Systems for Industrial Automation : Information Management, Condition Monitoring and Control of Power Systems
IP Network-based Multi-agent Systems for Industrial Automation is the first book to present an introduction to the use of the Internet protocol suite and multi-agent systems for the information management, online monitoring and control of distributed power system substations. An open architecture is proposed, in which mobile agents are applied to the retrieval and analysis of substation data, and to remote operator intervention. A prototype implementation of this architecture is also described, which has been demonstrated and evaluated using a substation simulator.
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.
