Filters








9,927 Hits in 8.9 sec

A Comparison of the Reliability Growth of Open Source and In-House Software

Sharifah Mashita Syed-Mohamad, Tom McBride
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rcb326mbhzczfpvr26cau4pota" style="color: black;">2008 15th Asia-Pacific Software Engineering Conference</a> </i> &nbsp;
Thus, quality of open source software may vary. We examined defects reported in two active and popular open source software projects and an in-house project.  ...  As commercial developers have established processes to assure software quality, open source software depends largely on community usage and defect reporting to achieve some level of quality.  ...  The software quality highly depends on the post-delivery fault reporting and correction in contrast to close source software.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/apsec.2008.20">doi:10.1109/apsec.2008.20</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/apsec/Syed-MohamadM08.html">dblp:conf/apsec/Syed-MohamadM08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kuefk2fkizhlbawztdvjdu5cgm">fatcat:kuefk2fkizhlbawztdvjdu5cgm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922054324/https://opus.lib.uts.edu.au/bitstream/10453/10896/1/2007005359.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/07/7a/077a5f331cb33b4061abc7c956843fcd5c5cdbf7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/apsec.2008.20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

The Empirical Studies on Quality Benefits of Reusing Software Components

Jingyue Li, Anita Gupta, Jon Arvid, Borretzen Borretzen, Reidar Conradi
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6ymrafsxezalvknryjo7legj6e" style="color: black;">Computer Software and Applications Conference (COMPSAC) Proceedings of the IEEE International</a> </i> &nbsp;
We are going to compare the defects types, which are classified by ODC (Orthogonal Defect Classification), of the reusable component vs. the non-reusable components in several large and medium software  ...  The intention is to figure out which defects have been reduced because of reuse and the reasons of the reduction.  ...  Software modules reused without revision had the fewest faults, fewest faults per source line, and lowest fault correction effort.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/compsac.2007.211">doi:10.1109/compsac.2007.211</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/compsac/LiGBC07.html">dblp:conf/compsac/LiGBC07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pv5rg64tdnge7in7d3ij6mahje">fatcat:pv5rg64tdnge7in7d3ij6mahje</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200709120556/https://www.idi.ntnu.no/grupper/su/publ/li/quors07-li.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/89/e0/89e0f5dce098b778ec52e46cc83963d3df92cbf9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/compsac.2007.211"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Fault-Proneness of Open Source Software: Exploring its Relations to Internal Software Quality and Maintenance Process

Denis Kozlov
<span title="2013-02-22">2013</span> <i title="Bentham Science Publishers Ltd."> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lroz77uru5cbfpfr4m2go6e7ly" style="color: black;">The Open Software Engineering Journal</a> </i> &nbsp;
The goal of this study is to explore how fault-proneness of open source software (OSS) could be explained in terms of internal quality attributes and maintenance process metrics.  ...  Two external quality attributes contributing to fault-proneness were in turn obtained from the Source Forge Issue Tracking System.  ...  Sneed for providing us with the Soft Calc tool, which was essential for this research.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2174/1874107x01307010001">doi:10.2174/1874107x01307010001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pmssw5ivinanfbyqdhpmcoqe7m">fatcat:pmssw5ivinanfbyqdhpmcoqe7m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722060229/https://benthamopen.com/contents/pdf/TOSEJ/TOSEJ-7-1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/02/b1/02b1866851d60e3419f0efb556ada45a64e41c31.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2174/1874107x01307010001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Virtual Community Use for Packaged Software Maintenance

Helena Holmström, Brian Fitzgerald
<span title="">2006</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rup5b2sf7nhdpivurr7jhdybmu" style="color: black;">Journal of Organizational Computing and Electronic Commerce</a> </i> &nbsp;
Specifically, the virtual community allowed for quick discovery of bugs and a rich interaction between developers and customers in the categories of corrective and adaptive software maintenance.  ...  On the basis of an empirical study, we suggest that virtual communities can be usefully leveraged for corrective, adaptive, and perfective software maintenance.  ...  This process of software fault repair can be compared with the different automatic fault reporting systems that are included in many software products.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1207/s15327744joce1603&amp;4_10">doi:10.1207/s15327744joce1603&amp;4_10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tzmbjfd4ozemvdujgqnxwgedlm">fatcat:tzmbjfd4ozemvdujgqnxwgedlm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808090717/http://www.brian-fitzgerald.com/wp-content/uploads/2013/10/holmstrom_fitzgerald-2006.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/62/ab/62ab868064dfacef7b7ac078a49596f4c23c60e9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1207/s15327744joce1603&amp;4_10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Virtual Community Use for Packaged Software Maintenance

