Filters








278 Hits in 3.5 sec

A Bankruptcy Problem Approach to Load-shedding in Multiagent-based Microgrid Operation

Hak-Man Kim, Tetsuo Kinoshita, Yujin Lim, Tai-Hoon Kim
<span title="2010-09-28">2010</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/taedaf6aozg7vitz5dpgkojane" style="color: black;">Sensors</a> </i> &nbsp;
To maintain a specific frequency in the islanded mode as an important requirement, the control of DGs' output and charge action of DSs are used in supply surplus conditions and load-shedding and discharge  ...  A microgrid is composed of distributed power generation systems (DGs), distributed energy storage devices (DSs), and loads.  ...  Pa and lc are described as: 0 ≤lc 1 ≤ ······≤ lc n and 0 ≤ Pa ≤ lc 1 +· · · · · · +lc n The vector of allocated power (la*) of each load is defined as: la* = (la 1 *,······ ,la n *) Finally, the vector  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s101008888">doi:10.3390/s101008888</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/22163386">pmid:22163386</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3230938/">pmcid:PMC3230938</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aqstfuavqzdffo6itif66bpa4y">fatcat:aqstfuavqzdffo6itif66bpa4y</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/pubmed-PMC3230938/PMC3230938-s101008888.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> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/67/a0/67a07d4ce912c23fee77b9bfd56ad3ffa6d3bcd0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s101008888"> <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> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3230938" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Security Analysis for Distributed IoT-Based Industrial Automation [article]

Vuk Lesi, Zivana Jakovljevic, Miroslav Pajic
<span title="2020-05-29">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Consequently, in this paper we focus on security-aware modeling and verification challenges for CIPN-based sequential control applications.  ...  Specifically, we show how CIPN models of networked industrial IoT controllers can be transformed into Time Petri Net (TPN)-based models, and composed with plant and security-aware channel models in order  ...  It was also partially supported by Serbian Ministry of Education, Science and Technological Development, research grants TR35004 and TR35020.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2006.00044v1">arXiv:2006.00044v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bhrkqyau75eldjrn27klehepca">fatcat:bhrkqyau75eldjrn27klehepca</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200603003238/https://arxiv.org/pdf/2006.00044v1.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/2006.00044v1" 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>

QoS Aware Middleware Support for Dynamically Reconfigurable Component Based IoT Applications

Aitor Agirre, Jorge Parra, Aintzane Armentia, Elisabet Estévez, Marga Marcos
<span title="">2016</span> <i title="SAGE Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/snvb3djywzbhvjtue42hxtjery" style="color: black;">International Journal of Distributed Sensor Networks</a> </i> &nbsp;
The platform has been deployed over an automated warehouse supervision system that serves as a case study. ance support for specific critical components, and aids in the registration and deployment of  ...  Several key challenges arise from such needs, namely, (1) the adoption of a suitable component framework, (2) the support for dynamic reconfiguration, and (3) the management of the system resources to  ...  Acknowledgments This work was financed in part by the University of the Basque Country (UPV/EHU) under Project UFI 11/28 and by the MCYT&FEDER under Project DPI2015-68602-R.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2016/2702789">doi:10.1155/2016/2702789</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g3y2dhpccvdlliat6mxt2fcoii">fatcat:g3y2dhpccvdlliat6mxt2fcoii</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170926022654/http://downloads.hindawi.com/journals/ijdsn/2016/2702789.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/f8/9c/f89ca1d7919992bd4e190a5462c352a89f8d6bc5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2016/2702789"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a>

A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems

Franco Raimondi, Alessio Lomuscio
<span title="">2004</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
We present a compiler that translates a multi-agent systems specification given in the formalism of Interpreted Systems into an SMV program.  ...  We apply this methodology to the verification of a communication protocol -the dining cryptographers. 1  ...  In this paper we will use NuSMV, a novel implementation of SMV ( [7] ). The input language of NuSMV allows for the specification of a finite system with different levels of abstraction.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(05)82609-x">doi:10.1016/s1571-0661(05)82609-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xdhxgq3ia5aolely43bmgy77ui">fatcat:xdhxgq3ia5aolely43bmgy77ui</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050409023841/http://www.win.tue.nl:80/%7Eevink/entcs-vol85.2-lcmas2003/85.2.007.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/64/d8/64d8a93a782b2fa04bef49eb761b531cd0207efd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(05)82609-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Context-Oriented Behavioral Programming [article]

Achiya Elyasaf
<span title="2020-10-19">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This paper introduces Context-Oriented Behavioral Programming(COBP) - a novel paradigm for developing context-aware systems, centered on natural and incremental specification of context-dependent behaviors  ...  Throughout the examples and case studies, we provide design patterns and a methodology for coping with the above challenges.  ...  Acknowledgments The author would like to thank Gera Weiss for his invaluable help with this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2005.02373v2">arXiv:2005.02373v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b5sznnhtazbehntgx24nt6xmfi">fatcat:b5sznnhtazbehntgx24nt6xmfi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201024233501/https://arxiv.org/pdf/2005.02373v2.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/90/4d9058eaedca1276b4c1c0966fa04fe71314eb7d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2005.02373v2" 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>

Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security

Robert Sison, Toby Murray, Michael Wagner
<span title="2019-09-06">2019</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zqxbhpz7wrehdheisuhasuwjqa" style="color: black;">International Conference on Interactive Theorem Proving</a> </i> &nbsp;
to a generic RISC-style assembly language, for programs with shared-memory concurrency mediated by locking primitives.  ...  But doing so leaves a gap between reasoning and reality that can only be filled by accounting for the behaviour of the compiler.  ...  (lc 1 , lc 2 ) ∈ B ∧ lc 1 = mds lc 2 −→ lc 1 = Low mds lc 2 ∧ (∀lc 1 . lc 1 lc 1 −→ (∃lc 2 . lc 2 lc 2 ∧ lc 1 = mds lc 2 ∧ (lc 1 , lc 2 ) ∈ B))) That is, B must maintain observational indistinguishability  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.itp.2019.27">doi:10.4230/lipics.itp.2019.27</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/itp/SisonM19.html">dblp:conf/itp/SisonM19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pf3zpugr2raytnjugtpsxako2y">fatcat:pf3zpugr2raytnjugtpsxako2y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210916204919/https://drops.dagstuhl.de/opus/volltexte/2019/11082/pdf/LIPIcs-ITP-2019-27.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/f1/36/f13679162d70380329f8982587aed50cdd3db168.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.itp.2019.27"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Implementation and Evaluation of Open-Source Hardware to Monitor Water Quality in Precision Aquaculture

Rafael Apolinar Bórquez López, Luis Rafael Martinez Cordova, Juan Carlos Gil Nuñez, Jose Reyes Gonzalez Galaviz, Jose Cuauhtemoc Ibarra Gamez, Ramon Casillas Hernandez
<span title="2020-10-27">2020</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/taedaf6aozg7vitz5dpgkojane" style="color: black;">Sensors</a> </i> &nbsp;
The implementation and evaluation of a low-cost water-quality monitoring system based on open-source hardware, which is easy to rebuild for scientific applications, is reported in this paper.  ...  The proposed system measures temperature, dissolved oxygen, and pH, taking records and sending information through a wireless protocol (ZigBee) to a graphical user interface which can display information  ...  Temperature [°C] Dissolved Oxygen [mg L −1 ] pH LC 1 LC 2 LC 3 LC 1 LC 2 LC 3 LC 1 LC 2 LC 3 Mean 23.66 a 23.72 a 23.86 a 6.44 a 6.95 a 6.85 a 8.05 a 8.37 a 7.94 a Std.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s20216112">doi:10.3390/s20216112</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/33121079">pmid:33121079</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC7662340/">pmcid:PMC7662340</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2x3w74itgze4bbshox33k7pjom">fatcat:2x3w74itgze4bbshox33k7pjom</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201029213405/https://res.mdpi.com/d_attachment/sensors/sensors-20-06112/article_deploy/sensors-20-06112.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/3f/af/3faf2a7d30d6cd33b187ad25eb97347d1cc6bb45.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s20216112"> <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> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7662340" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Compositional Verification for Timed Systems Based on Automatic Invariant Generation

Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz, Erika Abraham
<span title="2015-09-17">2015</span> <i title="Logical Methods in Computer Science e.V."> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/c67srop7pbe3nciquoxzy3d6pm" style="color: black;">Logical Methods in Computer Science</a> </i> &nbsp;
The method has been implemented in the RTD-Finder tool and successfully experimented on several benchmarks.  ...  We propose a method for compositional verification to address the state space explosion problem inherent to model-checking timed systems with a large number of components.  ...  We are grateful to the anonymous referees for their constructive input and for their thorough feedback. We would also like to thank our colleague Mahieddine Dellabani for his help with two benchmarks.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2168/lmcs-11(3:15)2015">doi:10.2168/lmcs-11(3:15)2015</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mghqdjsu5vgxzbi4entep6dc3y">fatcat:mghqdjsu5vgxzbi4entep6dc3y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190220170341/http://pdfs.semanticscholar.org/2b3e/1fb4804a6e1cd7523709d2016c69bbc66a09.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/2b/3e/2b3e1fb4804a6e1cd7523709d2016c69bbc66a09.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2168/lmcs-11(3:15)2015"> <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>

