Filters








3,199 Hits in 8.3 sec

Secure systems development based on the common criteria

Monika Vetterling, Guido Wimmel, Alexander Wisspeintner
<span title="">2002</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT &#39;02/FSE 10</a> </i> &nbsp;
For modelling and verification of critical parts of the system, we use formal description techniques and model checking (supported by the graphical CASE tool AutoFocus), which increases both the understanding  ...  The Common Criteria (CC) is the standard requirements catalogue for the evaluation of security critical systems.  ...  ACKNOWLEDGEMENTS We thank Oscar Slotosch for initiating the PalME project and for his valuable comments on this article.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/587051.587071">doi:10.1145/587051.587071</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/VetterlingWW02.html">dblp:conf/sigsoft/VetterlingWW02</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6qzh5tiygfft3ircu44pdz2u7m">fatcat:6qzh5tiygfft3ircu44pdz2u7m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218010905/https://static.aminer.org/pdf/20170130/pdfs/sigsoft/kzjthsywcwqfkob472g8jmnnxdfp3pii.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/b7/d6/b7d651fba496afaadd56a18b196620c7126c5793.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/587051.587071"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

D6.1 STANDARDIZATION PLAN

Olga Radchuk
<span title="2021-04-21">2021</span> <i title="Zenodo"> Zenodo </i> &nbsp;
The Standardization Plan outlines the standardization roadmap for application of the Digital Twin concept in building and construction sector, based on the investigation of the standardization landscape  ...  , the standardization gaps identified using an online survey, and on the standardization needs of ASHVIN consortium partners.  ...  Eurocodes for design Load tests for bridges It specifies the requirements for the hardware to perform the tasks within a building automation and control system (BACS).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.4707097">doi:10.5281/zenodo.4707097</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nenknyfprfg6ni4xfbkzwbxk5q">fatcat:nenknyfprfg6ni4xfbkzwbxk5q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210423183656/https://zenodo.org/record/4707097/files/Ashvin%20D6.1%20Standardization%20Plan.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/55/30/5530988b4544309eb0ee16c1a5ed7cdb81b0860a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.4707097"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

EsPRit: ethics committee proposals for Long Term Medical Data Registries in rapidly evolving research fields - a future-proof best practice approach

S. Oberbichler, W. O. Hackl, A. Hörbst
<span title="2017-10-18">2017</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bnylrk2y7bfnrn7u2f2vjkx7ta" style="color: black;">BMC Medical Informatics and Decision Making</a> </i> &nbsp;
The proposed best practice was tested and refined within SEMPER (Secondary Malignoma -Prospective Evaluation of the Radiotherapeutics dose distribution as the cause for induction) as a case study.  ...  Here, we derived the needed steps from medical product certification.  ...  Acknowledgments The authors thank the reviewers for their valuable comments to improve the quality of the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/s12911-017-0539-9">doi:10.1186/s12911-017-0539-9</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/29047394">pmid:29047394</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC5648439/">pmcid:PMC5648439</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nxjd22p2mjgcdcgnbyxbrknlpm">fatcat:nxjd22p2mjgcdcgnbyxbrknlpm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721201052/https://bmcmedinformdecismak.biomedcentral.com/track/pdf/10.1186/s12911-017-0539-9?site=bmcmedinformdecismak.biomedcentral.com" 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/e2/c3/e2c3bcf188ead920ae217f1a9ff97f516fcb0602.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/s12911-017-0539-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5648439" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Intellectual Property in collaborative projects: navigating the maze

Puay Tang, Jordi Molas Gallart
<span title="">2009</span> <i title="Inderscience Publishers"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/v7ncfi7nwfhxndhz7fmf7iiorm" style="color: black;">International Journal of Technology Management</a> </i> &nbsp;
and maintenance of complex products.  ...  This article analyses the use of IT tools in the management of Intellectual Property in collaborative projects involving groups of firms and their customer organisations in the design, development, manufacture  ...  Convergence of product and process data An effect of the use of IT in systems design is the confluence of product and process data within the same data sets.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1504/ijtm.2009.024435">doi:10.1504/ijtm.2009.024435</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2ei2lii4dbhmtjr6vt3q7jjlou">fatcat:2ei2lii4dbhmtjr6vt3q7jjlou</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170818015129/http://digital.csic.es/bitstream/10261/10177/1/Jordi%20Molas%20DRUID.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/4b/9b/4b9bb171cad282d925f4c60e3aa2a7475aebab7f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1504/ijtm.2009.024435"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Comprehensive Measurement Framework for Enterprise Architectures

