Software-Intensive Systems and New Computing Paradigms

Software-Intensive Systems and New Computing Paradigms
Author: Martin Wirsing
Publisher: Springer Science & Business Media
Total Pages: 275
Release: 2008-11-06
Genre: Computers
ISBN: 3540894365

This volume presents results of three workshops of the InterLink working group, setup by the EU to look at software-intensive systems and novel computing paradigms. It covers ensemble engineering, theory and formal methods, and novel computing paradigms.

Software-Intensive Systems and New Computing Paradigms

Software-Intensive Systems and New Computing Paradigms
Author: Martin Wirsing
Publisher: Springer
Total Pages: 275
Release: 2008-11-14
Genre: Computers
ISBN: 3540894373

This volume presents results of three workshops of the InterLink working group, setup by the EU to look at software-intensive systems and novel computing paradigms. It covers ensemble engineering, theory and formal methods, and novel computing paradigms.

Complex, Intelligent, and Software Intensive Systems

Complex, Intelligent, and Software Intensive Systems
Author: Leonard Barolli
Publisher: Springer
Total Pages: 1083
Release: 2017-07-04
Genre: Technology & Engineering
ISBN: 3319615661

This book gathers the proceedings of the 11th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2017), held on June 28–June 30, 2017 in Torino, Italy. Software Intensive Systems are characterized by their intensive interaction with other systems, sensors, actuators, devices, and users. Further, they are now being used in more and more domains, e.g. the automotive sector, telecommunication systems, embedded systems in general, industrial automation systems and business applications. Moreover, the outcome of web services delivers a new platform for enabling software intensive systems. Complex Systems research is focused on the understanding of a system as a whole rather than its components. Complex Systems are very much shaped by the changing environments in which they operate, and by their multiple internal and external interactions. They evolve and adapt through internal and external dynamic interactions. The development of Intelligent Systems and agents, which invariably involves the use of ontologies and their logical foundations, offers a fruitful impulse for both Software Intensive Systems and Complex Systems. Recent research in the fields of intelligent systems, robotics, neuroscience, artificial intelligence, and cognitive sciences is essential to the future development of and innovations in software intensive and complex systems. The aim of the volume “Complex, Intelligent and Software Intensive Systems” is to provide a platform of scientific interaction between the three interwoven and challenging areas of research and development of future Information and Communications Technology (ICT)-enabled applications: Software Intensive Systems, Complex systems and Intelligent Systems.

Management of Cyber Physical Objects in the Future Internet of Things

Management of Cyber Physical Objects in the Future Internet of Things
Author: Antonio Guerrieri
Publisher: Springer
Total Pages: 181
Release: 2016-01-29
Genre: Technology & Engineering
ISBN: 3319268694

This book focuses on new methods, architectures, and applications for the management of Cyber Physical Objects (CPOs) in the context of the Internet of Things (IoT). It covers a wide range of topics related to CPOs, such as resource management, hardware platforms, communication and control, and control and estimation over networks. It also discusses decentralized, distributed, and cooperative optimization as well as effective discovery, management, and querying of CPOs. Other chapters outline the applications of control, real-time aspects, and software for CPOs and introduce readers to agent-oriented CPOs, communication support for CPOs, real-world deployment of CPOs, and CPOs in Complex Systems. There is a focus on the importance of application of IoT technologies for Smart Cities.

Artificial Intelligence Applications and Innovations

Artificial Intelligence Applications and Innovations
Author: Lazaros Iliadis
Publisher: Springer
Total Pages: 292
Release: 2018-05-21
Genre: Computers
ISBN: 3319920162

This book constitutes the refereed proceedings of 4 workshops held at the 14th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2018, held in Rhodes, Greece, in May 2018. The workshops were the Workshop on Semantics in the Deep: Semantic Analytics for Big Data, SEDSEAL 2018; the Third Workshop on 5G - Putting Intelligence to the Network Edge, 5G-PINE 2018; the 7th Mining Humanistic Data Workshop, MHDW 2018; and the Workshop on Intelligent Cloud and IOT Paradigms in EHealth, HEALTHIOT 2018. The 19 full papers and 5 short papers presented were carefully reviewed and selected from a total of 53 submissions: SEDSEAL accepted 2 full papers out of 5 submissions, 5G-PINE 6 full and one short paper out of 24, MHDW 7 full and 4 short papers out of 15, and HEALTHIOT 4 full papers out of 9. The papers cover topics such as AI in 5G and telecommunications, AI and e-health services, AI in 5G networks, incremental learning, clustering, AI in text mining, visual data analytics, AI in molecular biology, DNA, RNA, proteins, big data analytics, Internet of Things and recommender systems, and AI in biomedical applications.

