[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"_public_publisher_byId_b0446276-852e-42ec-9c64-dd2692590e39":3,"_public_publication_all{\"sortAscending\":false,\"sortField\":\"updateTime\",\"page\":0,\"size\":10,\"facet\":true,\"searchKey\":\"publisherId:b0446276-852e-42ec-9c64-dd2692590e39,\"}":62},{"code":4,"data":5,"meta":18},"SUCCESS",{"id":6,"createTime":7,"updateTime":8,"relativeEntities":9,"slug":10,"properties":11,"entityType":16,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"subjectFields":20,"manageAffiliations":29,"indexDatabases":42,"url":18,"thumbnailPath":18,"statistic":18,"gsStatistic":18,"type":18,"analyzePriority":18},"b0446276-852e-42ec-9c64-dd2692590e39","2023-12-05T06:18:04.910+00:00","2025-11-21T10:05:20.032+00:00",[],"Advances-in-Computers",{"issn":12,"title":14},{"VOID":13},"00652458",{"EN":15},"Advances in Computers","PUBLISHER","PENDING",null,0,[21],{"id":22,"createTime":23,"updateTime":24,"relativeEntities":25,"label":26,"description":28,"parentId":18,"standard":18,"scholarHubFieldId":18},"b177825c-9d9c-4720-9088-005a06cd20a2","2023-05-29T10:24:12.249+00:00","2023-11-21T07:47:26.903+00:00",[],{"EN":27},"Computer Science (miscellaneous)",{},[30],{"id":31,"createTime":32,"updateTime":33,"relativeEntities":34,"slug":35,"properties":36,"entityType":39,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":40,"url":18,"parentIds":41,"statistic":18},"9baa59fd-2797-44b1-ae61-cc362467e9d4","2023-05-29T10:24:08.911+00:00","2025-11-21T10:06:44.504+00:00",[],"Academic-Press-Inc-",{"title":37},{"EN":38},"Academic Press Inc.","AFFILIATION",15,[],[43],{"id":44,"indexDatabase":45,"url":57,"indexYears":58,"academicFieldIds":59,"indexDatabaseRanking":61},"4b7e422b-3c85-4284-868b-b8721e3e3025",{"id":46,"createTime":47,"updateTime":48,"relativeEntities":49,"label":50,"description":52,"key":54,"publicationTags":55,"standard":18},"3c7051d4-eb7d-4c57-a56b-36fc74c5d1e9","2023-05-22T09:57:18.509+00:00","2025-11-21T10:07:52.274+00:00",[],{"EN":51,"VI":51},"Scopus - Elsevier",{"EN":51,"VI":53},"Cơ sở dữ liệu Scopus thuộc Elsevier","scopus",[56],"SCOPUS","https:\u002F\u002Fwww.scopus.com\u002Fsourceid\u002F23080","1960-1962,1964,1966-1967,1969-1973,1975-2000,2002-2025",[60],"06e80d88-c77a-4e7d-afe5-4dd75e7cdac8","SCOPUS__Q3",{"meta":63,"data":65},{"total":64},"82",[66,127,198,235,296,330,413,467,516,558],{"id":67,"createTime":68,"updateTime":69,"relativeEntities":70,"slug":71,"properties":72,"entityType":81,"verifyStatus":82,"verifyTime":69,"verifyNote":83,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"primaryUrl":84,"fullTextUrl":18,"authors":85,"publicationType":102,"publisherRelationship":103,"citationCount":18,"citationInfo":18,"publishDate":124,"publishYear":125,"citationAnalyzeStatus":17,"lastCitationAnalyze":18,"indexDatabases":18,"openAccess":18,"references":18,"isForceReanalyzing":126},"576daddf-596e-4cc0-b06c-5e3e2161db42","2023-12-06T15:42:12.400+00:00","2025-02-18T23:34:00.466+00:00",[],"Supercomputer-Performance-The-Theory-Practice-and-Results",{"references":73,"isbn13":75,"title":77,"doi":79},{"VOID":74},"Amdahl, 1967, The Validity of the Single Processor Approach to Achieving Large Scale Computing Capabilities., AFIPS Conf. Proc., 30\nBailey, 1985, The NAS Kernel Benchmark Program. NASA report TM-86711.\nBrickner, 1986, Benchmarking the IBM 3090 with Vector Facility., Los Alamos National Laboratory document LA-UR-86–3300.\nBucher, 1983, Solving Very Large Elliptic Problems on a Cray X-MP Supercomputer with Solid State Disk., Los Alamos National Laboratory document LA-UR-83–1688.\nBucher, 1983, Workload Characterization for Vector Computers: Tools and Techniques., Los Alamos National Laboratory document LA-UR-38–305.\nBucher, 1981, Comparative Performance Evaluation of Two Supercomputers: CDC Cyber 205 and CRI CRAY-1., Los Alamos National Laboratory document LA-UR-81–1977.\nBucher, 1985, CFT Compiler Optimization and Cray X-MP Vector Performance., Los Alamos National Laboratory document LA-UR-85–4404.\nBucher, 1987, A Close Look at Vector Performance of Registerto-Register Vector Computers and A New Model. ACM Sigmetrics Conf., Modeling and Measurement of Computer Systems., 10.1145\u002F29903.29911\nBuzbee, 1984, Parallel Processing Makes Tough Demands, Computer Design., 23, 137\nD. Calahan, An Analysis of Vector Startup Access Delays. IEEE Trans. Computers. (to appear)\nClark, 1986, Vector System Performance of the IBM 3090., IBM Systems Journal., 25\n1984, CRAY-2., Computer System Hardware Manual, HR-2000.\nDodson, 1987, How to Benchmark a Supercomputer., Electronic System Design., 63\nDongarra, 1986, Performance of Various Vectorizing Compilers., Argonne National Laboratory report.\nJ. Dongarra Performance of Various Computers Using Standard Linear Equations Software in a Fortran Environment. Presented at Supercomputing–Applications and Issues Videoconference, San Diego, California. 1987\nDuke, 1987\nFleming, 1986, How Not to Lie with Statistics: The Correct Way to Summarize Benchmark Results., Comm. ACM., 29, 10.1145\u002F5666.5673\nFujitsu, LTD A Guide to FACOM Vector Processor System. 1982\nFurukatsu, 1984, NEC Supercomputer SX System., Nikkei Electronics., 19\nGriffin, 1984, Los Alamos National Laboratory Computer Benchmarking 1983., Los Alamos National Laboratory report LA-10151-MS.\nHanamura, 1987, Vectorizing the FFT's on Supercomputer SX System., 2nd Int. Conf. Supercomputing.\nHockney, 1981\nHockney, 1985, Measurements on the 2-CPU Cray X-MP., Parallel Computing., 2, 1, 10.1016\u002F0167-8191(85)90014-6\nHwang, 1987\nKampe, 1986, Performance Comparison of the Cray-2 and Cray X-MP on a Class of Seismic Data Processing Algorithms., Cray research report.\nKodaka, 1983, 630 MFLOP Supercomputer HITACS810 with 1 GByte Semiconductor Expansion Memory., Nikkei Electronics., 4\nB. Koskela Data from the X-MP Hardware Monitor. Presented at Cray Users Group Montreal. 1986\nKutzelnigg, 1986, Experiences with the Cyber-205 for Quantum Chemical Calculations., 55\nLubeck, 1987, Modelling the Performance of Hypercubes: A Case Study Using the Particle-In-Cell Application., Los Alamos National Laboratory document LA-UR-87–1522.\nLubeck, 1985, A Benchmark Comparison of Three Supercomputers: Fujitsu VP-200, Hitachi S810\u002F20, and Cray X-MP\u002F2., IEEE Computer., 18, 10, 10.1109\u002FMC.1985.1662769\nLubeck, 1987, The Performance of the NECSX-2 and Cray X-MP Supercomputers., Los Alamos National Laboratory document LA-UR-87–227.\nMcMahon, 1986, The Livermore Fortran Kernels: A Computer Test of the Numerical Range., Lawrence Livermore National Laboratory report UCRL-53745.\nR. Mendez, The Performance of the NEC SX-2 Supercomputer System Compared with that of the Cray X-MP\u002F4 and Fujitsu VP-200. Parallel Computing.\n1986\nNelson, 1985, Using the Performance Monitors on the X-MP\u002F48., Tentacle.\nH. Nelson, 1987 Los Alamos National Laboratory, private communication.\nOhno, 1986, Japanese Supercomputers and Molecular Orbital Calculations., 49\nRiganati, 1984, Supercomputing., IEEE Computer., 17, 10.1109\u002FMC.1984.1658962\nSimmons, 1987, Los Alamos National Laboratory Computer Benchmarking 1986.\nTatalovic, 1987, SX-2 Performance for Wiener-Levinson Filtering., Houston Area Research Center report.\nTsuda, 1987, Use of Semiconductor Extended Storage as Extended Main Storage for Large-Scale Supercomputing., 2nd Int. Conf. Supercomputing.\nvan Kats, 1986\nWare, 1982, The Ultimate Computer., IEEE Spectrum., 89\nT. Warnock, 1987 Los Alamos National Laboratory, private communication.\nH.J. Wasserman M.L. Simmons A Benchmark of the Cyber-205. Los Alamos National Laboratory memorandum No. C-3–5628G. 1986\nWasserman, 1986, C3\nH.J. Wasserman, M.L. Simmons, Lubeck, M. Olaf The Performance of Mini-Supercomputers: Alliant, Convex, and SCS. Los Alamos National Laboratory (to appear)\nE. Williams 1987 Los Alamos National Laboratory, private communication.\nWorlton, 1984, Understanding Supercomputer Benchmarks., Datamation., 30",{"VOID":76},"9780120121274",{"EN":78},"Supercomputer Performance: The Theory, Practice, and Results",{"VOID":80},"10.1016\u002Fs0065-2458(08)60262-4","PUBLICATION","VERIFIED","Auto Verify","https:\u002F\u002Fwww.sciencedirect.com\u002Fscience\u002Farticle\u002Fpii\u002FS0065245808602624",[86],{"id":87,"sortIndex":19,"researcher":18,"roles":88,"affiliations":90,"properties":99},"b2f7c05e-f477-4ff0-90ab-f89a8132aca2",[89],"AUTHOR",[91],{"id":18,"sortIndex":19,"affiliation":92,"properties":18},{"id":93,"createTime":94,"updateTime":94,"relativeEntities":95,"slug":18,"properties":96,"entityType":39,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19},"eeb04773-8a75-4758-a255-f4d6d5c64b59","2023-12-06T15:42:12.416+00:00",[],{"title":97},{"VI":98},"Computer Research and Applications Los Alamos National Laboratory Los Alamos, NM 87545",{"title":100},{"VI":101},"Olaf M. Lubeck","ARTICLE",{"url":84,"publisher":104,"properties":119},{"id":6,"createTime":7,"updateTime":8,"relativeEntities":105,"slug":10,"properties":106,"entityType":16,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"subjectFields":109,"manageAffiliations":110,"indexDatabases":111,"url":18,"thumbnailPath":18,"statistic":18,"gsStatistic":18,"type":18,"analyzePriority":18},[],{"issn":107,"title":108},{"VOID":13},{"EN":15},[],[],[112],{"id":44,"indexDatabase":113,"url":57,"indexYears":58,"academicFieldIds":118,"indexDatabaseRanking":61},{"id":46,"createTime":47,"updateTime":48,"relativeEntities":114,"label":115,"description":116,"key":54,"publicationTags":117,"standard":18},[],{"EN":51,"VI":51},{"EN":51,"VI":53},[56],[60],{"volume":120,"pages":122},{"VOID":121},"27",{"VOID":123},"309-362","1988-01-01",1988,false,{"id":128,"createTime":129,"updateTime":130,"relativeEntities":131,"slug":132,"properties":133,"entityType":81,"verifyStatus":82,"verifyTime":130,"verifyNote":83,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"primaryUrl":142,"fullTextUrl":18,"authors":143,"publicationType":102,"publisherRelationship":175,"citationCount":18,"citationInfo":18,"publishDate":196,"publishYear":197,"citationAnalyzeStatus":17,"lastCitationAnalyze":18,"indexDatabases":18,"openAccess":18,"references":18,"isForceReanalyzing":126},"b5aa4141-2e43-4749-aa71-d0d6a5b7ceb9","2023-12-06T08:50:47.331+00:00","2025-02-08T23:01:38.023+00:00",[],"A-review-on-cancer-data-management-using-blockchain-Progress-and-challenges",{"references":134,"isbn13":136,"title":138,"doi":140},{"VOID":135},"Putora, 2020, Oncology informatics: status quo and outlook, Oncology, 98, 329, 10.1159\u002F000507586\nArun Kumar, 2020, National childhood cancer comprehensive management policy-a road map, Onkologia i Radioterapia, 14, 6\nAgrawal, 2020, Big data in digital healthcare: lessons learnt and recommendations for general practice, Heredity, 124, 525, 10.1038\u002Fs41437-020-0303-2\nMazlan, 2020, Scalability challenges in healthcare blockchain system—a systematic review, IEEE Access, 8, 23663, 10.1109\u002FACCESS.2020.2969230\nChukwu, 2020, A systematic review of blockchain in healthcare: frameworks, prototypes, and implementations, IEEE Access, 8, 21196, 10.1109\u002FACCESS.2020.2969881\nHoutan, 2020, A survey on blockchain-based self-sovereign patient identity in healthcare, IEEE Access, 8, 90478, 10.1109\u002FACCESS.2020.2994090\nPandey, 2020, Key issues in healthcare data integrity: analysis and recommendations, IEEE Access, 8, 40612, 10.1109\u002FACCESS.2020.2976687\nKumar, 2020, Distributed off-chain storage of patient diagnostic reports in healthcare system using IPFS and blockchain, 1\nIm, 2020, Privacy and ledger size analysis for healthcare blockchain, 825\nFernandes, 2020, Scalable architecture for sharing EHR using the hyperledger blockchain, 130\nRay, 2021, BLWN: blockchain-based lightweight simplified payment verification in IoT-assisted e-healthcare, IEEE Syst. J., 15, 134, 10.1109\u002FJSYST.2020.2968614\nRay, 2021, Blockchain for IoT-based healthcare: background, consensus, platforms, and use cases, IEEE Syst. J., 15, 85, 10.1109\u002FJSYST.2020.2963840\nZhang, 2018, Fhirchain: applying blockchain to securely and scalably share clinical data, Comput. Struct. Biotechnol. J., 16, 267, 10.1016\u002Fj.csbj.2018.07.004\nHussein, 2018, A medical records managing and securing blockchain based system supported by a genetic algorithm and discrete wavelet transform, Cogn. Syst. Res., 52, 1, 10.1016\u002Fj.cogsys.2018.05.004\nShae, 2018, Transform blockchain into distributed parallel computing architecture for precision medicine, 1290\nDubovitskaya, 2019, Applications of blockchain technology for data-sharing in oncology: results from a systematic literature review, Oncology\nDhull, 2019, Blockchain and oncology, J. Cancer Res. Ther.\nZhang\nBenniche, 2019, Using blockchain technology to recycle cancer drugs, Lancet Oncol., 20, e300, 10.1016\u002FS1470-2045(19)30291-8\nDubovitskaya, 2017, How blockchain could empower eHealth: an application for radiation oncology, vol. 10494\nHirano, 2020, Data validation and verification using blockchain in a clinical trial for breast cancer: regulatory sandbox, J. Med. Internet Res., 22, e18938, 10.2196\u002F18938\nGlicksberg, 2020, Blockchain-authenticated sharing of genomic and clinical outcomes data of patients with cancer: a prospective cohort study, J. Med. Internet Res., 22, e116810, 10.2196\u002F16810\nRahman, 2019, An IoT and blockchain-based multi-sensory in-home quality of life framework for cancer patients, 2116\nDanzi, 2020, Communication aspects of the integration of wireless IoT devices with distributed ledger technology, IEEE Network, 34, 47, 10.1109\u002FMNET.001.1900180\nDookie, 2020, Building an inclusive distributed ledger system, 668\nHeaven, 2019, Bitcoin for the biological literature, Nature, 566, 141, 10.1038\u002Fd41586-019-00447-9\nMaxmen, 2018, AI researchers embrace Bitcoin technology to share medical data, Nature, 555, 293, 10.1038\u002Fd41586-018-02641-7\nMertz, 2018, (Block) chain reaction: a blockchain revolution sweeps into health care, offering the possibility for a much-needed data solution, IEEE Pulse, 9, 4, 10.1109\u002FMPUL.2018.2814879\nC. Caruso, How blockchain could cure cancer, URL [Online]. Available: https:\u002F\u002Fmedium.com\u002F@charliecaruso\u002Fhow-blockchain-could-cure-cancer-e8afc0f173ef.\nClauson, 2018, Leveraging blockchain technology to enhance supply chain management in healthcare: an exploration of challenges and opportunities in the health supply chain, Blockchain Healthc. Today, 1\nLakshmi, 2021, Lung cancer detection and stage classification using supervised algorithms, Turkish J. Physiotherapy Rehabil., 32, 3\nYu, 2021, Deep-learning-empowered breast cancer auxiliary diagnosis for 5GB remote e-health, IEEE Wirel. Commun., 28, 54, 10.1109\u002FMWC.001.2000374\nWang, 2021, Hospital IoT system design and the efficacy of Iodine 131 in the treatment of thyroid cancer, Microprocess. Microsyst., 82, 103871, 10.1016\u002Fj.micpro.2021.103871\nKumar, 2021, An integration of blockchain and AI for secure data sharing and detection of CT images for the hospitals, Comput. Med. Imaging Graph., 87, 101812, 10.1016\u002Fj.compmedimag.2020.101812\nZhang, 2021, Application of laparoscopy in comprehensive staging operation of ovarian cancer based on electronic medical blockchain technology, J. Healthc. Eng., 2021, 6649640\nGlicksberg, 2020, Blockchain-authenticated sharing of genomic and clinical outcomes data of patients with cancer: a prospective cohort study, J. Med. Internet Res., 22, e16810, 10.2196\u002F16810\nAbdur Rahman, 2019, A secure occupational therapy framework for monitoring cancer patients’ quality of life, Sensors (Basel), 19, 5258, 10.3390\u002Fs19235258\nZhu, 2019, Cloud health resource sharing based on consensus-oriented blockchain technology: case study on a breast tumor diagnosis service, J. Med. Internet Res., 21, e13767, 10.2196\u002F13767\nM. Tahir, M.H. Habaebi, M. Dabbagh, A. Mughees, A. Ahad, K.I. Ahmed, A review on application of blockchain in 5G and beyond networks: taxonomy, field-trials, challenges and opportunities, IEEE Access 8 115876–115904, 10.1109\u002FACCESS.2020.3003020.\nNguyen, 2020, Privacy-aware blockchain innovation for 6G: challenges and opportunities, 1\nMishra, 2020, Implementation and analysis of blockchain based DApp for secure sharing of students’ credentials, 1\nZhang, 2018, Chapter One–Blockchain technology use cases in healthcare, vol. 111, 1\nLei, 2020, Groupchain: towards a scalable public blockchain in fog computing of IoT services computing, IEEE Trans. Serv. Comput., 13, 252, 10.1109\u002FTSC.2019.2949801\nHughes, 2019, Blockchain and health care, Policy Polit. Nurs. Pract., 20, 4, 10.1177\u002F1527154419833570\nO’Donoghue, 2019, Design choices and trade-offs in health care blockchain implementations: systematic review, J. Med. Internet Res., 21, e12426, 10.2196\u002F12426",{"VOID":137},"9780443215667",{"EN":139},"A review on cancer data management using blockchain: Progress and challenges",{"VOID":141},"10.1016\u002Fbs.adcom.2023.04.002","https:\u002F\u002Fwww.sciencedirect.com\u002Fscience\u002Farticle\u002Fpii\u002FS0065245823000396",[144,159],{"id":145,"sortIndex":19,"researcher":18,"roles":146,"affiliations":147,"properties":156},"24a61cd2-5b63-49bb-b0db-69ef5569d322",[89],[148],{"id":18,"sortIndex":19,"affiliation":149,"properties":18},{"id":150,"createTime":151,"updateTime":151,"relativeEntities":152,"slug":18,"properties":153,"entityType":39,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19},"f9daccb9-7f35-4487-8fac-85879df8ae3e","2023-12-07T16:01:19.940+00:00",[],{"title":154},{"VI":155},"Department of Computer Applications, Sikkim University, Gangtok, India",{"title":157},{"VI":158},"Partha Pratim Ray",{"id":160,"sortIndex":161,"researcher":18,"roles":162,"affiliations":163,"properties":172},"80886c18-15fd-4f73-96ff-bc4db65f063e",1,[89],[164],{"id":18,"sortIndex":19,"affiliation":165,"properties":18},{"id":166,"createTime":167,"updateTime":167,"relativeEntities":168,"slug":18,"properties":169,"entityType":39,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19},"7e57f5f0-3c76-4d8a-bddf-052b288e6794","2023-12-06T08:50:47.460+00:00",[],{"title":170},{"VI":171},"Maulana Abul Kalam Azad University of Technology, West Bengal, India",{"title":173},{"VI":174},"Poulami Majumder",{"url":142,"publisher":176,"properties":191},{"id":6,"createTime":7,"updateTime":8,"relativeEntities":177,"slug":10,"properties":178,"entityType":16,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"subjectFields":181,"manageAffiliations":182,"indexDatabases":183,"url":18,"thumbnailPath":18,"statistic":18,"gsStatistic":18,"type":18,"analyzePriority":18},[],{"issn":179,"title":180},{"VOID":13},{"EN":15},[],[],[184],{"id":44,"indexDatabase":185,"url":57,"indexYears":58,"academicFieldIds":190,"indexDatabaseRanking":61},{"id":46,"createTime":47,"updateTime":48,"relativeEntities":186,"label":187,"description":188,"key":54,"publicationTags":189,"standard":18},[],{"EN":51,"VI":51},{"EN":51,"VI":53},[56],[60],{"volume":192,"pages":194},{"VOID":193},"131",{"VOID":195},"49-78","2023-01-01",2023,{"id":199,"createTime":200,"updateTime":201,"relativeEntities":202,"slug":203,"properties":204,"entityType":81,"verifyStatus":17,"verifyTime":201,"verifyNote":209,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":161,"primaryUrl":210,"fullTextUrl":18,"authors":211,"publicationType":102,"publisherRelationship":212,"citationCount":18,"citationInfo":18,"publishDate":233,"publishYear":234,"citationAnalyzeStatus":17,"lastCitationAnalyze":18,"indexDatabases":18,"openAccess":18,"references":18,"isForceReanalyzing":126},"4774e497-361f-4b7d-82dc-93f9849d13c9","2024-01-27T18:53:55.420+00:00","2024-12-02T22:58:15.490+00:00",[],"Flexible-and-Adaptive-Services-in-Pervasive-Computing",{"title":205,"doi":207},{"EN":206},"Flexible and Adaptive Services in Pervasive Computing",{"VOID":208},"10.1016\u002FS0065-2458(04)63005-1","Author title is blank","https:\u002F\u002Fwww.sciencedirect.com\u002Fscience\u002Farticle\u002Fpii\u002FS0065245804630051",[],{"url":210,"publisher":213,"properties":228},{"id":6,"createTime":7,"updateTime":8,"relativeEntities":214,"slug":10,"properties":215,"entityType":16,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"subjectFields":218,"manageAffiliations":219,"indexDatabases":220,"url":18,"thumbnailPath":18,"statistic":18,"gsStatistic":18,"type":18,"analyzePriority":18},[],{"issn":216,"title":217},{"VOID":13},{"EN":15},[],[],[221],{"id":44,"indexDatabase":222,"url":57,"indexYears":58,"academicFieldIds":227,"indexDatabaseRanking":61},{"id":46,"createTime":47,"updateTime":48,"relativeEntities":223,"label":224,"description":225,"key":54,"publicationTags":226,"standard":18},[],{"EN":51,"VI":51},{"EN":51,"VI":53},[56],[60],{"volume":229,"pages":231},{"VOID":230},"63",{"VOID":232},"165-206","2005-01-01",2005,{"id":236,"createTime":237,"updateTime":238,"relativeEntities":239,"slug":240,"properties":241,"entityType":81,"verifyStatus":17,"verifyTime":238,"verifyNote":248,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"primaryUrl":249,"fullTextUrl":18,"authors":250,"publicationType":102,"publisherRelationship":273,"citationCount":18,"citationInfo":18,"publishDate":294,"publishYear":295,"citationAnalyzeStatus":17,"lastCitationAnalyze":18,"indexDatabases":18,"openAccess":18,"references":18,"isForceReanalyzing":126},"f47bbbe5-a401-43d1-aa72-61f70283f103","2023-12-07T01:38:51.369+00:00","2025-02-08T22:53:16.558+00:00",[],"Chapter-6-Global-Software-Development-Origins-Practices-and-Directions",{"references":242,"title":244,"doi":246},{"VOID":243},"Battin, 2001, Leveraging resources in global software development, IEEE Software, 18, 10.1109\u002F52.914750\nBelson, 2004, Outsourcing, turned inside out, New York Times\nBergenti, 2004\nBerry, 2006\nBerryman, 2006\nBlinder, 2005\n2003\nCarmel, 2001, Tactical approaches for alleviating distance in global software development, IEEE Software, 10.1109\u002F52.914734\nCarmel, 1999\nCusick, 2003, How the work of software professionals changes everything, IEEE Software, 20, 92, 10.1109\u002FMS.2003.1196329\nCusick, 2004, Developing software (and careers) in a global IT market place: The realities of software work in today's offshore environment\nCusick, 2006, A practical management and engineering approach to offshore collaboration, IEEE Software, 23, 20, 10.1109\u002FMS.2006.118\nCusick, 2006\nDossani, 2007\nDrezner, 2004, The outsourcing bogeyman, Foreign Affairs, 10.2307\u002F20033973\nErl, 2005\nEstelami, 1998, The evolution of Iran's reactive measures to US economic sanctions, Journal of Business in Developing Nations, 2\nFarrell, 2005\nThe First Commerical Computers http:\u002F\u002Fphysinfo.ulb.ac.be\u002Fdivers_html\u002FPowerPC_Programming_Info\u002Fintro_to_risc\u002Firt2_history4.html, viewed 2\u002F3\u002F2007\nFowler, 2004\nGoldstine, 1972\nHamm, 2007, Outsourcing heads to the outskirts, Business Week\nHempel, 2007, The Indian paradox, Business Week\nHerbsleb, 1999, Architectures, coordination, and distance: Conway's law and beyond, IEEE Software, 10.1109\u002F52.795103\nHibbard, 2005, A slow start for Indian startups?, Business Week Online\nHira, 2005\nHistory of computer hardware in Soviet Bloc countries http:\u002F\u002Fen.wikipedia.org\u002Fwiki\u002FHistory_of_computer_hardware_in_Soviet_Bloc_countries, viewed 2\u002F3\u002F07\nHofstede, 2004\nHofstede, 2006\nKarolak, 1998\nKelly, 2004, A brief history of outsourcing, Global Envision\nKobitzsch, 2001, Outsourcing in India, IEEE Software, 10.1109\u002F52.914751\nKonana, 2006, Can Indian software firms compete with the global giants?, Computer, 39, 43, 10.1109\u002FMC.2006.225\nLackow, 2005\nLee, 2000\nLewin, 2007, Next generation offshoring: The globalization of innovation, Offshore Research Network\nMaCintyre, 2007, Midnight's grandchildren: A British correspondent reports on the emergence of modern India, New York Times Book Review\nMohagheghi\nNissen, 2004\n2005\nObject Management Group, http:\u002F\u002Fwww.omg.org.\nPaasivaara, 2004\nPacey, 1991\nRegan, 2003, Dell recalls tech support from India after complaints, Tech News World\nRubin, 1997\nSahay, 2003\nTeasley, 2002, Rapid software development through team collocation, IEEE Transactions of Software Engineering, 28, 671, 10.1109\u002FTSE.2002.1019481\nTepfenhart, 2004\nTilak, 2005\nWeier, 2007, As hiring soars in India, good managers are hard to find, Information Week, 33\n2007, Who Invented the Computer? Alan Turing's Claim\nYan, 2004\nYourdon, 1992\nYourdon, 1996\nZhang\nMcDougall, 2004, Chase cancels IBM outsourcing deal, true to its President's Form, Information Week",{"EN":245},"Chapter 6 Global Software Development: Origins, Practices, and Directions",{"VOID":247},"10.1016\u002Fs0065-2458(08)00606-2","Author affiliation is blank","https:\u002F\u002Fwww.sciencedirect.com\u002Fscience\u002Farticle\u002Fpii\u002FS0065245808006062",[251,258,266],{"id":252,"sortIndex":161,"researcher":18,"roles":253,"affiliations":254,"properties":255},"10ec46d2-7802-4256-8695-3744ffe0c99d",[89],[],{"title":256},{"VI":257},"Alpana Prasad",{"id":259,"sortIndex":260,"researcher":18,"roles":261,"affiliations":262,"properties":263},"7d2a9529-1e2e-4731-ab34-4536edddd74a",2,[89],[],{"title":264},{"VI":265},"William M. Tepfenhart",{"id":267,"sortIndex":19,"researcher":18,"roles":268,"affiliations":269,"properties":270},"1af3cb54-cdd8-46a7-9900-0b1bd21cd5c7",[89],[],{"title":271},{"VI":272},"James J. Cusick",{"url":249,"publisher":274,"properties":289},{"id":6,"createTime":7,"updateTime":8,"relativeEntities":275,"slug":10,"properties":276,"entityType":16,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"subjectFields":279,"manageAffiliations":280,"indexDatabases":281,"url":18,"thumbnailPath":18,"statistic":18,"gsStatistic":18,"type":18,"analyzePriority":18},[],{"issn":277,"title":278},{"VOID":13},{"EN":15},[],[],[282],{"id":44,"indexDatabase":283,"url":57,"indexYears":58,"academicFieldIds":288,"indexDatabaseRanking":61},{"id":46,"createTime":47,"updateTime":48,"relativeEntities":284,"label":285,"description":286,"key":54,"publicationTags":287,"standard":18},[],{"EN":51,"VI":51},{"EN":51,"VI":53},[56],[60],{"volume":290,"pages":292},{"VOID":291},"74",{"VOID":293},"201-269","2008-01-01",2008,{"id":297,"createTime":298,"updateTime":299,"relativeEntities":300,"slug":301,"properties":302,"entityType":81,"verifyStatus":17,"verifyTime":299,"verifyNote":209,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":161,"primaryUrl":307,"fullTextUrl":18,"authors":308,"publicationType":102,"publisherRelationship":309,"citationCount":18,"citationInfo":18,"publishDate":294,"publishYear":295,"citationAnalyzeStatus":17,"lastCitationAnalyze":18,"indexDatabases":18,"openAccess":18,"references":18,"isForceReanalyzing":126},"25b7f721-4edd-486d-9631-4bd773bbb0da","2024-01-27T14:06:52.071+00:00","2025-01-05T22:48:09.257+00:00",[],"Distributed-Sparse-Matrices-for-Very-High-Level-Languages",{"title":303,"doi":305},{"EN":304},"Distributed Sparse Matrices for Very High Level Languages",{"VOID":306},"10.1016\u002FS0065-2458(08)00005-3","https:\u002F\u002Fwww.sciencedirect.com\u002Fscience\u002Farticle\u002Fpii\u002FS0065245808000053",[],{"url":307,"publisher":310,"properties":325},{"id":6,"createTime":7,"updateTime":8,"relativeEntities":311,"slug":10,"properties":312,"entityType":16,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"subjectFields":315,"manageAffiliations":316,"indexDatabases":317,"url":18,"thumbnailPath":18,"statistic":18,"gsStatistic":18,"type":18,"analyzePriority":18},[],{"issn":313,"title":314},{"VOID":13},{"EN":15},[],[],[318],{"id":44,"indexDatabase":319,"url":57,"indexYears":58,"academicFieldIds":324,"indexDatabaseRanking":61},{"id":46,"createTime":47,"updateTime":48,"relativeEntities":320,"label":321,"description":322,"key":54,"publicationTags":323,"standard":18},[],{"EN":51,"VI":51},{"EN":51,"VI":53},[56],[60],{"volume":326,"pages":328},{"VOID":327},"72",{"VOID":329},"225-252",{"id":331,"createTime":332,"updateTime":333,"relativeEntities":334,"slug":335,"properties":336,"entityType":81,"verifyStatus":82,"verifyTime":333,"verifyNote":83,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"primaryUrl":343,"fullTextUrl":18,"authors":344,"publicationType":102,"publisherRelationship":390,"citationCount":18,"citationInfo":18,"publishDate":411,"publishYear":412,"citationAnalyzeStatus":17,"lastCitationAnalyze":18,"indexDatabases":18,"openAccess":18,"references":18,"isForceReanalyzing":126},"43b2d591-9953-4533-8db5-6c2634a13919","2023-12-07T14:37:17.181+00:00","2024-12-22T22:47:42.116+00:00",[],"The-edge-AI-paradigm-Technologies-platforms-and-use-cases",{"isbn13":337,"title":339,"doi":341},{"VOID":338},"9780128245064",{"EN":340},"The edge AI paradigm: Technologies, platforms and use cases",{"VOID":342},"10.1016\u002Fbs.adcom.2022.02.003","https:\u002F\u002Fwww.sciencedirect.com\u002Fscience\u002Farticle\u002Fpii\u002FS0065245822000328",[345,360,375],{"id":346,"sortIndex":19,"researcher":18,"roles":347,"affiliations":348,"properties":357},"6eb5ba40-1909-427b-be20-291d80cf933f",[89],[349],{"id":18,"sortIndex":19,"affiliation":350,"properties":18},{"id":351,"createTime":352,"updateTime":352,"relativeEntities":353,"slug":18,"properties":354,"entityType":39,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19},"83eb8834-2de9-4bad-9cac-01cf9ce37ab9","2023-12-03T07:21:22.038+00:00",[],{"title":355},{"VI":356},"Site Reliability Engineering (SRE) Division, Reliance Jio Platforms Ltd. (JPL), Bangalore, India",{"title":358},{"VI":359},"Pethuru Raj",{"id":361,"sortIndex":260,"researcher":18,"roles":362,"affiliations":363,"properties":372},"4cc73cf7-9317-4075-b34f-f10bbf0ca2bc",[89],[364],{"id":18,"sortIndex":19,"affiliation":365,"properties":18},{"id":366,"createTime":367,"updateTime":367,"relativeEntities":368,"slug":18,"properties":369,"entityType":39,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19},"f6fa153e-c13c-42f2-90e3-14c4f4ce1358","2023-12-07T14:37:17.227+00:00",[],{"title":370},{"VI":371},"Research Scholar, Sona College of Technology, Salem, TN, India",{"title":373},{"VI":374},"M. Marimuthu",{"id":376,"sortIndex":161,"researcher":18,"roles":377,"affiliations":378,"properties":387},"9d25e88b-00ae-4dc9-9e70-4037dd9042e6",[89],[379],{"id":18,"sortIndex":19,"affiliation":380,"properties":18},{"id":381,"createTime":382,"updateTime":382,"relativeEntities":383,"slug":18,"properties":384,"entityType":39,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19},"493f0c94-a0ee-4d5e-82f1-eb9e3e8f6dc7","2023-12-07T14:37:17.213+00:00",[],{"title":385},{"VI":386},"Department of Information Technology, Sona College of Technology, Salem, TN, India",{"title":388},{"VI":389},"J. Akilandeswari",{"url":343,"publisher":391,"properties":406},{"id":6,"createTime":7,"updateTime":8,"relativeEntities":392,"slug":10,"properties":393,"entityType":16,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"subjectFields":396,"manageAffiliations":397,"indexDatabases":398,"url":18,"thumbnailPath":18,"statistic":18,"gsStatistic":18,"type":18,"analyzePriority":18},[],{"issn":394,"title":395},{"VOID":13},{"EN":15},[],[],[399],{"id":44,"indexDatabase":400,"url":57,"indexYears":58,"academicFieldIds":405,"indexDatabaseRanking":61},{"id":46,"createTime":47,"updateTime":48,"relativeEntities":401,"label":402,"description":403,"key":54,"publicationTags":404,"standard":18},[],{"EN":51,"VI":51},{"EN":51,"VI":53},[56],[60],{"volume":407,"pages":409},{"VOID":408},"127",{"VOID":410},"139-182","2022-01-01",2022,{"id":414,"createTime":415,"updateTime":415,"relativeEntities":416,"slug":417,"properties":418,"entityType":81,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"primaryUrl":429,"fullTextUrl":18,"authors":430,"publicationType":102,"publisherRelationship":445,"citationCount":18,"citationInfo":18,"publishDate":466,"publishYear":197,"citationAnalyzeStatus":17,"lastCitationAnalyze":18,"indexDatabases":18,"openAccess":18,"references":18,"isForceReanalyzing":126},"401c457e-84be-42e1-b891-50e5d5852699","2023-11-14T22:42:05.096+00:00",[],"Chapter-Six-Processing-large-graphs-with-an-alternative-representation",{"pii":419,"keywords":421,"abstract":423,"title":425,"doi":427},{"VOID":420},"S0065245821000632",{"EN":422},"Breadth-first search,Graph representation,Graph processing,Meta-graph",{"EN":424},"This chapter investigates the processing of large graphs with a novel graph representation scheme, the centered subgraph data matrix (CESDAM). The graph is represented in multiple CESDAMs, each containing subgraphs of the graph. Processing time and memory requirement are the two major issues while dealing with the processing of large graphs. The representation of graph is crucial for handling both these issues. The efficiency of CESDAM scheme in terms of time requirement is analyzed by incorporating the breadth-first searching, which is the backbone of most graph processing algorithms. The analysis shows, breadth-first searching on CESDAM requires time O(n × B × m 2), where n is the number of nodes in the graph, B is the branching factor of the meta-graph prepared on top of CESDAM ids, and m is the size of each CESDAM. The widely used adjacency matrix is becoming inefficient with enormously growing sizes of modern-day graphs, which requires very large amount of space for such graphs. Representation of graph in parts with CESDAM reduces the memory requirement significantly in contrast to adjacency matrix, which requires space O(k × m 2) only, where k is the number of CESDAMs.",{"EN":426},"Chapter Six Processing large graphs with an alternative representation",{"VOID":428},"10.1016\u002Fbs.adcom.2021.10.001","https:\u002F\u002Fwww.sciencedirect.com\u002Fscience\u002Farticle\u002Fpii\u002FS0065245821000632",[431,438],{"id":432,"sortIndex":19,"researcher":18,"roles":433,"affiliations":434,"properties":435},"683725d2-a18d-42e9-a253-8516a70896ce",[89],[],{"title":436},{"VI":437},"Devarapalli  Ravi Kishore",{"id":439,"sortIndex":19,"researcher":18,"roles":440,"affiliations":441,"properties":442},"778b0d33-867e-4ce6-a2f3-53b487e58a38",[89],[],{"title":443},{"VI":444},"Biswas  Anupam",{"url":429,"publisher":446,"properties":461},{"id":6,"createTime":7,"updateTime":8,"relativeEntities":447,"slug":10,"properties":448,"entityType":16,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"subjectFields":451,"manageAffiliations":452,"indexDatabases":453,"url":18,"thumbnailPath":18,"statistic":18,"gsStatistic":18,"type":18,"analyzePriority":18},[],{"issn":449,"title":450},{"VOID":13},{"EN":15},[],[],[454],{"id":44,"indexDatabase":455,"url":57,"indexYears":58,"academicFieldIds":460,"indexDatabaseRanking":61},{"id":46,"createTime":47,"updateTime":48,"relativeEntities":456,"label":457,"description":458,"key":54,"publicationTags":459,"standard":18},[],{"EN":51,"VI":51},{"EN":51,"VI":53},[56],[60],{"volume":462,"pages":464},{"VOID":463},"128",{"VOID":465},"185","2023-12-31",{"id":468,"createTime":469,"updateTime":469,"relativeEntities":470,"slug":18,"properties":471,"entityType":81,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"primaryUrl":478,"fullTextUrl":18,"authors":479,"publicationType":102,"publisherRelationship":495,"citationCount":18,"citationInfo":18,"publishDate":233,"publishYear":234,"citationAnalyzeStatus":17,"lastCitationAnalyze":18,"indexDatabases":18,"openAccess":18,"references":18,"isForceReanalyzing":126},"0771b307-8cb3-4498-b9e3-887e2e76b7ec","2023-12-06T21:54:51.688+00:00",[],{"references":472,"title":474,"doi":476},{"VOID":473},"Abadi, 1991, The existence of refinement mappings, Theoretical Computer Science, 82, 253, 10.1016\u002F0304-3975(91)90224-P\nAho, 1974\nBartlett, 1969, A note on reliable full-duplex transmission over half-duplex lines, Comm. of the ACM, 12, 260, 10.1145\u002F362946.362970\nBloom, 2004, Spacetime trade-offs in hash coding with allowable errors, Comm. of the ACM, 13, 422, 10.1145\u002F362686.362692\nBochmann G.V., “Finite state description of communications protocols”, Publication No. 236, Département d'informatique, Université de Montreal, July 1976\nBozga D.M., “Verification symbolique pour les protocoles de communication”, PhD Thesis (in French), University of Grenoble, France, December 1999, Chapter 4\nBryant, 1986, Graph-based algorithms for Boolean function manipulation, IEEE Trans. on Computers, C-35, 677, 10.1109\u002FTC.1986.1676819\nBüchi, 1960, On a decision method in restricted second order arithmetic, 1\nChou, 1996, Verifying a model-checking algorithm, vol. 1055, 241\nChoueka, 1974, Theories of automata on ω-tapes: a simplified approach, Journal of Computer and System Science, 8, 117, 10.1016\u002FS0022-0000(74)80051-6\nClarke, 1982, Synthesis of synchronization skeletons for branching time temporal logic, vol. 131\nClarke, 1994, Model checking and abstraction, ACM-TOPLAS, 16, 1512, 10.1145\u002F186025.186051\nClarke, 1999\nCourcoubetis, 1990, Memory efficient algorithms for the verification of temporal properties\nDillinger, 2004, Fast and accurate bitstate verification for SPIN, vol. 2989\nEmerson, 1997, Combining partial order reduction and symmetry reduction, vol. 1217, 19\nEtessami K., “Stutter-invariant languages, ω-automata, and temporal logic”, in: Proc. Conf. on Computer Aided Verification, CAV, 1999, pp. 236–248\nEtessami, 2000, Optimizing Büchi automata, vol. 1877, 153\nGerth, 1995, Simple on-the-fly automatic verification of linear temporal logic, 3\nGodefroid P., Holzmann G.J., “On the verification of temporal properties”, in: Proc. Internat. Conf. on Protocol Specification, Testing, and Verification, Liege, Belgium, May 1993, pp. 109–124\nHajek J., “Automatically verified data transfer protocols”, in: Proc. 4th ICCC, Kyoto, 1978, pp. 749–756\nHolzmann G.J., “PAN: a protocol specification analyzer”, Technical Report TM81-11271-5, AT&T Bell Laboratories, March 1981\nHolzmann, 1982, A theory for protocol validation, IEEE Trans. on Computers, C-31, 730, 10.1109\u002FTC.1982.1676079\nHolzmann, 1988, An improved protocol reachability analysis technique, Software, Practice and Experience, 18, 137, 10.1002\u002Fspe.4380180203\nHolzmann G.J., Patti J., “Validating SDL specifications: an experiment”, in: Proc. Internat Conf. on Protocol Specification, Testing, and Verification, Twente, Netherlands, June 1989, pp. 317–326\nHolzmann, 1990, Spin—A protocol analyzer, 423\nHolzmann, 1991\nHolzmann G.J., Peled D., “An improvement in formal verification”, in: Proc. Conf. on Formal Description Techniques, FORTE, Bern, Switzerland, October 1994, pp. 177–194\nHolzmann, 1996, On nested depth-first search, vol. 32\nHolzmann, 1997, The model checker Spin, IEEE Trans. on Software Engineering, 23, 279, 10.1109\u002F32.588521\nHolzmann, 1998, An analysis of bitstate hashing, Formal Methods in System Design, 13, 287, 10.1023\u002FA:1008696026254\nHolzmann, 1998, Designing executable abstractions\nHolzmann, 1999, A practical method for the verification of event driven systems, 597\nHolzmann, 1999, Software model checking—extracting verification models from source code, 481\nHolzmann, 1999, A minimized automaton representation of reachable states, Software Tools for Technology Transfer, 2, 270, 10.1007\u002Fs100090050034\nHolzmann, 2004\nHolzmann, 2004, Model-driven software verification, vol. 2989, 77\nKurshan, 1995, Homomorphic reduction of coordination analysis, vol. 73, 105\nManna Z., Pnueli A., “Tools and rules for the practicing verifier”, Stanford University, Report STAN-CS-90-1321, July 1990, 34 p\nManna, 1991\nMcMillan, 1993\nMoore, 1965, Cramming more components onto integrated circuits, Electronics, 19\nPeled, 1994, On projective and separable properties, vol. 787, 291\nPnueli A., “The temporal logic of programs”, in: Proc. 18th IEEE Symposium on Foundations of Computer Science, 1977, Providence, RI, pp. 46–57\nQueille J.P., Sifakis J., “Specification and verification of concurrent systems in Cesar”, in: Proc. of Fifth Internat. Symp. on Programming, 1981, pp. 337–350\nSchneider, 1998, Validating requirements for fault tolerant systems using model checking, 4\nTanenbaum, 1981\nTarjan, 1972, Depth first search and linear graph algorithms, SIAM J. Computing, 1, 146, 10.1137\u002F0201010\nLATA Switching Systems Generic Requirements (LSSGR), FR-NWT-000064, 1992 edition. Feature requirements, including: SPCS Capabilities and Features, SR-504, Issue 1, March 1996. Telcordia\u002FBellcore\nThomas, 1990, Automata on infinite objects, vol. B, 133\nTuring, 1936, On computable numbers, with an application to the Entscheidungsproblem, Proc. London Math. Soc. Ser. 2, 42, 230, 10.1112\u002Fplms\u002Fs2-42.1.230\nVardi M.Y., Wolper P., “An automata-theoretic approach to automatic program verification”, in: Proc. Symp. on Logic in Comput. Sci., Cambridge, June 1986, pp. 322–331\nWest, 1978, General technique for communications protocol validation, IBM J. Res. Develop., 22, 393, 10.1147\u002Frd.224.0393\nWest, 1978, Automated validation of a communications protocol: the CCITT X. 21 recommendation, IBM J. Res. Develop., 22, 60, 10.1147\u002Frd.221.0060\nWolper P., Vardi M.Y., Sistla A.P., “Reasoning about infinite computation paths”, in: Proc. 24th IEEE Symp. on Foundations of Comput. Sci., Tucson, 1983, pp. 185–194\nWolper, 1993, Reliable hashing without collision detection, vol. 697, 59",{"EN":475},"Software Model Checking with Spin",{"VOID":477},"10.1016\u002Fs0065-2458(05)65002-4","https:\u002F\u002Fwww.sciencedirect.com\u002Fscience\u002Farticle\u002Fpii\u002FS0065245805650024",[480],{"id":481,"sortIndex":19,"researcher":18,"roles":482,"affiliations":483,"properties":492},"a37c4073-0a90-4fb8-8e4d-401275e53211",[89],[484],{"id":18,"sortIndex":19,"affiliation":485,"properties":18},{"id":486,"createTime":487,"updateTime":487,"relativeEntities":488,"slug":18,"properties":489,"entityType":39,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19},"c34ae52e-e1b9-47f2-bd15-1222e6ddda10","2023-12-06T21:54:51.702+00:00",[],{"title":490},{"VI":491},"Laboratory for Reliable Software NASA\u002FJPL, Pasadena, CA 91109 USA",{"title":493},{"VI":494},"Gerard J. Holzmann",{"url":478,"publisher":496,"properties":511},{"id":6,"createTime":7,"updateTime":8,"relativeEntities":497,"slug":10,"properties":498,"entityType":16,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"subjectFields":501,"manageAffiliations":502,"indexDatabases":503,"url":18,"thumbnailPath":18,"statistic":18,"gsStatistic":18,"type":18,"analyzePriority":18},[],{"issn":499,"title":500},{"VOID":13},{"EN":15},[],[],[504],{"id":44,"indexDatabase":505,"url":57,"indexYears":58,"academicFieldIds":510,"indexDatabaseRanking":61},{"id":46,"createTime":47,"updateTime":48,"relativeEntities":506,"label":507,"description":508,"key":54,"publicationTags":509,"standard":18},[],{"EN":51,"VI":51},{"EN":51,"VI":53},[56],[60],{"volume":512,"pages":514},{"VOID":513},"65",{"VOID":515},"77-108",{"id":517,"createTime":518,"updateTime":519,"relativeEntities":520,"slug":521,"properties":522,"entityType":81,"verifyStatus":17,"verifyTime":519,"verifyNote":248,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"primaryUrl":526,"fullTextUrl":18,"authors":527,"publicationType":102,"publisherRelationship":535,"citationCount":18,"citationInfo":18,"publishDate":556,"publishYear":557,"citationAnalyzeStatus":17,"lastCitationAnalyze":18,"indexDatabases":18,"openAccess":18,"references":18,"isForceReanalyzing":126},"e7222956-ceb8-4fac-944f-fb2cfc6a1e4c","2024-01-27T08:14:53.208+00:00","2025-01-02T21:12:25.630+00:00",[],"Preface",{"title":523,"doi":524},{"EN":521},{"VOID":525},"10.1016\u002FS0065-2458(08)60229-6","https:\u002F\u002Fwww.sciencedirect.com\u002Fscience\u002Farticle\u002Fpii\u002FS0065245808602296",[528],{"id":529,"sortIndex":19,"researcher":18,"roles":530,"affiliations":531,"properties":532},"10979670-d5ac-463c-8bfd-2aedbecdc033",[89],[],{"title":533},{"VI":534},"Marvin V. Zelkowitz",{"url":526,"publisher":536,"properties":551},{"id":6,"createTime":7,"updateTime":8,"relativeEntities":537,"slug":10,"properties":538,"entityType":16,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"subjectFields":541,"manageAffiliations":542,"indexDatabases":543,"url":18,"thumbnailPath":18,"statistic":18,"gsStatistic":18,"type":18,"analyzePriority":18},[],{"issn":539,"title":540},{"VOID":13},{"EN":15},[],[],[544],{"id":44,"indexDatabase":545,"url":57,"indexYears":58,"academicFieldIds":550,"indexDatabaseRanking":61},{"id":46,"createTime":47,"updateTime":48,"relativeEntities":546,"label":547,"description":548,"key":54,"publicationTags":549,"standard":18},[],{"EN":51,"VI":51},{"EN":51,"VI":53},[56],[60],{"volume":552,"pages":554},{"VOID":553},"41",{"VOID":555},"xi-xiii","1995-01-01",1995,{"id":559,"createTime":560,"updateTime":561,"relativeEntities":562,"slug":563,"properties":564,"entityType":81,"verifyStatus":82,"verifyTime":561,"verifyNote":83,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"primaryUrl":571,"fullTextUrl":18,"authors":572,"publicationType":102,"publisherRelationship":589,"citationCount":18,"citationInfo":18,"publishDate":610,"publishYear":611,"citationAnalyzeStatus":17,"lastCitationAnalyze":18,"indexDatabases":18,"openAccess":18,"references":18,"isForceReanalyzing":126},"7ae840a3-20e3-4862-a751-b4089cff16da","2023-11-27T11:20:03.891+00:00","2025-02-03T20:33:30.171+00:00",[],"Patterns-and-System-Development",{"references":565,"title":567,"doi":569},{"VOID":566},"Alexander, 1964\nAlexander, 1964\nAlfred, 1995, Observations on the Role of Patterns in Object-Oriented Software Development, OBJECT Magazine\nBooch, 1994, Designing an application framework, Dr Dobb's Journal, 10\nBooch, 1996\nBuschmann, 1996\nCoplien, 1992\nCoplien, J. (1994). Software Design Putterns: Common Questions and Answers, Posted Paper.\nCoplien, 1995\nFowler, 1996\nGabriel, 1996\nGamma, 1995\nGoldfedder, 1996, A training experience with patterns, Communications of the ACM, 39, 10.1145\u002F236156.236171\nJohnson, 1988, Designing reusable classes, Journal of Object-oriented Programming\nHow to Design Frameworks. OOPSLA 93 tutorial notes.\nLiskov, 1988, Data abstraction and hierachy, SIGPLAN Notices, 23, 10.1145\u002F62139.62141\nMcCarthy, 1995\nMeszaros, G., and Doble, J. (1996). MetaPatrerns: A Pattern Language For Pattern Writing, submission to PhoP-96 conference proceedings.\nOlson, (1995) D. Hands in View, Portland Pattern Repository, http:\u002F\u002Fwww.c2.com\u002Fppr\u002Findex.html.\nRumbaugh, 1991\nSoukup, 1995\nTaligent White Paper on Building Object-Oriented Frameworks, Taligent, Inc. 1994.\nJoyce Uggla CommonPoint Frameworks Take the Spotlight, 1995, Published in AIXpert May 95.\nViljamaa, 1995, The patterns business: impressions from PLOP-94, ACM Software Engineering Notes, 20, 10.1145\u002F225907.225917\nVlissides, J. (1995). Reverse architure. Position Paper Dagstuhl Seminar 9508.\nVlissides, J. (1996). To Kill a Singleton. C++ Report, June.\nZimrner, 1995, Relationships between design patterns",{"EN":568},"Patterns and System Development",{"VOID":570},"10.1016\u002Fs0065-2458(08)60669-5","https:\u002F\u002Fwww.sciencedirect.com\u002Fscience\u002Farticle\u002Fpii\u002FS0065245808606695",[573],{"id":574,"sortIndex":19,"researcher":18,"roles":575,"affiliations":576,"properties":586},"43e23eb3-5953-4886-bcc3-2bbb59a9c529",[89],[577],{"id":18,"sortIndex":19,"affiliation":578,"properties":18},{"id":579,"createTime":580,"updateTime":580,"relativeEntities":581,"slug":582,"properties":583,"entityType":39,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19},"9ad0ff9c-44fc-48e6-b980-442dcbbb7d2b","2023-11-27T11:20:03.896+00:00",[],"Emerging-Technologies-Consultants-Inc-Mt-Laurel-New-Jersey",{"title":584},{"VI":585},"Emerging Technologies Consultants Inc. Mt Laurel, New Jersey",{"title":587},{"VI":588},"Brandon Goldfedder",{"url":571,"publisher":590,"properties":605},{"id":6,"createTime":7,"updateTime":8,"relativeEntities":591,"slug":10,"properties":592,"entityType":16,"verifyStatus":17,"verifyTime":18,"verifyNote":18,"syncStatus":17,"languages":18,"translateLanguages":18,"viewCount":19,"subjectFields":595,"manageAffiliations":596,"indexDatabases":597,"url":18,"thumbnailPath":18,"statistic":18,"gsStatistic":18,"type":18,"analyzePriority":18},[],{"issn":593,"title":594},{"VOID":13},{"EN":15},[],[],[598],{"id":44,"indexDatabase":599,"url":57,"indexYears":58,"academicFieldIds":604,"indexDatabaseRanking":61},{"id":46,"createTime":47,"updateTime":48,"relativeEntities":600,"label":601,"description":602,"key":54,"publicationTags":603,"standard":18},[],{"EN":51,"VI":51},{"EN":51,"VI":53},[56],[60],{"volume":606,"pages":608},{"VOID":607},"47",{"VOID":609},"255-292","1998-01-01",1998]