Helena Holmström, Brian Fitzgerald
<span title="">2006</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rup5b2sf7nhdpivurr7jhdybmu" style="color: black;">Journal of Organizational Computing and Electronic Commerce</a> </i> &nbsp;
Specifically, the virtual community allowed for quick discovery of bugs and a rich interaction between developers and customers in the categories of corrective and adaptive software maintenance.  ...  On the basis of an empirical study, we suggest that virtual communities can be usefully leveraged for corrective, adaptive, and perfective software maintenance.  ...  This process of software fault repair can be compared with the different automatic fault reporting systems that are included in many software products.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/10919392.2006.9681207">doi:10.1080/10919392.2006.9681207</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vonrt3wirrekpexlmlijjjc4fu">fatcat:vonrt3wirrekpexlmlijjjc4fu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808090717/http://www.brian-fitzgerald.com/wp-content/uploads/2013/10/holmstrom_fitzgerald-2006.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/62/ab/62ab868064dfacef7b7ac078a49596f4c23c60e9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/10919392.2006.9681207"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> tandfonline.com </button> </a>

An empirical investigation of software reuse benefits in a large telecom product

Parastoo Mohagheghi, Reidar Conradi
<span title="2008-06-01">2008</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7dwkv5m7lfbbpi6he2w2suk6b4" style="color: black;">ACM Transactions on Software Engineering and Methodology</a> </i> &nbsp;
This paper describes a case study on the benefits of software reuse in a large telecom product. The reused components were developed in-house and shared in a product-family approach. Methods.  ...  Reuse and standardization of software architecture and processes allowed easier transfer of development when organizational changes happened. Conclusions.  ...  We tested whether the distribution of TRs was different for pre-and post-delivery faults.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1363102.1363104">doi:10.1145/1363102.1363104</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3h7irr6mcban5ovb3tn6hkuupa">fatcat:3h7irr6mcban5ovb3tn6hkuupa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401115649/http://www.idi.ntnu.no/grupper/su/publ/parastoo/tosem-reusequal-8mar07.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fc/4c/fc4c67943aa142fdf98c9f91f04c78c557f49ae9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1363102.1363104"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A Cloud-Based Platform for Service Restoration in Active Distribution Grids

Maliheh Haghgoo, Alberto Dognini, Antonello Monti
<span title="">2022</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jjdhkunwcfgutfdfyuxrpnavke" style="color: black;">IEEE transactions on industry applications</a> </i> &nbsp;
The exemplary implementation of the demo is powered by FIWARE, which is based on open-source and customizable building blocks for future internet applications and services, and the SARGON ontology for  ...  In modern distribution grids, the access to the growing amount of data from various sources, the execution of complex algorithms on-demand, and the control of sparse actuators require on-demand scalability  ...  ACKNOWLEDGEMENT This work was supported by the project HYPERRIDE, funded by the European Union's Horizon 2020 research and innovation programme under Grant Agreement No. 957788.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tia.2022.3142661">doi:10.1109/tia.2022.3142661</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4waqrllyo5cdbidatd74fgktvu">fatcat:4waqrllyo5cdbidatd74fgktvu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220118113915/https://ieeexplore.ieee.org/ielx7/28/4957013/09681180.pdf?tp=&amp;arnumber=9681180&amp;isnumber=4957013&amp;ref=" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6f/04/6f043259f93fb57bf37f81bc639f9bb587c1bf7e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tia.2022.3142661"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> ieee.com </button> </a>

An empirical evaluation of fault-proneness models