Capability-Passing Processes

Tom Chothia, Dominic Duggan
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
It relies on a restricted API or programming language and on the exchange of digital certificates representing capabilities to ensure that participants are faithful to a protocol and that outsiders cannot  ...  At the specification level, protocols are reasoned about independently of the underlying communication, using a process calculus with an abstraction of logs to isolate the remote state required for such  ...  Instead we focus on a language for such applications that provides support for designing and implementing protocols for distributed agreement.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.12.030">doi:10.1016/j.entcs.2005.12.030</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w4y3mx7osnabnje33udq6p6saa">fatcat:w4y3mx7osnabnje33udq6p6saa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705161202/http://www.cs.bham.ac.uk/~tpc/cwi/Papers/Capabilities.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/1e/c61e154031669c54f7812ebec0cf2f742167796d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.12.030"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Capability passing processes

Tom Chothia, Dominic Duggan
<span title="">2007</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
It relies on a restricted API or programming language and on the exchange of digital certificates representing capabilities to ensure that participants are faithful to a protocol and that outsiders cannot  ...  At the specification level, protocols are reasoned about independently of the underlying communication, using a process calculus with an abstraction of logs to isolate the remote state required for such  ...  Instead we focus on a language for such applications that provides support for designing and implementing protocols for distributed agreement.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2007.01.007">doi:10.1016/j.scico.2007.01.007</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vxpupgopnbhyngilyea3rgg5xe">fatcat:vxpupgopnbhyngilyea3rgg5xe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705161202/http://www.cs.bham.ac.uk/~tpc/cwi/Papers/Capabilities.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/1e/c61e154031669c54f7812ebec0cf2f742167796d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2007.01.007"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis [chapter]

Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech
<span title="">1999</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;
procedures and reachability analysis procedures for fifo channels systems.  ...  We propose a realization of this approach in a framework which extends PVS with automatic invariant checking strategies, automatic procedures for generating abstract models, as well as automatabased decision  ...  Based on the results of [2] , we have implemented in a tool called Lcs [1] a procedure for computing reachability sets using the following principle: Given a parallel composition of a set of fifo-channel  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48683-6_15">doi:10.1007/3-540-48683-6_15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7i7pjhprhnaf5bkiqyyzcvmw34">fatcat:7i7pjhprhnaf5bkiqyyzcvmw34</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200325182439/https://link.springer.com/content/pdf/10.1007%2F3-540-48683-6_15.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/cb/7e/cb7e810667a8a50d0cb67a86a0ec16a78f1644d5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-48683-6_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Synthesis of biological models from mutation experiments

