{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":1,"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":25,"n_cols":5,"rows_kept":25,"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],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[11,2,11,3],[14,2,14,3],[15,2,15,3],[19,2,19,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9911006713003321"]
[null,null,"Titolo",null,"Advances in computers . Volume 98 / / Edited by Ali R. Hurson"]
[null,null,"Pubbl/distr/stampa",null,"Amsterdam, Netherlands : , : Elsevier, , 2015"]
[null,null,"ISBN",null,"9780128023402"]
[{"$nulls":4},"0128023406"]
[{"$nulls":4},"9780128021323"]
[{"$nulls":4},"0128021322"]
[null,null,"Edizione",null,"[First edition.]"]
[null,null,"Descrizione fisica",null,"1 online resource (247 p.)"]
[null,null,"Collana",null,"Advances in computers, , 0065-2458 ; ; v. 98"]
[null,null,"Disciplina",null,"005.12"]
[null,null,"Soggetti",null,"Computers"]
[{"$nulls":4},"Graphical user interfaces (Computer systems)"]
[{"$nulls":4},"System analysis"]
[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","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and indexes."]
[null,null,"Nota di contenuto",null,"Chapter 1: An Overview of Architecture-Level Power-and Energy-Efficient Design Techniques --  1. Introduction --  2. Metrics of Interest --  3. Classification of Selected Architecture-Level Techniques --  4. Presentation of Selected Architecture-Level Techniques --  5. Future Trend --  6. Conclusion --  References --"]
[{"$nulls":4},"Chapter 2: A Survey of Research on Data Corruption in Cyber-Physical Critical Infrastructure Systems --  1. Introduction --  2. Sources of Corrupted Data --  3. Sensor Networks: Application for Comparison --  4. Detection of Corrupted Data --  5. Mitigation of Data Corruption --  6. Propagation of Corrupted Data --  7. Conclusion and Future Direction --  References --"]
[{"$nulls":4},"Chapter 3: A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs --  1. Introduction --  2. The Generic Model-based Testing Approach --  3. Proposed Taxonomy Dimensions --  4. A Research Review of Model-based Testing Tools --  5. Running Example: The Coffee/Tea Vending Machine --  6. Model-based Testing Tools for Pre/Post Notations --  7. Model-based Testing Tools for Transition-based Notations --  7.1. Finite State Machines --"]
[{"$nulls":4},"Chapter 4: Preference Incorporation in Evolutionary Multiobjective Optimization: A Survey of the State-of-the-Art --  Index."]
[null,null,null,"Sommario/riassunto","The theme of this 98th volume is inspired by the advances in information technology. Within the spectrum of information "]
[{"$nulls":4},"technology, this volume touches a variety of topics ranging from computer architecture and energy-efficient design techniques, cyber-physical critical infrastructure systems, model-based testing, and multi-objective optimization methods. The volume is a collection of four chapters that were solicited from authorities in the field, each of whom brings to bear a unique perspective on the topic. (1) Architecture-Level Power- and Energy-Efficient Design Techniques, articulate the holistic consideration of power and energy consumption of computer systems at all design levels without sacrificing the processing power. Several circuit and architectural metrics are defined, the notion of dynamic and static energy is discussed, distinction between power and energy is articulated, and metrics such as “Energy-Delay Product” and “Energy per Instruction” are introduced.  (2) Data Corruption in Cyber-Physical Critical Infrastructure Systems, and emphasizes the effect of data corruption, either intentional (i.e., cyber, physical, or cyber-physical attacks) or unintentional (i.e., failures in sensors, processors, storage, or communication hardware), within the scope of critical cyber-physical systems (i.e., power grids, intelligent water distribution networks, smart transportation systems). It presents a comprehensive analysis of various data corruption and mitigation techniques. Finally, a number of studies on the negative effects of system execution on corrupted data are presented. (3) Tool-Supported Model-Based Testing of Requirements-Based Designs, address software testing objectives as a means to gain confidence in software products through fault detection, by observing the differences between the behavior of the implementation and the expected behavior described in the specification. The Chapter presents an overview of and classifies the state of the art in tool-supported model-based testing with an eye toward gaining insight into the gaps in the current tools used by industry and academia.  (4) \"Preference Incorporation in Evolutionary Multiobjective Optimization\" presents a survey of the \"State of the Art\" and emphasizes the application of evolutionary algorithms as a means for multi-objective optimization. A classification of preference-based Multiobjective Optimization Evolutionary Algorithms based on the structure of the decision maker's preference information is presented and several approaches are discussed and analyzed."]