Mahesh R Dube, Shantanu K. Dixit
<span title="2011-08-30">2011</span> <i title="Academy and Industry Research Collaboration Center (AIRCC)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/plyx54ayrbefvje4gawexbdyty" style="color: black;">International Journal of Computer Science &amp; Information Technology (IJCSIT)</a> </i> &nbsp;
Project-specific Architecture defines the form and function of the systems in a project or program, within the context of the enterprise as a whole with broad scope and business alignments.  ...  Enterprise Architecture defines the overall form and function of systems across an enterprise involving the stakeholders and providing a framework, standards and guidelines for project-specific architectures  ...  solution which is feasible with formal representations. • Standards: It refers to all standards, guidelines, and best practices.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5121/ijcsit.2011.3406">doi:10.5121/ijcsit.2011.3406</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q65f77einnfxjfc7xrvdbq5yem">fatcat:q65f77einnfxjfc7xrvdbq5yem</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190309103851/http://pdfs.semanticscholar.org/f7f8/9fafd798978be7d15aeae4e8ba2b0099ccb2.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/f7/f8/f7f89fafd798978be7d15aeae4e8ba2b0099ccb2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5121/ijcsit.2011.3406"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

SUPPORTING ELECTRONIC COMMERCE TRANSACTIONS WITH CONTRACTING SERVICES

MICHAEL MERZ, FRANK GRIFFEL, TUAN TU, STEFAN MÜLLER-WILKEN, HARALD WEINREICH, MARKO BOGER, WINFRIED LAMERSDORF
<span title="">1998</span> <i title="World Scientific Pub Co Pte Lt"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q2xyze24f5foxnc5ctxcvr2ai4" style="color: black;">International Journal of Cooperative Information Systems</a> </i> &nbsp;
Among these are: negotiation protocols to support both the settlement and the ful llment of electronic contracts as well as ad-hoc work ow management support for compound and distributed services in electronic  ...  As electronic transcations enter the phase of performance, increasingly new and important functions are required.  ...  Acknowledgements The projects that led to the work presented here are funded by the European Commission Esprit Project 26850 and the German Research Council DFG Project La1061 11.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1142/s021884309800012x">doi:10.1142/s021884309800012x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xkyxsflwy5ejtg6tdxtl4n5ilu">fatcat:xkyxsflwy5ejtg6tdxtl4n5ilu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20051030063552/http://vsis-www.informatik.uni-hamburg.de:80/getDoc.php/publications/47/ijcis.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/61/67/616793fa889d8d735fdca4fabed67b0c287b1a32.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1142/s021884309800012x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> worldscientific.com </button> </a>

A Knowledge Representation Formalism for Semantic Business Process Management [chapter]

Ermelinda Oro, Massimo Ruffolo
<span title="2012-05-09">2012</span> <i title="InTech"> Advances in Knowledge Representation </i> &nbsp;
of the business processes, that are cause of risks and of poor performances. 4.  ...  Analyzing acquired business process instances, by means of querying and inference capabilities, in order to recognize errors and risks for the process and the whole organization.  ...  parameters, and (ii) automatic execution by means of the enactment of an already designed process schema (e.g. guidelines execution).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/38421">doi:10.5772/38421</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/askeympawfez3hjnppgt3cam2m">fatcat:askeympawfez3hjnppgt3cam2m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501051312/https://api.intechopen.com/chapter/pdf-download/36662" 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/fe/27/fe2773cfab11efd6aff4a79c55409d5a74b77173.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/38421"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

New Opportunities for Integrated Formal Methods [article]

