{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":45,"n_cols":5,"rows_kept":45,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[14,2,14,3],[15,2,15,3],[19,2,19,3],[22,2,22,3],[22,4,22,5],[23,2,23,3],[23,4,23,5],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[30,2,30,3],[39,2,39,3],[40,2,40,3],[42,2,42,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466102503316"]
[null,null,"Titolo",null,"Hardware and Software, Verification and Testing [[electronic resource] ] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / / edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006"]
[null,null,"ISBN",null,"3-540-32605-7"]
[null,null,"Edizione",null,"[1st ed. 2006.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 270 p.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 3875"]
[null,null,"Disciplina",null,"005.1/4"]
[null,null,"Soggetti",null,"Software engineering"]
[{"$nulls":4},"Computer logic"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Logics and Meanings of Programs"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Hardware Verification -- Path-Based System Level Stimuli Generation -- The Safety Simple Subset -- A Case for Runtime Validation of Hardware -- Assertion-Based Verification for the SpaceCAKE Multiprocessor – A Case Study -- Simultaneous SAT-Based Model Checking of Safety Properties -- HaifaSat: A New Robust SAT Solver -- Software Testing -- Production-Testing of Embedded Systems with Aspects -- Assisting the Code Review Process Using Simple Pattern Recognition -- An Extensible Open-Source Compiler Infrastructure for Testing -- Effective Black-Box Testing with Genetic Algorithms -- Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains -- Benchmarking and Testing OSD for Correctness and Compliance -- PADTAD -- A Kernel-Based Communication Fault Injector for Dependability Testing of Distributed Systems -- Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring -- Dynamic Deadlock Analysis of Multi-threaded Programs -- Verification of the Java Causality Requirements -- Choosing Among Alternative Futures."]
[null,null,null,"Sommario/riassunto","The First Haifa Verification Conference was held at the IBM Haifa "]
[{"$nulls":4},"Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery."]
[null,"2.","Record Nr.",null,"UNINA9910337574003321"]
[null,null,"Titolo",null,"Quality, Reliability, Security and Robustness in Heterogeneous Systems : 14th EAI International Conference, Qshine 2018, Ho Chi Minh City, Vietnam, December 3–4, 2018, Proceedings / / edited by Trung Q. Duong, Nguyen-Son Vo, Van Ca Phan"]
[null,null,"Pubbl/distr/stampa",null,"Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019"]
[null,null,"ISBN",null,"3-030-14413-5"]
[null,null,"Edizione",null,"[1st ed. 2019.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 167 p. 90 illus., 50 illus. in color.)"]
[null,null,"Collana",null,"Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, , 1867-822X ; ; 272"]
[null,null,"Disciplina",null,"004.6"]
[null,null,"Soggetti",null,"Computer networks"]
[{"$nulls":4},"Data structures (Computer science)"]
[{"$nulls":4},"Information theory"]
[{"$nulls":4},"Computer science - Mathematics"]
[{"$nulls":4},"Data protection"]
[{"$nulls":4},"Computer Communication Networks"]
[{"$nulls":4},"Data Structures and Information Theory"]
[{"$nulls":4},"Mathematics of Computing"]
[{"$nulls":4},"Data and Information Security"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Improving Privacy for GeoIP DNS Traffic -- Deep Reinforcement Learning based QoS-aware Routing in Knowledge-defined networking -- 3 Throughput optimization for multirate multicasting through association control in IEEE 802.11 WLAN -- An NS-3 MPTCP Implementation -- A Novel Security Framework for Industrial IoT based on ISA 100.11a -- Social-aware Caching and Resource Sharing Optimization for Video Delivering in 5G Networks -- Energy Efficiency in QoS Constrained 60 GHz Millimeter-Wave Ultra-dense Networks -- Priority-based Device Discovery in Public Safety D2D Networks with Full Duplexing -- Modified Direct Method for Point-to-Point Blocking -- Probability in Multi-service Switching Networks with Resource Allocation Control -- Inconsistencies among Spectral Robustness Metrics -- QoS criteria for energy-aware switching networks -- Modelling Overflow Systems with Queuing in Primary -- Exploring "]
[{"$nulls":4},"YouTube’s CDN Heterogeneity."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed post-conference proceedings of the 14th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2018, held in Ho Chi Minh City, Vietnam, in December 2018. The 13 revised full papers were carefully reviewed and selected from 28 submissions. The papers are organized thematically in tracks, starting with security and privacy, telecommunication systems and networks, networks and applications."]