Deep Learning for Computational Problems in Hardware Security : Modeling Attacks on Strong Physically Unclonable Function Circuits / Pranesh Santikellur, Rajat Subhra Chakraborty
Discusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware ...
Continue reading
Defence Industry Applications of Autonomous Agents and Multi-Agent Systems
In this book defense and security related applications are increasingly being tackled by researchers and practioners using ...
Continue reading
Dependability Metrics : Advanced Lectures
This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...
Continue reading
Dependable Systems: Software, Computing, Networks
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...
Continue reading
Distributed Event-Based Systems
Event-based architectures inherently decouple system components. Event-based components are not designed to work with specific ...
Continue reading
Early Aspects: Current Challenges and Future Directions
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...
Continue reading
Early Aspects: Current Challenges and Future Directions
Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...
Continue reading
Embedded Systems Specification and Design Languages : Selected contributions from FDL’07
FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...
Continue readingEnabling Things to Talk : Designing IoT solutions with the IoT Architectural Reference Model /
The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. ...
Continue reading
Engineering Societies in the Agents World V
The ?rst workshop “Engineering Societies in the Agents World” (ESAW) was held in August 2000, in conjunction with the ...
Continue reading
Formal Approaches to Agent-Based Systems
The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA ...
Continue reading
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
Continue reading
Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
Continue reading
Formal Methods for Open Object-Based Distributed Systems
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Continue reading
Foundations of 3D Graphics Programming : Using JOGL and Java3D
This thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut ...
Continue reading
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...
Continue reading
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Continue reading
Generative Programming and Component Engineering
Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...
Continue reading
GeoSensor Networks : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed proceedings of the Second GeoSensor Networks Conference, held in Boston, Massachusetts, ...
Continue reading
Haptics: Science, Technology, Applications 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings
This book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer ...
Continue reading