Mario Gleirscher, Simon Foster, Jim Woodcock
<span title="2019-06-11">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
From the perspective of the assurance of robots and autonomous systems (RAS), we highlight new opportunities for integrated formal methods and identify threats to the adoption of such methods.  ...  In this article, we summarise known strengths and weaknesses of formal methods.  ...  Acknowledgements: We would like to thank Michael Butler, Ana Cavalcanti, John Fitzgerald, Cliff Jones, and Peter Gorm Larsen for very helpful feedback and discussions on the direction of this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1812.10103v3">arXiv:1812.10103v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rh3fcilrubfpje6k2sjdilg4ba">fatcat:rh3fcilrubfpje6k2sjdilg4ba</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200906152826/https://arxiv.org/pdf/1812.10103v3.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/88/cc8895a75ae9b0baa8ffa0b6d26db08703f60cfd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1812.10103v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Extended producer responsibility in a non-OECD context: The management of waste electrical and electronic equipment in India

Panate Manomaivibool
<span title="">2009</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/r54je27fhbexlmqhanbemzi274" style="color: black;">Resources, Conservation and Recycling</a> </i> &nbsp;
When considering scope, most systems cover all components, subassemblies and consumables of respective EEE, but exempt equipment which is designed specifi cally as a part of another product, e.g.  ...  Currently, the scope of the schemes is limited to functional and highvalue used products.  ...  Section 3: EPR programme for electrical and electronic products 41 Are there product standards restricting the use of certain hazardous substances with a comprehensive scope, at least equal to those in  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.resconrec.2008.10.003">doi:10.1016/j.resconrec.2008.10.003</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zvfodlbrpfggvokyac3okwd5nu">fatcat:zvfodlbrpfggvokyac3okwd5nu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922145043/http://lup.lub.lu.se/search/ws/files/5524790/1270000.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/90/79/907911fae4a4c69106bd758c3686d5e4b93bffa1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.resconrec.2008.10.003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Holistic competency development and the significance of learning domains in audiovisual archiving education

Karen F. Gracy, Kiersten F. Latham, Tim Gorichanaz
<span title="2018-08-28">2018</span> <i title="IOS Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q3vhypuswbhjvcgujhlztjkhga" style="color: black;">Education for Information</a> </i> &nbsp;
This paper also makes the case for the design of a field-wide competency framework that accurately reflects the roles of the three learning domains and makes them equally essential for professional preparation  ...  in favor of development of cognitive competencies.  ...  Acknowledgments The author would like to acknowledge the support and wisdom of members of the Audiovisual Competency Framework Working Group and members of the Association of Moving Image Archivists, particularly  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/efi-189006">doi:10.3233/efi-189006</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/54lpheyhbff7xitzsa3ydotola">fatcat:54lpheyhbff7xitzsa3ydotola</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190429162140/https://content.iospress.com/download/education-for-information/efi189006?id=education-for-information%2Fefi189006" 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/b8/02b8c60e8dd9994095856cc1cc0c10507590ae2c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/efi-189006"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A Transparency Maturity Model for Government Software Tenders

Jorge Hochstetter, Carla Vairetti, Carlos Cares, Mauricio Garcia, Sebastian Maldonado
<span title="">2021</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q7qi7j4ckfac7ehf3mjbso4hne" style="color: black;">IEEE Access</a> </i> &nbsp;
We have used a procedural model to support the design of maturity models along four dimensions: Institutionalization, Software procurement process, Communication, and Accountability.  ...  We have defined a five-step model, and we have tested it with real government buyers.  ...  The steps of this sub-phase are: "select design level", "select approach", "designing the model section", and "testing the results", which should be iterated by each maturity level.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2021.3067217">doi:10.1109/access.2021.3067217</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4jd57nk6zfci7p2yp22zbfxaky">fatcat:4jd57nk6zfci7p2yp22zbfxaky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210717182910/https://ieeexplore.ieee.org/ielx7/6287639/6514899/09381194.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/0c/3a/0c3a26037bcc1d2526cbc1b267fad5f43d6f42cd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2021.3067217"> <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>

Combining business process and failure modelling to increase yield in electronics manufacturing

