Filter by
Foundations and Practice of Security
This book constitutes the thoroughly refereed post-proceedings of the 7th Symposium on Foundations and Practice of Security, FPS 2014, held in Montreal, QC, Canada, in November 2014. The 18 revised full papers presented together with 5 short papers and 2 position papers were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on privacy; software se…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17040-4
- Collation
- XIII, 375 pages
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Topics in Modal Analysis & Testing, Volume 10 Proceedings of the 34th IMAC, …
Topics in Modal Analysis & Testing, Volume 10. Proceedings of the 34th IMAC, A Conference and Exposition on Dynamics of Multiphysical Systems: From Active Materials to Vibroacoustics, 2016, the tenth volume of ten from the Conference brings together contributions to this important area of research and engineering. The collection presents early findings and case studies on fundamental and applie…
- Edition
- -
- ISBN/ISSN
- 978-3-319-30249-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Topics in Cryptology –- CT-RSA 2015 The Cryptographer's Track at the RSA C…
This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2015, CT-RSA 2015, held in San Francisco, CA, USA, in April 2015. The 26 papers presented in this volume were carefully reviewed and selected from 111 submissions. The focus of the track is on following subjects: timing attacks, design and analysis of block ciphers, attribute and identity based enc…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16715-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Tools of Transport Telematics 15th International Conference on Transport Sys…
This book constitutes the proceedings of the 15th International Conference on Transport Systems Telematics, TST 2015, held in Wrocław, Poland, in April 2015. The 35 revised full papers and two short papers included in this volume were carefully reviewed and selected from 115 submissions. The papers provide an overview of solutions being developed in the fields of transport telematics and inte…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24577-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Formation and Containment Control for High-order Linear Swarm Systems
This book focuses on analysis and design problems for high-order linear time-invariant (LTI) swarm systems (multi-agent systems) to achieve consensus, formation, containment and formation-containment. As a first step, the concepts of practical consensus and formation-containment are introduced. Unlike previous research, the formation in this book can be time-varying. A general framework for con…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47836-3
- Collation
- XIX, 170 pages
- Series Title
- Springer Theses
- Call Number
- -
Formal Specification Level
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08699-6
- Collation
- VIII, 138 pages
- Series Title
- -
- Call Number
- -
Time-Dependent Switched Discrete-Time Linear Systems: Control and Filtering
This book focuses on the basic control and filtering synthesis problems for discrete-time switched linear systems under time-dependent switching signals. Chapter 1, as an introduction of the book, gives the backgrounds and motivations of switched systems, the definitions of the typical time-dependent switching signals, the differences and links to other types of systems with hybrid characterist…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28850-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Three-Dimensional Design Methodologies for Tree-based FPGA Architecture
This book focuses on the development of 3D design and implementation methodologies for Tree-based FPGA architecture. It also stresses the needs for new and augmented 3D CAD tools to support designs such as, the design for 3D, to manufacture high performance 3D integrated circuits and reconfigurable FPGA-based systems. This book was written as a text that covers the foundations of 3D integrated …
- Edition
- -
- ISBN/ISSN
- 978-3-319-19174-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Three Domain Modelling and Uncertainty Analysis Applications in Long Range I…
This book examines in detail the planning and modelling of local infrastructure like energy systems, including the complexities resulting from various uncertainties. Readers will discover the individual steps involved in infrastructure planning in cities and territories, as well as the primary requirements and supporting quality factors. Further topics covered concern the field of uncertainty a…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19572-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Applied Reconfigurable Computing: 11th International Symposium, ARC 2015, Boc…
This book constitutes the refereed proceedings of the 11th International Symposium on Applied Reconfigurable Computing, ARC 2015, held in Bochum, Germany, in April 2015. The 23 full papers and 20 short papers presented in this volume were carefully reviewed and selected from 85 submissions. They are organized in topical headings named: architecture and modeling; tools and compilers; systems …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-16214-0
- Collation
- XVIII, 557
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 APP a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography