Filters








245 Hits in 3.2 sec

Lem

Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell
<span title="2014-08-19">2014</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
We introduce Lem, a language for engineering reusable largescale semantic models.  ...  Recent years have seen remarkable successes in rigorous engineering: using mathematically rigorous semantic models (not just idealised calculi) of real-world processors, programming languages, protocols  ...  the users of Lem for their feedback.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2692915.2628143">doi:10.1145/2692915.2628143</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hk5t5bloa5b6bjdcq3fw2jtmqu">fatcat:hk5t5bloa5b6bjdcq3fw2jtmqu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160127143355/http://www.cl.cam.ac.uk:80/~pes20/lem/built-doc/lem-icfp-2014.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/a8/ee/a8ee6e4d07aeff60292605c6404785b8a170d02a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2692915.2628143"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Lem

Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP &#39;14</a> </i> &nbsp;
We introduce Lem, a language for engineering reusable largescale semantic models.  ...  Recent years have seen remarkable successes in rigorous engineering: using mathematically rigorous semantic models (not just idealised calculi) of real-world processors, programming languages, protocols  ...  the users of Lem for their feedback.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2628136.2628143">doi:10.1145/2628136.2628143</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/MulliganOGRS14.html">dblp:conf/icfp/MulliganOGRS14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jsndgoc5krcf7gd5scjm4h673u">fatcat:jsndgoc5krcf7gd5scjm4h673u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160127143355/http://www.cl.cam.ac.uk:80/~pes20/lem/built-doc/lem-icfp-2014.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/a8/ee/a8ee6e4d07aeff60292605c6404785b8a170d02a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2628136.2628143"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Bookshelf

<span title="">2011</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dsrvu6bllzai7oj3hktnc5yf4q" style="color: black;">Computer</a> </i> &nbsp;
The authors provide concrete examples of cyber attacks and offer real-world guidance on how to identify threats and defend networks against malicious attacks, offering an insider's point of view that details  ...  Focused on developing useful and reusable models, this book explains how to build semantic content and applications that access that content.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mc.2011.272">doi:10.1109/mc.2011.272</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h4nswcmtajexzaxx72svdozx4u">fatcat:h4nswcmtajexzaxx72svdozx4u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150924000504/http://ieeexplore.ieee.org/ielx5/2/6017158/06017175.pdf?tp=&amp;arnumber=6017175&amp;isnumber=6017158" 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/35/77/35779cbfad931fd72b8eef4cefb59b4e70d31201.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mc.2011.272"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

FEther: An Extensible Definitional Interpreter for Smart-contract Verifications in Coq [article]

Zheng Yang, Hang Lei
<span title="2018-10-19">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
It supports almost all semantics of the Solidity programing language, and simultaneously executes multiple types of symbols.  ...  This article completes the FSPVM-E by developing its proof engine.  ...  Acknowledgement The authors acknowledge the kind help of Marisa, and Enago for linguistic assistance during the preparation of this manuscript.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1810.04828v2">arXiv:1810.04828v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3dd2dfdnzfhi3lgmgnr45aenpe">fatcat:3dd2dfdnzfhi3lgmgnr45aenpe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200825105043/https://arxiv.org/ftp/arxiv/papers/1810/1810.04828.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/75/cf/75cf6e01e6f19197f34ef03b95cd3f40eb18965c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1810.04828v2" 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>

FEther: An Extensible Definitional Interpreter for Smart-contract Verifications in Coq

Zheng Yang, Hang Lei
<span title="">2019</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;
To improve the theorem-proving technology in this field, we are developing an extensible hybrid verification proof engine, denoted as FEther, for Ethereum smart contract verification.  ...  To the best of our knowledge, FEther is the first definitional interpreter of the solidity language in Coq.  ...  ACKNOWLEDGMENTS The authors wish to thank Marisa for the kind assistance in the verification of this experiment, and Enago for its linguistic assistance during the preparation of this manuscript.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2019.2905428">doi:10.1109/access.2019.2905428</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nk6aovwwuzdojj7uzsjsruk6qu">fatcat:nk6aovwwuzdojj7uzsjsruk6qu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210429053144/https://ieeexplore.ieee.org/ielx7/6287639/8600701/08667810.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/4d/60/4d608cd3f8821c60cd1c088092d44fb10308bfe1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2019.2905428"> <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>

Life-event modelling framework for e-government integration