Giovanni Denaro, Mauro Pezzè
<span title="">2002</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wvv27s77dvd5flktsj246kcxwu" style="color: black;">Proceedings of the 24th international conference on Software engineering - ICSE &#39;02</a> </i> &nbsp;
This paper reports an empirical study of the validity of multivariate models for predicting software fault-proneness across different applications.  ...  The possibility of early estimating the potential faultiness of software could be of great help for planning and executing testing activities.  ...  ACKNOWLEDGMENTS We would like to thank Sandro Morasca for the fruitful discussions and suggestions, Andrea Brambilla for contributing to the execution of the experiments, Roy Fielding and Apache.org for  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/581339.581371">doi:10.1145/581339.581371</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icse/DenaroP02.html">dblp:conf/icse/DenaroP02</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/edqz4y37tjgi5jge5bpgtczvce">fatcat:edqz4y37tjgi5jge5bpgtczvce</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070106185934/http://www.lta.disco.unimib.it:80/homepage/giovanni.denaro/papers/icse2002.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/da/f4/daf4ce71c25dd94f824f0c6de840d06a7fc59678.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/581339.581371"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

An empirical evaluation of fault-proneness models

Giovanni Denaro, Mauro Pezzè
<span title="">2002</span> <i title="ACM Press"> Proceedings of the 24th international conference on Software engineering - ICSE &#39;02 </i> &nbsp;
This paper reports an empirical study of the validity of multivariate models for predicting software fault-proneness across different applications.  ...  The possibility of early estimating the potential faultiness of software could be of great help for planning and executing testing activities.  ...  ACKNOWLEDGMENTS We would like to thank Sandro Morasca for the fruitful discussions and suggestions, Andrea Brambilla for contributing to the execution of the experiments, Roy Fielding and Apache.org for  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/581368.581371">doi:10.1145/581368.581371</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ktnvzmrfkbfjzkbyb2dvhv2hni">fatcat:ktnvzmrfkbfjzkbyb2dvhv2hni</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070106185934/http://www.lta.disco.unimib.it:80/homepage/giovanni.denaro/papers/icse2002.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/da/f4/daf4ce71c25dd94f824f0c6de840d06a7fc59678.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/581368.581371"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

The Quality of Open Source Software [chapter]

<span title="2005-06-09">2005</span> <i title="Auerbach Publications"> The ROI from Software Quality </i> &nbsp;
Open source software is a process by which we can produce cheap and qualitative software and its source could be re-use in the development of the software.  ...  This thesis deals with the quality of open source software (OSS for short) and different questions that are related with open source and close source software has discussed in the thesis proposal.  ...  The results of the evaluation and comparison of open source and closed source software could be of interest both to academia and industry.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/9780849332982.ch11">doi:10.1201/9780849332982.ch11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l6cbwzd7gzbdbf5ccalk2tbgfm">fatcat:l6cbwzd7gzbdbf5ccalk2tbgfm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922021633/http://bth.diva-portal.org/smash/get/diva2:828415/FULLTEXT01" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fa/66/fa66ca5f159fe104d7148f4c3d7be141395bf149.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/9780849332982.ch11"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Open Incremental Model A Open Source Software Development Life Cycle Model 'OSDLC'

Sourav Mandal, Shyamalendu Kandar, Palash Ray
<span title="2011-05-31">2011</span> <i title="Foundation of Computer Science"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/b637noqf3vhmhjevdfk3h5pdsu" style="color: black;">International Journal of Computer Applications</a> </i> &nbsp;
In this context we shall discuss mainly the features of Open Source Software, Existing Open Source Software development models and our proposed model named open incremental model.  ...  A group of people in a collaborative manner often developes the Open source software, not under the roof of a large organization.  ...  , spiral [4, 5] In this paper Section 2 describes the features of Open Source Software, Section 3 describes some existing open source software development model, Section 4 describes proposed Open Incremental  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5120/2473-3327">doi:10.5120/2473-3327</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l7qyi4u2vngbzl76moa6klunvq">fatcat:l7qyi4u2vngbzl76moa6klunvq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809124213/http://www.ijcaonline.org/volume21/number1/pxc3873327.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/30/0f/300f47348706162415fcc84bab03cd7facbed651.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5120/2473-3327"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Towards the Verifying Compiler [chapter]

