You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-component ensembles; trustworthy eternal systems via evolving software, data, and knowledge; parallel patterns for adaptive heterogeneous multicore systems; programming for future 3D architectures with many cores; formal verification of object oriented software; and an infrastructure for reliable computer systems.
This book presents a remarkable collection of chapters that cover a wide range of topics in the areas of information and communication technologies and their real-world applications. It gathers the Proceedings of the Future of Information and Communication Conference 2019 (FICC 2019), held in San Francisco, USA from March 14 to 15, 2019. The conference attracted a total of 462 submissions from pioneering researchers, scientists, industrial engineers, and students from all around the world. Following a double-blind peer review process, 160 submissions (including 15 poster papers) were ultimately selected for inclusion in these proceedings. The papers highlight relevant trends in, and the late...
The two-volume set of LNCS 6426/6427 constitutes the refereed proceedings of 3 confederated international conferences on CoopIS (Cooperative Information Systems), DOA (Distributed Objects and Applications) and ODBASE (Ontologies, DataBases and Applications of SEmantics). These conferences were held in October 2009 in Greece, in Hersonissos on the island of Crete. CoopIS is covering the applications of technologies in an enterprise context as workflow systems and knowledge management. DOA is covering the relevant infrastructure-enabling technologies and finally, OSBASe is covering WEB semantics, XML databases and ontologies. The 83 revised full papers presented together with 3 keynote talks w...
This book constitutes the refereed post-conference proceedings of the Second International Workshop on Information & Operational Technology (IT & OT) security systems, IOSec 2019 , the First International Workshop on Model-driven Simulation and Training Environments, MSTEC 2019, and the First International Workshop on Security for Financial Critical Infrastructures and Services, FINSEC 2019, held in Luxembourg City, Luxembourg, in September 2019, in conjunction with the 24th European Symposium on Research in Computer Security, ESORICS 2019. The IOSec Workshop received 17 submissions from which 7 full papers were selected for presentation. They cover topics related to security architectures a...
This book constitutes the thoroughly refereed proceedings of the Second International Workshop on Trustworthy Eternal Systems via Evolving Software, Data and Knowledge, EternalS, held in Montpellier, France, in August 2012 and co-located with the 20th European Conference on Artificial Intelligence (ECAI 2012). The 10 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized into three main sections: natural language processing (NLP) for software systems, machine learning for software systems, roadmap for future research.
Cyber-attacks continue to rise as more individuals rely on storing personal information on networks. Even though these networks are continuously checked and secured, cybercriminals find new strategies to break through these protections. Thus, advanced security systems, rather than simple security patches, need to be designed and developed. Exploring Security in Software Architecture and Design is an essential reference source that discusses the development of security-aware software systems that are built into every phase of the software architecture. Featuring research on topics such as migration techniques, service-based software, and building security, this book is ideally designed for computer and software engineers, ICT specialists, researchers, academicians, and field experts.
In today’s digitally interconnected world, the threat landscape has evolved to include not just sophisticated technical exploits but also the art of human manipulation. Social engineering attacks have emerged as a formidable and often underestimated threat to information security. The primary aim of this textbook is to provide a comprehensive and in-depth exploration of social engineering attacks. The book seeks to equip cybersecurity professionals, IT practitioners, students, and anyone concerned with information security with the knowledge and tools needed to recognize, prevent, and mitigate the risks posed by social engineering. The scope of this textbook is broad and multifaceted. It c...
This book constitutes the refereed proceedings of the 15th International Conference on Augmented Cognition, AC 2021, held as part of the 23rd International Conference, HCI International 2021, held as a virtual event, in July 2021. The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions. AC 2021 includes a total of 32 papers; they were organized in topical sections named: BCI and brain activity measurement physiological measuring and human performance; modelling human cognition; and augmented cognition in complex environments.
A rich stream of papers and many good books have been written on cryptography, security, and privacy, but most of them assume a scholarly reader who has the time to start at the beginning and work his way through the entire text. The goal of Encyclopedia of Cryptography, Security, and Privacy, Third Edition is to make important notions of cryptography, security, and privacy accessible to readers who have an interest in a particular concept related to these areas, but who lack the time to study one of the many books in these areas. The third edition is intended as a replacement of Encyclopedia of Cryptography and Security, Second Edition that was edited by Henk van Tilborg and Sushil Jajodia ...
From driverless cars to vehicular networks, recent technological advances are being employed to increase road safety and improve driver satisfaction. As with any newly developed technology, researchers must take care to address all concerns, limitations, and dangers before widespread public adoption. Transportation Systems and Engineering: Concepts, Methodologies, Tools, and Applications addresses current trends in transportation technologies, such as smart cars, green technologies, and infrastructure development. This multivolume book is a critical reference source for engineers, computer scientists, transportation authorities, students, and practitioners in the field of transportation systems management.