Download or read book Engineering of Complex Computer Systems written by Guangdong Bai and published by Springer Nature. This book was released on with total page 427 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Proceedings of Sixth International Congress on Information and Communication Technology written by Xin-She Yang and published by Springer Nature. This book was released on 2021-10-26 with total page 883 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book gathers selected high-quality research papers presented at the Sixth International Congress on Information and Communication Technology, held at Brunel University, London, on February 25–26, 2021. It discusses emerging topics pertaining to information and communication technology (ICT) for managerial applications, e-governance, e-agriculture, e-education and computing technologies, the Internet of Things (IoT) and e-mining. Written by respected experts and researchers working on ICT, the book offers a valuable asset for young researchers involved in advanced studies. The book is presented in four volumes.
Download or read book Context in Computing written by Patrick Brézillon and published by Springer. This book was released on 2014-12-09 with total page 571 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume explores how context has been and can be used in computing to model human behaviors, actions and communications as well as to manage data and knowledge. It addresses context management and exploitation of context for sharing experience across domains. The book serves as a user-centric guide for readers wishing to develop context-based applications, as well as an intellectual reference on the concept of context. It provides a broad yet deep treatment of context in computing and related areas that depend heavily on computing. The coverage is broad because of its cross-disciplinary nature but treats topics at a sufficient depth to permit a reader to implement context in his/her computational endeavors. The volume addresses how context can be integrated in software and systems and how it can be used in a computing environment. Furthermore, the use of context to represent the human dimension, individually as well as collectively is explained. Contributions also include descriptions of how context has been represented in formal as well as non-formal, structured approaches. The last section describes several human behavior representation paradigms based on the concept of context as its central representational element. The depth and breadth of this content is certain to provide useful as well as intellectually enriching information to readers of diverse backgrounds who have an interest in or are intrigued by using context to assist in their representation of the real world.
Download or read book Cyber Physical Systems written by Danda B. Rawat and published by CRC Press. This book was released on 2015-10-28 with total page 579 pages. Available in PDF, EPUB and Kindle. Book excerpt: Although comprehensive knowledge of cyber-physical systems (CPS) is becoming a must for researchers, practitioners, system designers, policy makers, system managers, and administrators, there has been a need for a comprehensive and up-to-date source of research and information on cyber-physical systems. This book fills that need.Cyber-Physical Syst
Download or read book Security in Computer and Information Sciences written by Erol Gelenbe and published by Springer. This book was released on 2018-07-13 with total page 169 pages. Available in PDF, EPUB and Kindle. Book excerpt: This open access book constitutes the thoroughly refereed proceedings of the First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, held in London, UK, in February 2018. The 12 full papers presented together with an overview paper were carefully reviewed and selected from 31 submissions. Security of distributed interconnected systems, software systems, and the Internet of Things has become a crucial aspect of the performance of computer systems. The papers deal with these issues, with a specific focus on societally critical systems such as health informatics systems, the Internet of Things, energy systems, digital cities, digital economy, mobile networks, and the underlying physical and network infrastructures.
Download or read book Enterprise Business Process and Information Systems Modeling written by Rainer Schmidt and published by Springer. This book was released on 2016-06-06 with total page 494 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains the refereed proceedings of the 17th International Conference on Business Process Modeling, Development and Support, BPMDS 2016, and the 21st International Conference on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2016, held together with the 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016) in Ljubljana, Slovenia, in June 2016. The focus theme for BPMDS 2016 papers was ”Business Processes in a Connected World”, for which three subthemes were identified: business processes for connecting people, connecting intelligent objects to business processes and connecting information/data/knowledge to business processes. The 17 full and 1 short paper accepted for BPMDS were selected from 48 submissions and are grouped into topical sections on process execution support; improving usability of process models; social and human perspectives; new directions in process modeling; consistency, correctness and compliance; process and data mining; and process variability. The intention of EMMSAD is to solicit papers related to the field of information systems analysis and design including numerous information modeling methods and notations that are typically evolving. These ongoing changes significantly impact the way information systems, enterprises, and business processes are being analyzed and designed in practice. The 12 full papers accepted for EMMSAD were chosen from 19 submissions and are grouped into topical sections on fundamental issues in modeling; requirements and regulations; enterprise and software ecosystem modeling; information and process model quality; meta-modeling and domain specific modeling and model composition; and modeling of architecture and design.
Download or read book Foundations of Multi Paradigm Modelling for Cyber Physical Systems written by Paulo Carreira and published by Springer Nature. This book was released on 2020-05-07 with total page 285 pages. Available in PDF, EPUB and Kindle. Book excerpt: This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners.
Download or read book Swarm Robotics A Formal Approach written by Heiko Hamann and published by Springer. This book was released on 2018-02-10 with total page 215 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides an introduction to Swarm Robotics, which is the application of methods from swarm intelligence to robotics. It goes on to present methods that allow readers to understand how to design large-scale robot systems by going through many example scenarios on topics such as aggregation, coordinated motion (flocking), task allocation, self-assembly, collective construction, and environmental monitoring. The author explains the methodology behind building multiple, simple robots and how the complexity emerges from the multiple interactions between these robots such that they are able to solve difficult tasks. The book can be used as a short textbook for specialized courses or as an introduction to Swarm Robotics for graduate students, researchers, and professionals who want a concise introduction to the field.
Download or read book Architecture based Evolution of Dependable Software intensive Systems written by Heinrich, Robert and published by KIT Scientific Publishing. This book was released on 2023-06-05 with total page 154 pages. Available in PDF, EPUB and Kindle. Book excerpt: This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems early in development, (ii) decomposition and composition of modelling languages and analysis techniques to enable more flexibility in evolution, and (iii) bridging the divergent levels of abstraction between data of the operation phase, architectural models and source code of the development phase.
Download or read book Bridging the Gap between Requirements Engineering and Software Architecture written by Azadeh Alebrahim and published by Springer. This book was released on 2017-04-06 with total page 514 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book systematically identifies the lack of methodological support for development of requirements and software architecture in the state-of-the-art. To overcome this deficiency, the QuaDRA framework is proposed as a problem-oriented approach. It provides an instantiation of the Twin Peaks model for supporting the intertwining relationship of requirements and software architecture. QuaDRA includes several structured methods which guide software engineers in quality- and pattern-based co-development of requirements and early design alternatives in an iterative and concurrent manner.
Download or read book Handbook of Research on Embedded Systems Design written by Bagnato, Alessandra and published by IGI Global. This book was released on 2014-06-30 with total page 552 pages. Available in PDF, EPUB and Kindle. Book excerpt: As real-time and integrated systems become increasingly sophisticated, issues related to development life cycles, non-recurring engineering costs, and poor synergy between development teams will arise. The Handbook of Research on Embedded Systems Design provides insights from the computer science community on integrated systems research projects taking place in the European region. This premier references work takes a look at the diverse range of design principles covered by these projects, from specification at high abstraction levels using standards such as UML and related profiles to intermediate design phases. This work will be invaluable to designers of embedded software, academicians, students, practitioners, professionals, and researchers working in the computer science industry.
Download or read book Models run time written by Nelly Bencomo and published by Springer. This book was released on 2014-07-05 with total page 329 pages. Available in PDF, EPUB and Kindle. Book excerpt: Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relatively mature techniques and tools that are currently being used in industry and academia. However, software models also have the potential to be used at runtime, to monitor and verify particular aspects of runtime behavior, and to implement self-* capabilities (e.g., adaptation technologies used in self-healing, self-managing, self-optimizing systems). A key benefit of using models at runtime is that they can provide a richer semantic base for runtime decision-making related to runtime system concerns associated with autonomic and adaptive systems. This book is one of the outcomes of the Dagstuhl Seminar 11481 on [email protected] held in November/December 2011, discussing foundations, techniques, mechanisms, state of the art, research challenges, and applications for the use of runtime models. The book comprises four research roadmaps, written by the original participants of the Dagstuhl Seminar over the course of two years following the seminar, and seven research papers from experts in the area. The roadmap papers provide insights to key features of the use of runtime models and identify the following research challenges: the need for a reference architecture, uncertainty tackled by runtime models, mechanisms for leveraging runtime models for self-adaptive software, and the use of models at runtime to address assurance for self-adaptive systems.
Download or read book Cyberpatterns written by Clive Blackwell and published by Springer. This book was released on 2014-05-13 with total page 255 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cyberspace in increasingly important to people in their everyday lives for purchasing goods on the Internet, to energy supply increasingly managed remotely using Internet protocols. Unfortunately, this dependence makes us susceptible to attacks from nation states, terrorists, criminals and hactivists. Therefore, we need a better understanding of cyberspace, for which patterns, which are predictable regularities, may help to detect, understand and respond to incidents better. The inspiration for the workshop came from the existing work on formalising design patterns applied to cybersecurity, but we also need to understand the many other types of patterns that arise in cyberspace.
Download or read book Intelligent Computing written by Kohei Arai and published by Springer. This book was released on 2019-07-08 with total page 1311 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the proceedings of the Computing Conference 2019, providing a comprehensive collection of chapters focusing on core areas of computing and their real-world applications. Computing is an extremely broad discipline, encompassing a range of specialized fields, each focusing on particular areas of technology and types of application, and the conference offered pioneering researchers, scientists, industrial engineers, and students from around the globe a platform to share new ideas and development experiences. Providing state-of-the-art intelligent methods and techniques for solving real- world problems, the book inspires further research and technological advances in this important area.
Download or read book Assurance Driven Software Design written by Dipak S gade and published by Archers & Elevators Publishing House. This book was released on with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Structured Object Oriented Formal Language and Method written by Zhenhua Duan and published by Springer. This book was released on 2019-03-11 with total page 200 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018. The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.
Download or read book Automotive Software Architectures written by Miroslaw Staron and published by Springer Nature. This book was released on 2021-03-01 with total page 287 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book introduces the concept of software architecture as one of the cornerstones of software in modern cars. Following a historical overview of the evolution of software in modern cars and a discussion of the main challenges driving that evolution, Chapter 2 describes the main architectural styles of automotive software and their use in cars’ software. Chapter 3 details this further by presenting two modern architectural styles, i.e. centralized and federated software architectures. In Chapter 4, readers will find a description of the software development processes used to develop software on the car manufacturers’ side. Chapter 5 then introduces AUTOSAR – an important standard in automotive software. Chapter 6 goes beyond simple architecture and describes the detailed design process for automotive software using Simulink, helping readers to understand how detailed design links to high-level design. The new chapter 7 reports on how machine learning is exploited in automotive software e.g. for image recognition and how both on-board and off-board learning are applied. Next, Chapter 8 presents a method for assessing the quality of the architecture – ATAM (Architecture Trade-off Analysis Method) – and provides a sample assessment, while Chapter 9 presents an alternative way of assessing the architecture, namely by using quantitative measures and indicators. Subsequently Chapter 10 dives deeper into one of the specific properties discussed in Chapter 8 – safety – and details an important standard in that area, the ISO/IEC 26262 norm. Lastly, Chapter 11 presents a set of future trends that are currently emerging and have the potential to shape automotive software engineering in the coming years. This book explores the concept of software architecture for modern cars and is intended for both beginning and advanced software designers. It mainly aims at two different groups of audience – professionals working with automotive software who need to understand concepts related to automotive architectures, and students of software engineering or related fields who need to understand the specifics of automotive software to be able to construct cars or their components. Accordingly, the book also contains a wealth of real-world examples illustrating the concepts discussed and requires no prior background in the automotive domain. Compared to the first edition, besides the two new chapters 3 and 7 there are considerable updates in chapters 5 and 8 especially.