Tony Hoare
<span title="">2003</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
And the idea of writing the assertions even before writing the program was propounded in 1968 by Edsger Dijkstra in an article on a Constructive Approach to the Problem of Program Correctness.  ...  It can in principle or in practice be evaluated by the computer, whenever control reaches that point in the program. If an assertion ever evaluates to false, the program is by definition incorrect.  ...  Acknowledgments also to all my colleagues in Oxford and many other Universities, who have explored with me the theory of programming and the practice of software engineering.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-40007-3_10">doi:10.1007/978-3-540-40007-3_10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pa2e7qkhqzd6rploynwxbjaff4">fatcat:pa2e7qkhqzd6rploynwxbjaff4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040729114852/http://www.macs.hw.ac.uk:80/~air/student-projects/verifying-compiler-carh.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/09/29/0929d166e501ac683f89c58f8c7bff9bace26cdd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-40007-3_10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

How to Obtain Common Criteria Certification of Smart TV for Home IoT Security and Reliability

Sooyoung Kang, Seungjoo Kim
<span title="2017-10-17">2017</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nzoj5rayr5hutlurimhzyjlory" style="color: black;">Symmetry</a> </i> &nbsp;
This article describes our experience with the certification process and examines several security and reliability aspects of Smart TVs.  ...  In April 2017, we (with LG electronics) received the 'world-first' Common Criteria EAL2 (Evaluation Assurance Level 2) certification for Smart TVs.  ...  Author Contributions: Sooyoung Kang: Research for related works, Smart TV analysis, write evaluation submissions, CC certification acquisition, and drafting of the article.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/sym9100233">doi:10.3390/sym9100233</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uwhvcqt7abbxlo4pujtqwnaxji">fatcat:uwhvcqt7abbxlo4pujtqwnaxji</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190305005541/http://pdfs.semanticscholar.org/cce8/f056d520627f6064352434b3d431d96b827c.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/cc/e8/cce8f056d520627f6064352434b3d431d96b827c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/sym9100233"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

Software-Based Failure Detection and Recovery in Programmable Network Interfaces

Yizheng Zhou, Vijay Lakamraju, Israel Koren, C. M. Krishna
<span title="">2007</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ll6bfs5o6bahfinh3u5z2cnyoy" style="color: black;">IEEE Transactions on Parallel and Distributed Systems</a> </i> &nbsp;
The proposed self-testing scheme achieves failure detection by periodically directing the control flow to go through only active software modules in order to detect errors that affect instructions in the  ...  In this paper, we present an effective low-overhead fault-tolerant technique to recover from network interface failures.  ...  ACKNOWLEDGMENTS This work has been supported in part by a grant from a joint US National Science Foundation (NSF) and NASA program on Highly Dependable Computing (NSF Grant CCR-0234363 and NASA Grant NNA04C158A  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tpds.2007.1093">doi:10.1109/tpds.2007.1093</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/utvfz7aaonfcbmodwjjwuai2ua">fatcat:utvfz7aaonfcbmodwjjwuai2ua</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829194145/http://euler.ecs.umass.edu/research/zlkk-tpds-2007.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/65/93/65933c3fec05e3a6b22477eb120311f6d61e111f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tpds.2007.1093"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Towards the Verifying Compiler [chapter]

Tony Hoare
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Acknowledgments also to all my colleagues in Oxford and many other Universities, who have explored with me the theory of programming and the practice of software engineering.  ...  In my present role as Senior Researcher in Microsoft Research, I have the extraordinary privilege of witnessing and maybe even slightly contributing to the convergence of academic and industrial developments  ...  Fortunately, the goal of the project is closely aligned with the ideals of the open source movement, which seeks to improve quality by contributions from many workers in the field.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-39993-3_8">doi:10.1007/978-3-540-39993-3_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6jbnjccfyndhnn5dd57ee7kysy">fatcat:6jbnjccfyndhnn5dd57ee7kysy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040729114852/http://www.macs.hw.ac.uk:80/~air/student-projects/verifying-compiler-carh.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/09/29/0929d166e501ac683f89c58f8c7bff9bace26cdd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-39993-3_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 9,927 results