{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":3,"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":59,"n_cols":5,"rows_kept":59,"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],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[10,2,10,3],[10,4,10,5],[11,2,11,3],[11,4,11,5],[12,2,12,3],[13,2,13,3],[14,2,14,3],[15,2,15,3],[16,2,16,3],[17,2,17,3],[18,2,18,3],[27,2,27,3],[28,2,28,3],[32,2,32,3],[35,2,35,3],[35,4,35,5],[36,2,36,3],[36,4,36,5],[37,2,37,3],[38,2,38,3],[40,2,40,3],[41,2,41,3],[42,2,42,3],[43,2,43,3],[44,2,44,3],[53,2,53,3],[54,2,54,3],[56,2,56,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA990001076110403321"]
[null,null,"Autore",null,"Weiss, Eric A."]
[null,null,"Titolo",null,"Computer Usage : 360 Fortran Programming / Edited by Eric A. Weiss"]
[null,null,"Pubbl/distr/stampa",null,"New York : McGraw-Hill, 1969"]
[null,null,"Disciplina",null,"510.78"]
[null,null,"Locazione",null,"FI1"]
[null,null,"Collocazione",null,"8B-177"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,"2.","Record Nr.",null,"UNISA996465337303316"]
[null,null,"Titolo",null,"COTS-Based Software Systems [[electronic resource] ] : First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, Proceedings / / edited by John Dean, Andree Gravel"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002"]
[null,null,"ISBN",null,"3-540-45588-4"]
[null,null,"Edizione",null,"[1st ed. 2002.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 260 p.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 0302-9743 ; ; 2255"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Computer engineering"]
[{"$nulls":4},"Management information systems"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"Computer Engineering"]
[{"$nulls":4},"Management of Computing and Information Systems"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Appl. in Administrative Data Processing"]
[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,"COTS-Based Systems (CBS) Functional Density—A Heuristic for Better CBS Design -- Meeting the Challenges of Commercial-Off-The-Shelf (COTS) Products: The Information Technology Solutions Evolution Process (ITSEP) -- Lessons Learned Integrating COTS into Systems -- Risk Reduction in COTS Software Selection with BASIS -- European COTS User Working Group: Analysis of the Common Problems and Current Practices of the European COTS Users -- Combined Selection of COTS Components -- Identifying Evolvability for Integration -- Issues in Developing Security Wrapper Technology for COTS Software Products -- A Process for COTS Software Product Evaluation -- Five Hurdles to the Successful Adoption of Component-Based COTS in a Corporate Setting -- On Building Testable Software Components -- Streamlining the Acquisition Process for Large-Scale COTS Middleware Components -- Storyboard Process to Assist in Requirements Verification and Adaptation to Capabilities Inherent in COTS -- Realizing the Potential for COTS Utilization: A Work in Progress -- Rethinking Process "]
[{"$nulls":4},"Guidance for Selecting Software Components -- Definition and Classification of COTS: A Proposal -- The Limitations of Current Decision-Making Techniques in the Procurement of COTS Software Components -- COTS-Based System Engineering: The Linguistics Approach -- Merging Integration Solutions for Architecture and Security Mismatch -- The Integration of COTS/GOTS within NASA’s HST Command and Control System -- Replaceable Components and the Service Provider Interface -- The Standard Autonomous File Server, a Customized, Off-The-Shelf Success Story -- Implementing Large-Scale COTS Reengineering within the United States Department of Defense."]
[null,null,null,"Sommario/riassunto","Modernsoftwaresystemsincreasinglyusecommercial-o?-the-shelf(COTS)so- ware products as building blocks. In some cases, major software systems are assembled with virtually no custom code in the system. The use of COTS software products as components o?ers the promise of rapid delivery to end users, shared development costs with other customers, and an opportunity for expanding mission or business capabilities and performance as improvements are made in the commercial marketplace. Few organizations today can a?ord the resources and time to replicate market-tested capabilities. Yet, the promise of COTS products is too often not realized in practice. There have been more failures than successes in using COTS software products. The research and software practitioner communities have been working with COTS-based software systems for a number of years. There is now su?cient documented experience in the community to collect, analyze, and disseminate success stories, common failings, lessons-learned, and research advances. The mounting experience shows that the e?ective use of COTS software products in major software systems demands new skills, knowledge, and abilities, changed roles and responsibilities, and di?erent techniques and processes. The International Conference on COTS-Based Software Systems (ICCBSS) focuses on the challenges of building and maintaining systems that incorporate COTSsoftwareproducts.Theconferencesponsors,theNationalResearchCo- cil Canada, the Software Engineering Institute, and the University of Southern California Center for Software Engineering, aim to bring together managers, - velopers, maintainers, and researchers to share their expertise and experience."]
[null,"3.","Record Nr.",null,"UNINA9910983054403321"]
[null,null,"Titolo",null,"Provable and Practical Security : 18th International Conference, ProvSec 2024, Gold Coast, QLD, Australia, September 25–27, 2024, Proceedings, Part II / / edited by Joseph K. Liu, Liqun Chen, Shi-Feng Sun, Xiaoning Liu"]
[null,null,"Pubbl/distr/stampa",null,"Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025"]
[null,null,"ISBN",null,"9789819609574"]
[{"$nulls":4},"9819609577"]
[null,null,"Edizione",null,"[1st ed. 2025.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XVI, 312 p. 47 illus., 22 illus. in color.)"]
[null,null,"Collana",null,"Lecture Notes in Computer Science, , 1611-3349 ; ; 14904"]
[null,null,"Disciplina",null,"005.824"]
[null,null,"Soggetti",null,"Cryptography"]
[{"$nulls":4},"Data encryption (Computer science)"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Computer networks - Security measures"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"Cryptology"]
[{"$nulls":4},"Computer Communication Networks"]
[{"$nulls":4},"Mobile and Network Security"]
[{"$nulls":4},"Computer and Information Systems Applications"]
[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,"-- Tight Security.  -- Efficient Variants of TNT with BBB Security.  -- ROM Reduction Failures: Reasons and Solutions.  -- Quantum-Safe Cryptography.  -- BDEC: Enhancing Learning Credibility via Post-Quantum Digital Credentials.  -- Semi-Compressed CRYSTALS-Kyber.  -- Blocklistable Anonymous Credential for Circuits with Post-Quantum Security.  -- Distributed System and Blockchain Security.  -- Asynchronous Byzantine Fault Tolerance Reliable Broadcast Based on Directed Acyclic Graph.  -- PDTS: Practical Data Trading Scheme in Distributed Environments.  -- Communication-Efficient Secure Neural Network via Key-Reduced Distributed Comparison Function.  -- Enabling Efficient Cross-Shard Smart Contract Calling via Overlapping.  -- Key Exchange and Privacy.  -- Subversion-Resilient Authenticated Key Exchange with Reverse Firewalls.  -- On Sealed-bid Combinatorial Auction with Privacy-Preserving Dynamic Programming.  -- Short "]
[{"$nulls":4},"Papers.  -- SePEnTra: A secure and privacy-preserving energy trading mechanism in the transactive energy market.  -- On Multi-user Security of Lattice-based Signature under Adaptive Corruptions and Key Leakages.  -- Reusable Fuzzy Extractor from Isogeny.  -- Ensuring Fair Data Trading via Passive Proxy Re-encryption with Smart Contracts.  -- DPAC: A New Data-centric Privacy-preserving Access Control Model.  -- Improving the Accuracy of Transaction-Based Ponzi Detection on Ethereum.  -- A2V: Anonymous and Accountable Voting Framework via Blockchain.  -- Quantum Safe Computation-friendly Identity-binding Password Authenticated Key Exchange."]
[null,null,null,"Sommario/riassunto","This book constitutes the proceedings of the 18th International Conference on Provable and Practical Security, ProvSec 2024, which took place in Gold Coast, QLD, Australia, during September 25-27, 2024. The 26 full papers and 8 short papers presented were thoroughly reviewed and selected from the 79 submissions. The papers are organized in the following topical sections: Part I: Multi-Party Computation; Searchable Encryption; Encryption and Signature. Part II : Tight Security; Quantum-Safe Cryptography; Distributed System and Blockchain Security; and Key Exchange and Privacy."]