Electronic Books

Total Books: 41 - 60 /141

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 ...

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 ...

Dependability Metrics : Advanced Lectures

This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...

Dependable Systems: Software, Computing, Networks

The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...

Distributed Event-Based Systems

Event-based architectures inherently decouple system components. Event-based components are not designed to work with specific ...

Early Aspects: Current Challenges and Future Directions

Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...

Early Aspects: Current Challenges and Future Directions

Traditionally, aspect-oriented software development (AOSD) has focused on the implementation phase of the software lifecycle: ...

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 ...

Enabling 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. ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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, ...

Generative Programming and Component Engineering

Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...

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, ...

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 ...

Total Books: 41 - 60 /141