Ali Sinan Koksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodik, Jasmin Fisher, Nir Piterman
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL &#39;13</a> </i> &nbsp;
Additionally, we develop a modeling language and embed it into Scala. We describe how this language design and embedding allows us to build an efficient synthesizer.  ...  We develop algorithms for detecting ambiguity in specifications, i.e., whether there exist alternative models that would produce different fates on some unperformed experiment, and for removing redundancy  ...  Using the edge labeling and the state ordering for each component, we now define a partial order on the combined input values for a component. ∀i1, i2 ∈ Lc 1 × . . . × Lc n .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2429069.2429125">doi:10.1145/2429069.2429125</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/KoksalPSBFP13.html">dblp:conf/popl/KoksalPSBFP13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3yfcdl4ienagrgtq4af6ukewlm">fatcat:3yfcdl4ienagrgtq4af6ukewlm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150830075430/http://www.cs.berkeley.edu:80/%7Ekoksal/papers/KoksalETAL13SynthesisBiologicalModels.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/9f/9f/9f9f846f47c8770de1cd50dde47d4d7d79f78eeb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2429069.2429125"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Synthesis of biological models from mutation experiments

Ali Sinan Koksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodik, Jasmin Fisher, Nir Piterman
<span title="2013-01-23">2013</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;
Additionally, we develop a modeling language and embed it into Scala. We describe how this language design and embedding allows us to build an efficient synthesizer.  ...  We develop algorithms for detecting ambiguity in specifications, i.e., whether there exist alternative models that would produce different fates on some unperformed experiment, and for removing redundancy  ...  Using the edge labeling and the state ordering for each component, we now define a partial order on the combined input values for a component. ∀i1, i2 ∈ Lc 1 × . . . × Lc n .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2480359.2429125">doi:10.1145/2480359.2429125</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o6etcwokabgzlg2bpeqggqlecy">fatcat:o6etcwokabgzlg2bpeqggqlecy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150830075430/http://www.cs.berkeley.edu:80/%7Ekoksal/papers/KoksalETAL13SynthesisBiologicalModels.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/9f/9f/9f9f846f47c8770de1cd50dde47d4d7d79f78eeb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2480359.2429125"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Dynamic service composition using santic information

Keita Fujii, Tatsuya Suda
<span title="">2004</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lfvhq55rrbayflzuv5shtdwd3m" style="color: black;">Proceedings of the 2nd international conference on Service oriented computing - ICSOC &#39;04</a> </i> &nbsp;
We have implemented a service composition system using the above techniques, and demonstrated that our system supports semantics-based dynamic service composition.  ...  This requirement may become an obstacle for end-users to use such systems.  ...  the California MICRO and CoRe programs, Hitachi, Hitachi America, Novell, Nippon Telegraph and Telephone (NTT), NTT Docomo, Fujitsu, NS Solutions Corporation, DENSO IT Laboratory.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1035167.1035174">doi:10.1145/1035167.1035174</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icsoc/FujiiS04.html">dblp:conf/icsoc/FujiiS04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ho4zntvabjd2jl2gxjrp6wsrye">fatcat:ho4zntvabjd2jl2gxjrp6wsrye</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060517023055/http://bolero.ics.uci.edu:80/kfujii/dsc/publications/ICSOC04.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/39/e6/39e6d74e5d462d0ea722a24cb17d2c51b58dbf32.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1035167.1035174"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

NOP - A Simple Experimental Processor for Parallel Deployment [article]

Oskar Schirmer
<span title="2016-12-20">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Its main purpose is to allow for a prototypical implementation of a dynamic software system as a proof of concept.  ...  The design of a parallel computing system using several thousands or even up to a million processors asks for processing units that are simple and thus small in space, to make as many processing units  ...  However, if that pointer is out of range of the constant limits, then subtract the constant pool size (lc 1 -lc 0 ) and add the data pointer instead: a ← m(sp++) if (a + cp) ≥ lc 1 then b ← a -(lc 1 -lc  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1612.06748v1">arXiv:1612.06748v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ylurksmtbvhbbahbdhltb6dvmi">fatcat:ylurksmtbvhbbahbdhltb6dvmi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200831050157/https://arxiv.org/pdf/1612.06748v1.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/78/01/78013cef3ca112de424d345bae8f2b8d92a61570.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1612.06748v1" 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>
&laquo; Previous Showing results 1 &mdash; 15 out of 278 results