4D Printing, Volume 2

4D Printing, Volume 2
Author: Frederic Demoly
Publisher: John Wiley & Sons
Total Pages: 324
Release: 2022-10-18
Genre: Technology & Engineering
ISBN: 178630810X

Who hasn’t dreamed of seeing matter transformed in a way that suits you? This is the goal of 4D printing, using materials that can change in terms of shape and property under the effect of energy stimulation. From the description of the actions and actuators, the authors show the weaknesses that limit the industrialization of 4D printing processes; these are the modes of energy stimulation. To prepare for the future, two chapters are introduced: “Material-Process Duality in Industrial 4D Printing” and “How to Approach 4D Printing in Design”. If the capture and reuse of 4D printing knowledge is necessary for this objective, the conclusion leaves the existing myth around the 4D printing theme and proposes a “draft” roadmap that should be the subject of reflection and scientific debate on a concept that is still immature, but full of promise.

Complexity Challenges in Cyber Physical Systems

Complexity Challenges in Cyber Physical Systems
Author: Saurabh Mittal
Publisher: John Wiley & Sons
Total Pages: 386
Release: 2020-01-09
Genre: Technology & Engineering
ISBN: 1119552494

Offers a one-stop reference on the application of advanced modeling and simulation (M&S) in cyber physical systems (CPS) engineering This book provides the state-of-the-art in methods and technologies that aim to elaborate on the modeling and simulation support to cyber physical systems (CPS) engineering across many sectors such as healthcare, smart grid, or smart home. It presents a compilation of simulation-based methods, technologies, and approaches that encourage the reader to incorporate simulation technologies in their CPS engineering endeavors, supporting management of complexity challenges in such endeavors. Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy is laid out in four sections. The first section provides an overview of complexities associated with the application of M&S to CPS Engineering. It discusses M&S in the context of autonomous systems involvement within the North Atlantic Treaty Organization (NATO). The second section provides a more detailed description of the challenges in applying modeling to the operation, risk and design of holistic CPS. The third section delves in details of simulation support to CPS engineering followed by the engineering practices to incorporate the cyber element to build resilient CPS sociotechnical systems. Finally, the fourth section presents a research agenda for handling complexity in application of M&S for CPS engineering. In addition, this text: Introduces a unifying framework for hierarchical co-simulations of cyber physical systems (CPS) Provides understanding of the cycle of macro-level behavior dynamically arising from spaciotemporal interactions between parts at the micro-level Describes a simulation platform for characterizing resilience of CPS Complexity Challenges in Cyber Physical Systems has been written for researchers, practitioners, lecturers, and graduate students in computer engineering who want to learn all about M&S support to addressing complexity in CPS and its applications in today’s and tomorrow’s world.

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Author: Tiziana Margaria
Publisher: Springer Nature
Total Pages: 483
Release: 2022-10-19
Genre: Computers
ISBN: 3031197593

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

Data Intensive Computing Applications for Big Data

Data Intensive Computing Applications for Big Data
Author: M. Mittal
Publisher: IOS Press
Total Pages: 618
Release: 2018-01-31
Genre: Computers
ISBN: 1614998140

The book ‘Data Intensive Computing Applications for Big Data’ discusses the technical concepts of big data, data intensive computing through machine learning, soft computing and parallel computing paradigms. It brings together researchers to report their latest results or progress in the development of the above mentioned areas. Since there are few books on this specific subject, the editors aim to provide a common platform for researchers working in this area to exhibit their novel findings. The book is intended as a reference work for advanced undergraduates and graduate students, as well as multidisciplinary, interdisciplinary and transdisciplinary research workers and scientists on the subjects of big data and cloud/parallel and distributed computing, and explains didactically many of the core concepts of these approaches for practical applications. It is organized into 24 chapters providing a comprehensive overview of big data analysis using parallel computing and addresses the complete data science workflow in the cloud, as well as dealing with privacy issues and the challenges faced in a data-intensive cloud computing environment. The book explores both fundamental and high-level concepts, and will serve as a manual for those in the industry, while also helping beginners to understand the basic and advanced aspects of big data and cloud computing.