Автор: Shaz Qadeer; Serdar Tasiran Название: Runtime Verification ISBN: 3642356311 ISBN-13(EAN): 9783642356315 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Multimedia Forensics and Counter-Forensics.- Blind Median Filtering Detection Using Statistics in Difference Domain.- Robustness of Color Interpolation Identification against Anti-forensic Operations.- Steganalysis.- Steganalysis of LSB Replacement Using Parity-Aware Features.- Statistical Detection of LSB Matching Using Hypothesis Testing Theory.- Textural Features for Steganalysis.- JPEG-Compatibility Steganalysis Using Block-Histogram of Recompression Artifacts.- Data Hiding in Unusual Content Hiding a Second Appearance in a Physical Relief Surface.- Blind Robust Watermarking Mechanism Based on Maxima Curvature of 3D Motion Data.- Steganography A Game-Theoretic Approach to Content-Adaptive Steganography.- Key-Efficient Steganography.- Covert Channels Secret Agent Radio: Covert Communication through Dirty Constellations.- Anonymity and Privacy Lower Bounds for Private Broadcast Encryption.- The Dangers of Composing Anonymous Channels.- Watermarking A New Measure of Watermarking Security Applied on QIM.- Non-Integer Expansion Embedding for Prediction-Based Reversible Watermarking.- Walsh-Hadamard Transform in the Homomorphic Encrypted Domain and Its Application in Image Watermarking.- Fingerprinting Asymptotic Fingerprinting Capacity in the Combined Digit Model.- Bias Equalizer for Binary Probabilistic Fingerprinting Codes.
Автор: Borzoo Bonakdarpour; Scott A. Smolka Название: Runtime Verification ISBN: 3319111639 ISBN-13(EAN): 9783319111636 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014.
Автор: Martin Leucker Название: Runtime Verification ISBN: 354089246X ISBN-13(EAN): 9783540892465 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008. The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.
Автор: Shuvendu Lahiri; Giles Reger Название: Runtime Verification ISBN: 3319675303 ISBN-13(EAN): 9783319675305 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Stream Runtime Monitoring on UAS.- Probabilistic Black-Box Reachability Checking.- Combining Symbolic Runtime Enforcers for Cyber-Physical Systems.- Almost Event-Rate Independent Monitoring of Metric Dynamic Logic.- Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles.- Signal Clustering using Temporal Logics.- Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs.- Witnessing Network Transformations.- Combining Model Checking and Runtime Verification for Safe Robotics.- Monitoring Hyperproperties.- TeLEx: Passive STL Learning Using Only Positive Examples.- From Model Checking to Runtime Verification and Back Verifying Policy Enforcers.- Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems.- Monitoring Partially Synchronous Distributed Systems using SMT Solvers.- Runtime Detection of Temporal Memory Errors.- Control Dependencies in Interpretive Systems.- Monitoring Time Intervals.
Автор: Falcone Название: Runtime Verification ISBN: 3319469819 ISBN-13(EAN): 9783319469812 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.
Автор: Axel Legay; Saddek Bensalem Название: Runtime Verification ISBN: 3642407862 ISBN-13(EAN): 9783642407864 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions.
Автор: Saddek Bensalem; Doron A. Peled Название: Runtime Verification ISBN: 3642046932 ISBN-13(EAN): 9783642046933 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Klaus Havelund; Manuel N?nez; Grigore Rosu; Burkha Название: Formal Approaches to Software Testing and Runtime Verification ISBN: 3540496998 ISBN-13(EAN): 9783540496991 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006.
Автор: Ezio Bartocci; Rupak Majumdar Название: Runtime Verification ISBN: 3319238191 ISBN-13(EAN): 9783319238197 Издательство: Springer Рейтинг: Цена: 7826.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions. The discussion of the conference centers around two main aspects.
Описание: The objective of this dissertation is to design a concept that would allow to increase the flexibility of currently available Time Triggered Ethernet based (TTEB) systems, however, without affecting their performance and robustness.
Автор: Bernd Finkbeiner; Leonardo Mariani Название: Runtime Verification ISBN: 3030320782 ISBN-13(EAN): 9783030320782 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
A Retrospective Look at the Monitoring and Checking (MaC) Framework.- Introspective Environment Modeling.- Robustness of Specifications and its applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo.- On the Runtime Enforcement of Timed Properties.- Algorithms for Monitoring Hyperproperties.- Stream-based Monitors for Real-time Properties.- Accelerated Learning of Predictive Runtime Monitors for Rare Failure.- Neural Predictive Monitoring.- Comparing Controlled System Synthesis and Suppression Enforcement.- Assumption-Based Runtime Verification with Partial Observability and Resets.- Decentralized Stream Runtime Verification.- Explaining Violations of Properties in Control-Flow Temporal Logic.- FastCFI: Real-Time Control Flow Integrity using FPGA without Code Instrumentation.- An Extension of LTL with Rules and its Application to Runtime Verification.- Monitorability Over Unreliable Channels.- Runtime Verification For Timed Event Streams With Partial Information.- Shape Expressions for Specifying and Extracting Signal Features.- A Formally Verified Monitor for Metric First-Order Temporal Logic.- Efficient Detection and Quantification of Timing Leaks with Neural Networks.- Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs.- Reactive Control Meets Runtime Verification: A Case Study of Navigation.- Overhead-aware deployment of runtime monitors.- NuRV: a nuXmv Extension for Runtime Verification.- AllenRV: an extensible monitor for multiple complex specifications with high reactivity.- Timescales: A Benchmark Generator for Metric Temporal Logic.
Автор: Christian Colombo; Martin Leucker Название: Runtime Verification ISBN: 3030037681 ISBN-13(EAN): 9783030037680 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.Chapter “Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