Farzad Sanati, Jie Lu
<span title="">2010</span> <i title="Inderscience Publishers"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pm2rvbnorbch3obbyoxvcih6he" style="color: black;">Electronic Government, an International Journal</a> </i> &nbsp;
This study found that methodological mechanics of service integration and in particular the requirements engineering for composite services has been overlooked.  ...  Purpose of this study is to define obstacles of achieving e-government service delivery integration, and suggests a framework based on ontological analysis and modelling.  ...  Workshop on Electronic Commerce, Agents, and Semantic Web Services held in conjunction  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1504/eg.2010.030927">doi:10.1504/eg.2010.030927</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/svj6e2lgyredbcf63prpjhtwwq">fatcat:svj6e2lgyredbcf63prpjhtwwq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829111308/https://static.aminer.org/pdf/PDF/000/248/990/examining_the_impacts_of_institutional_framework_on_e_government_infrastructures.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/3a/88/3a88a8e21525d8818427797dd375894e55bae0d2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1504/eg.2010.030927"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Modeling domain knowledge using explicit conceptualization

A. Abu-Hanna, W. Jansweijer
<span title="">1994</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wplsziqykfb5log2ee4r5rlk6e" style="color: black;">IEEE Expert</a> </i> &nbsp;
Acknowledgments We thank Richard Benjamins and Bob Wielinga for their contributions to this work and Gertjan van Heijst and Remco Stmatman for comments on earlier drafts of this article.  ...  A model is a description of a world that might be the real world or an abstract world (such as another model). It consists of statements in some language that follows a defined syntax.  ...  A model is a description of a world that might be the real world or an abstract world (such as another model). It consists of statements in some language that follows a defined syntax.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/64.331490">doi:10.1109/64.331490</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7oedzzp6nnduphnwrjhwmcovxy">fatcat:7oedzzp6nnduphnwrjhwmcovxy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719075327/https://pure.uva.nl/ws/files/2935646/187_x5053.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/10/e9/10e9062e8aab6542be82ba736cc2859b8f7329dd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/64.331490"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Requirements for software engineering languages

<span title="">1985</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/md2ierut4nak5ociupgnvel2oa" style="color: black;">Decision Support Systems</a> </i> &nbsp;
The purpose of the analysis is to help researchers under stand Draco better and thus be able to direct in productive directions future research on this type of software engineering tool.  ...  This paper analyzes the concepts of software construction embodied in the Draco system.  ...  their capture of real-world I knowledge.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0167-9236(85)90189-7">doi:10.1016/0167-9236(85)90189-7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ygy6wfif3zhlfhczjidok6kqqa">fatcat:ygy6wfif3zhlfhczjidok6kqqa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200505010107/https://escholarship.org/content/qt74c044t3/qt74c044t3.pdf?t=q67ep6" 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/8f/5d/8f5d3cc25ee35e817e4e8bdaa37d0defba2d9378.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0167-9236(85)90189-7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts [article]

Zheng Yang, Hang Lei, Weizhong Qian
<span title="2020-01-23">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The four primary components of FSPVM-E include a general, extensible, and reusable formal memory framework, an extensible and universal formal intermediate programming language denoted as Lolisa, which  ...  The self-correctness of all components is certified in Coq.  ...  Acknowledgment The authors wish to thank Marisa and Zisheng Wang for their kind assistance and LetPub (www.letpub.com) for its linguistic assistance during the preparation of this manuscript.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1902.08726v3">arXiv:1902.08726v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3ataiuex5jdaxpzz5uv4w6eqru">fatcat:3ataiuex5jdaxpzz5uv4w6eqru</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321054103/https://arxiv.org/ftp/arxiv/papers/1902/1902.08726.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] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1902.08726v3" 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>

Optimization of Executable Formal Interpreters developed in Higher-order Theorem Proving Systems [article]

Zheng Yang, Hang Lei
<span title="2018-08-26">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
smart contracts developed in the Ethereum blockchain system without suffering the standard issues surrounding reusability, consistency, and automation.  ...  A specific FSPVM, denoted as FSPVM-E, was developed in Coq based on a general, extensible, and reusable formal memory (GERM) framework, an extensible and universal formal intermediate programming language  ...  conducted in Lem [17] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1808.08511v1">arXiv:1808.08511v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b3guwu4jhnaqpikwqm4cho7oj4">fatcat:b3guwu4jhnaqpikwqm4cho7oj4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191024233233/https://arxiv.org/pdf/1808.08511v1.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/c6/84/c68406377322092fde774c0483a9645a3c69bd56.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1808.08511v1" 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>

Federated Semantic Data Management (Dagstuhl Seminar 17262)

Olaf Hartig, Maria-Esther Vidal, Johann-Christoph Freytag, Marc Herbstritt
<span title="2017-12-21">2017</span> <i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a> </i> &nbsp;
This report documents the program and the outcomes of Dagstuhl Seminar 17262 "Federated Semantic Data Management" (FSDM).  ...  The purpose of the seminar was to gather experts from the Semantic Web and Database communities, together with experts from application areas, to discuss in-depth open issues that have impeded FSDM approaches  ...  solutions to the problems of federated semantic data management (FSDM), which prevents the development of real-world applications on top of Semantic Web technologies.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.7.6.135">doi:10.4230/dagrep.7.6.135</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/HartigVF17.html">dblp:journals/dagstuhl-reports/HartigVF17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a7uvfkbt3bczldr54aikx3e274">fatcat:a7uvfkbt3bczldr54aikx3e274</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220123034339/https://drops.dagstuhl.de/opus/volltexte/2017/8289/pdf/dagrep_v007_i006_p135_17262.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/4a/094a9a3f19516c48d1213522e97d141f51658530.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.7.6.135"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts

Zheng Yang, Hang Lei, Weizhong Qian
<span title="">2020</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;
The four primary components of FSPVM-E include a general, extensible, and reusable formal memory framework, an extensible and universal formal intermediate programming language denoted as Lolisa, which  ...  The self-correctness of all components is certified in Coq.  ...  Wang for their kind assistance and LetPub (www.letpub.com) for its linguistic assistance during the preparation of this manuscript.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2020.2969437">doi:10.1109/access.2020.2969437</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6gtos6qj5fc7jou2gvpqskgnli">fatcat:6gtos6qj5fc7jou2gvpqskgnli</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201103062216/https://ieeexplore.ieee.org/ielx7/6287639/8948470/08970279.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/23/dc/23dc932eab0a30d4970e5910399915f6e70dfb68.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2020.2969437"> <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>

Reusability and adaptability of interactive resources in Web-based educational systems

Abdulmotaleb El Saddik, Stephan Fischer, Ralf Steinmetz
<span title="2001-03-01">2001</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7ze6im4b6zehlhbmgp5hvjuxea" style="color: black;">Journal on Educational Resources in Computing</a> </i> &nbsp;
Reusability can be triggered by a combination of reusable multimedia components and the appropriate use of metadata to control the components as well as their combination.  ...  Hence, optimizing production by exploiting the reusability of interactive multimedia elements is mandatory.  ...  [Lagoze 1996 ], and to other activities of the World Wide Web Consortium.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/376697.376699">doi:10.1145/376697.376699</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4ouajlkh3rbpnjldxtm6hzjhlm">fatcat:4ouajlkh3rbpnjldxtm6hzjhlm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040511111229/http://nknucc.nknu.edu.tw:80/~dmyeh/courseware/reuse.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/97/c7/97c715217930d60fe0d19372aab10f69afc616f2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/376697.376699"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Code Generation in Computational Neuroscience: A Review of Tools and Techniques

Inga Blundell, Romain Brette, Thomas A. Cleland, Thomas G. Close, Daniel Coca, Andrew P. Davison, Sandra Diaz-Pier, Carlos Fernandez Musoles, Padraig Gleeson, Dan F. M. Goodman, Michael Hines, Michael W. Hopkins (+17 others)
<span title="2018-11-05">2018</span> <i title="Frontiers Media SA"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/w7oms7cvvjfs7ht4yodsyhuzku" style="color: black;">Frontiers in Neuroinformatics</a> </i> &nbsp;
Large-scale, biophysically detailed cell models pose a particular set of computational challenges, and this has led to the development of a number of domain-specific simulators.  ...  Advances in experimental techniques and computational power allowing researchers to gather anatomical and electrophysiological data at unprecedented levels of detail have fostered the development of increasingly  ...  , the Initiative and Networking Fund of the Helmholtz Association, and the Hemholtz Portfolio Theme Simulation and Modeling for the Human Brain.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fninf.2018.00068">doi:10.3389/fninf.2018.00068</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/30455637">pmid:30455637</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC6230720/">pmcid:PMC6230720</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u2hxo6y46jcwpbkq7zbmdtgeuq">fatcat:u2hxo6y46jcwpbkq7zbmdtgeuq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200306143927/http://juser.fz-juelich.de/record/857165/files/fninf-12-00068.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/ff/8f/ff8fdc9a32d908cc93b46b55902f2ab12d0ef0e8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fninf.2018.00068"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> frontiersin.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6230720" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

A Goal-Oriented Strategy for Supporting Commercial Off-the-Shelf Components Selection [chapter]

Claudia Ayala, Xavier Franch
<span title="">2006</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;
We present the seven activities that conform this method, which are illustrated with the case of real-time synchronous communication tools.  ...  of descriptions currently available for those components.  ...  The method includes a domain analysis phase which faces the prob-lem of unstructured and not validated information coming from lots of information sources.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11763864_1">doi:10.1007/11763864_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lla7nqjb5zfapmiruhcku4zn3q">fatcat:lla7nqjb5zfapmiruhcku4zn3q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170923021226/http://upcommons.upc.edu/bitstream/handle/2117/85863/R06-7.pdf?sequence=1" 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/d5/c3/d5c31b0469de9c7b6d843f535608b8c720cf1557.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11763864_1"> <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 245 results