D M Segura Velandia, P P Conway, R P Monfared, A A West
<span title="2010-06-23">2010</span> <i title="SAGE Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mnj5xjdk6bghjdsjwjvly7ifry" style="color: black;">Proceedings of the Institution of mechanical engineers. Part B, journal of engineering manufacture</a> </i> &nbsp;
This work was supported financially by the IeMRC DISCOVER grant, SP/05/01/02 and DTI CLOVES grant, TP/3/DSM/6/I/16333.  ...  ACKNOWLEDGEMENTS The authors wish to express their gratitude to the industrial collaborators.  ...  Therefore a prototype software application was developed as a proof-of-concept and was implemented within the collaborator's site to examine the concept of change capability and the reengineering process  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1243/09544054jem1794">doi:10.1243/09544054jem1794</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/flvpo6shwrc3dhnsyu74yefe7y">fatcat:flvpo6shwrc3dhnsyu74yefe7y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190322082910/https://core.ac.uk/download/pdf/78908586.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/6d/b2/6db207be619b99182eeff708e285407a726c434b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1243/09544054jem1794"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

D2.1_Mirri_Compilation Report On Outputs

R. Aznar, M. Fischer-Le Saux, E. Garay, D. Janssens, V. Piessens, C. Varese, A. Zuzuarregui
<span title="2014-05-30">2014</span> <i title="Zenodo"> Zenodo </i> &nbsp;
The design of MIRRI should be in accordance with the needs of the different user communities (academics, profit sector).  ...  To design the "Microbial Resource Research distributed Infrastructure", henceforth MIRRI, the resource providers and users have been consulted through four questionnaires ad hoc designed.  ...  ); MALDI-TOF; Polar lipids; Metabolite production; Enzyme production; Pathogenicity tests; Antibiotic sensitivity tests; -omics; Screening for specific properties; Consultancy; Training; Other (specify  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.49678">doi:10.5281/zenodo.49678</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cbvnd4mxfjaf7pokgwdxpernom">fatcat:cbvnd4mxfjaf7pokgwdxpernom</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321175316/https://zenodo.org/record/49678/files/Deliverable_2.1_MIRRI.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/27/6f/276f8c8ad1bffa0b89846e4f1d8c1b99cf03fecb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.49678"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

Criteria for Choosing Representation Languages and Control Regimes for Expert Systems

Han Reichgelt, Frank van Harmelen
<span title="">1984</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ppliiwuwhjhjzdhxr5qnaaqsyi" style="color: black;">Knowledge engineering review (Print)</a> </i> &nbsp;
The guidelines should be based on properties of the task and the domain of the expert system.  ...  We conclude that a variety of knowledge representation formalisms and a variety of controls regimes are needed.  ...  We would like to thank Maarten van Someren, Peter Jackson and John Fox for their comments on an earlier version of the paper, as well as our industrial collaborators at GEC Research.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s026988890000062x">doi:10.1017/s026988890000062x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aduez2jglbhpdkxvqynkrbciaa">fatcat:aduez2jglbhpdkxvqynkrbciaa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811072744/http://www.cs.vu.nl/~frankh/postscript/KER86.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/61/38/6138fe132eb7e134eb26f1bbff9f0c41e60ac1e7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s026988890000062x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

Trusted Product Lines

Stuart Hutchesson, John McDermid
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/43ycbq2sebfnzi23a5qkxwni2y" style="color: black;">Information and Software Technology</a> </i> &nbsp;
Design of model transformations that can automatically instantiate products from a set of components hosted within the reference architecture. 4.  ...  The "Trusted Product Lines" approach, as described within the thesis, shows how product line approaches can be applied to high-integrity software development, and how certification evidence created and  ...  The idea of using formal specifications and performing proof of behavioural correctness of transformed components was postulated, but a fully worked out demonstration of this was beyond the scope of this  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.infsof.2012.06.005">doi:10.1016/j.infsof.2012.06.005</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6amzpscfkzacphzgxz6xboudea">fatcat:6amzpscfkzacphzgxz6xboudea</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808085126/http://etheses.whiterose.ac.uk/3941/1/Stuart_Hutchesson_PhD_Thesis_-_Trusted_Product_Lines_-_Final_Verison.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/0f/a7/0fa71ba0e4f84213821a186ee40a220e910bbf7a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.infsof.2012.06.005"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 3,199 results