Filters








16,028 Hits in 8.9 sec

SPRINT: A Tool to Generate Concurrent Transaction-Level Models from Sequential Code

Johan Cockx, Kristof Denolf, Bart Vanhoof, Richard Stahl
<span title="2007-04-30">2007</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hqblpsydr5emviirtqkkmctpha" style="color: black;">EURASIP Journal on Advances in Signal Processing</a> </i> &nbsp;
To support our systematic C-based design flow, we have developed a tool to generate a concurrent SystemC transaction-level model for user-selected task boundaries.  ...  However, the creation of such a model starting from sequential code is a time-consuming and error-prone task. It is typically done only once, if at all, for a given design.  ...  ACKNOWLEDGMENT The authors would like to thank Henk Corporaal for the insightful discussions and his valued contribution to this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2007/75373">doi:10.1155/2007/75373</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/trl4t3i4vrhgravxple4zln424">fatcat:trl4t3i4vrhgravxple4zln424</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705161213/http://asp-eurasipjournals.springeropen.com/track/pdf/10.1155/2007/75373?site=asp.eurasipjournals.springeropen.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/29/20/292079b808be3d027babcaf1334c152fda72d724.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2007/75373"> <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>

Overview of existing safeguarding techniques for automatically generated code

Ingo Stürmer, Daniela Weinberg, Mirko Conrad
<span title="2005-07-01">2005</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jpdbg2rpfjembkahly4z4ea5hq" style="color: black;">Software engineering notes</a> </i> &nbsp;
In this paper, we will present and discuss state-of-the-art techniques for safeguarding automatic code generation applied in model-based development. © ACM, (2005) This is the author's version of the work  ...  Code generators are increasingly used in an industrial context to translate graphical models into executable code.  ...  Acknowledgement The work described was partially performed as part of the IMMOS project funded by the German Federal Ministry of Education and Research (project ref. 01ISC31D). http://www.immosproject.de  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1082983.1083192">doi:10.1145/1082983.1083192</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qkklasq3izgajirw4ilplpsyo4">fatcat:qkklasq3izgajirw4ilplpsyo4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070629153842/http://www.ichmaschine.de/Papers/SEAS2005/SWC2005_personal.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/d0/6b/d06b9533a8759ce6a963002ff33572f622051346.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1082983.1083192"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Overview of existing safeguarding techniques for automatically generated code

Ingo Stürmer, Daniela Weinberg, Mirko Conrad
<span title="">2005</span> <i title="ACM Press"> Proceedings of the second international workshop on Software engineering for automotive systems - SEAS &#39;05 </i> &nbsp;
In this paper, we will present and discuss state-of-the-art techniques for safeguarding automatic code generation applied in model-based development. © ACM, (2005) This is the author's version of the work  ...  Code generators are increasingly used in an industrial context to translate graphical models into executable code.  ...  Acknowledgement The work described was partially performed as part of the IMMOS project funded by the German Federal Ministry of Education and Research (project ref. 01ISC31D). http://www.immosproject.de  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1083190.1083192">doi:10.1145/1083190.1083192</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jurrd3ypqzfqddp7lrsyfjqk7q">fatcat:jurrd3ypqzfqddp7lrsyfjqk7q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070629153842/http://www.ichmaschine.de/Papers/SEAS2005/SWC2005_personal.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/d0/6b/d06b9533a8759ce6a963002ff33572f622051346.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1083190.1083192"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Software Tools for the Lifecycle Support of Safety Instrumented Systems

Clive Timms
<span title="">2006</span> <i title="SAGE Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jvsm452hezgd3gt3qiqntkandu" style="color: black;">Measurement and control (London. 1968)</a> </i> &nbsp;
Since the publication of IEC 61508 (1) and IEC 61511 (2) there has been a steady increase in the number of PC based software tools developed to aid compliance.  ...  These come with a wide range of both capability and price, but carefully selected tools are considered the most appropriate way forward for ensuring lifecycle support of safety instrumented systems (SIS  ...  End users should be aware of the benefits that can be achieved with the aid of a good suite of software tools including: • A more efficient approach HAZOP; • Significant reduction in the time taken for  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1177/002029400603901004">doi:10.1177/002029400603901004</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c5n3kmiwrnf5taf2bgzo47uhtq">fatcat:c5n3kmiwrnf5taf2bgzo47uhtq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809000326/http://www.silsupport.com/uploads/1/2/3/9/12391383/software_tools_for_sis_lifecycle_support_.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/a0/df/a0df59c5257f5234658d2ad4967b264547d91a24.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1177/002029400603901004"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> sagepub.com </button> </a>

A Review and Evaluation of Circular Business Model Innovation Tools

Nancy Bocken, Lars Strupeit, Katherine Whalen, Julia Nußholz
<span title="2019-04-12">2019</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oglosmy3gbhuzobyjit4qalakq" style="color: black;">Sustainability</a> </i> &nbsp;
It provides structure to the emerging range of tools, methods and approaches, and, based on this, a guideline for future tool development.  ...  Finally, it gives an overview of opportunities and gaps as well as a future agenda for research and practice.  ...  We also want to thank the Mistra REES and CIRCUSOL teams for ongoing discussions on tools. Conflicts of Interest: The authors declare no conflict of interest.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/su11082210">doi:10.3390/su11082210</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oagegw4ztralbjd4t66noywo5i">fatcat:oagegw4ztralbjd4t66noywo5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501142208/https://res.mdpi.com/sustainability/sustainability-11-02210/article_deploy/sustainability-11-02210-v2.pdf?filename=&amp;attachment=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/38/94/38945d8f1f40dd834e9f0d223b4a5f0ebbe3ec6e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/su11082210"> <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>

How to Safeguard AI [chapter]

Ina Schieferdecker, Jürgen Großmann, Martin A. Schneider
<span title="2019-12-31">2019</span> <i title="transcript-Verlag"> The Democratization of Artificial Intelligence </i> &nbsp;
Acknowledgment This article resulted from several discussions with the research group on the criticality of AI-based systems lead by Diana Serbanescu, with the German Advisory Council on Global Change  ...  Net Politics in the Era of Learning Algorithms" in Bochum, September 2018 led by Andreas Sudmann and with the members of the ITEA3 project "Industrial-grade Verification and Validation of Evolving Systems  ...  model-based testing to automate the generation of tests (MBT [Utting, 2012] ), as well as the use of search and optimization algorithms for automated test selection and test suite reduction (Harman,  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14361/9783839447192-015">doi:10.14361/9783839447192-015</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lnllyqez7fgmxjy2zfri4qhc5q">fatcat:lnllyqez7fgmxjy2zfri4qhc5q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201108035328/https://www.degruyter.com/transcript/downloadpdf/book/9783839447192/10.14361/9783839447192-015.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/08/5a/085a6b8fc8da1953b9bcfcfeb478412e6e5ec58d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14361/9783839447192-015"> <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>

A Systematic Aspect-Oriented Refactoring and Testing Strategy, and its Application to JHotDraw [article]

Arie van Deursen, Marius Marin, Leon Moonen
<span title="2005-03-05">2005</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The refactoring of existing systems to employ aspect-orientation will be considerably eased by a systematic approach that will ensure a safe and consistent migration.  ...  In this paper, we propose a refactoring and testing strategy that supports such an approach and consider issues of behavior conservation and (incremental) integration of the aspect-oriented solution with  ...  Acknowledgments We would like to thank Magiel Bruntink (CWI), Hylke van Dijk (TU Delft), Marco Lormans (TU Delft), and Tom Tourwé (CWI), for reading earlier drafts of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0503015v1">arXiv:cs/0503015v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eaxnf6uqiremdcgsdcbi2a5sye">fatcat:eaxnf6uqiremdcgsdcbi2a5sye</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191026150641/https://arxiv.org/pdf/cs/0503015v1.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/3e/15/3e1556eb713a416102bdddaf9c678bad81ed0cab.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0503015v1" 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>

D2.1 - Analysis Report on Big Data Components, Tools and Methodologies

Project Consortium Members
<span title="2018-07-20">2018</span> <i title="Zenodo"> Zenodo </i> &nbsp;
This deliverable includes a thorough state-of-play analysis of the big data landscape in terms of components, tools and methodologies, eventually promoting the most appropriate ones for the needs of BigDataOcean  ...  The needs coming from the project's end users constitute a main output of this deliverable.  ...  provided by the numerical models suite (AS-IS situation).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.3358904">doi:10.5281/zenodo.3358904</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wrio5c2yl5cr5a7kckdvibulhe">fatcat:wrio5c2yl5cr5a7kckdvibulhe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201222025623/https://zenodo.org/record/3358904/files/BigDataOcean_Analysis_Report_on_Big_Data_Components_Tools_and_Methodologies-v2.00.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/91/fd/91fdfbbcff7873bb064c4b7e1843839d7ea928a7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.3358904"> <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>

Tools for Wellbeing-Supportive Design: Features, Characteristics, and Prototypes

Dorian Peters, Naseem Ahmadpour, Rafael A. Calvo
<span title="2020-07-10">2020</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bn3b3ia5mzg4nbdativq7ki3sy" style="color: black;">Multimodal Technologies and Interaction</a> </i> &nbsp;
We then present five resulting design tool concepts, two of which were further developed into prototypes and tested in a workshop with 34 interaction design and HCI professionals.  ...  We report on 15 semi-structured interviews with designers from four continents, yielding insights into design tool use generally and requirements for wellbeing design tools specifically.  ...  Conflicts of Interest: The authors declare no conflict of interest.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/mti4030040">doi:10.3390/mti4030040</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a6vblrssfvd6dmtdym55wbtawi">fatcat:a6vblrssfvd6dmtdym55wbtawi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201107034518/https://spiral.imperial.ac.uk:8443/bitstream/10044/1/80591/5/mti-04-00040-v2.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/a5/2d/a52d7be3d499bc3d4cf51b305e4f3d66e3e6721e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/mti4030040"> <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>

Goal-Oriented Mutation Testing with Focal Methods [article]

Sten Vercammen, Mohammad Ghafari, Serge Demeyer, Markus Borg
<span title="2018-07-28">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Mutation testing is the state-of-the-art technique for assessing the fault-detection capacity of a test suite.  ...  Validation of our approach on the open source Apache Ant project shows a speed-up of 573.5x for the mutants located in focal methods with a quality score of 80%.  ...  However, when the test suite has a lot of test code smells [34] , this might negatively impact the speedup of this approach.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1807.10953v1">arXiv:1807.10953v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2higrbogefh5xlsecheet3345u">fatcat:2higrbogefh5xlsecheet3345u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200906030153/https://arxiv.org/pdf/1807.10953v1.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/5e/be/5ebe92a7e9b3b7c21d1e38a162b3bf6abcd0f5b7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1807.10953v1" 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>

Privacy as a Tool for Antidiscrimination

Jessica L. Roberts
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tol7woxlqjeg5bmzadeg6qrg3e" style="color: black;">Social Science Research Network</a> </i> &nbsp;
on the basis of less visible traits such as genetic information, age, national origin, ethnicity, and religion, as well as in cases of racial or gender ambiguity.  ...  A person cannot consider information that she does not have. Unlawful discrimination, therefore, frequently requires discriminators to have knowledge about protected status.  ...  See Susan Sturm, Second Generation Employment Discrimination: A Structural Approach, 101 COLUM. L.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2139/ssrn.2263583">doi:10.2139/ssrn.2263583</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rxp67kgptzewhfvgfecxulta3i">fatcat:rxp67kgptzewhfvgfecxulta3i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150902170321/http://wmlawreview.org/sites/default/files/9-Roberts.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/1a/8a/1a8aa1c5c60a4b5d49c267d25413a605556a116f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2139/ssrn.2263583"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ssrn.com </button> </a>

Systematic framework to assess social impacts of sharing platforms: Synthesising literature and stakeholder perspectives to arrive at a framework and practice-oriented tool

Steven Kane Curtis, Jagdeep Singh, Oksana Mont, Alexandra Kessler, Dejan Dragan
<span title="2020-10-08">2020</span> <i title="Public Library of Science (PLoS)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s3gm7274mfe6fcs7e3jterqlri" style="color: black;">PLoS ONE</a> </i> &nbsp;
We conduct a narrative literature review and stakeholder workshop, integrating insights to produce a systematic social impact assessment framework and a practice-oriented tool.  ...  We describe each indicator and its relevance to the sharing economy as well as suggest measurable variables in the form of a practice-oriented tool.  ...  We would like to thank Yuliya Voytenko Palgan for valuable support and feedback during the writing process.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1371/journal.pone.0240373">doi:10.1371/journal.pone.0240373</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/33031483">pmid:33031483</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zersbdposngapokgklc3n4rify">fatcat:zersbdposngapokgklc3n4rify</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201009132331/https://journals.plos.org/plosone/article/file?id=10.1371%2Fjournal.pone.0240373&amp;type=printable" 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/05/a5/05a5df37ca4dea95f55765d81507cfa431def8fb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1371/journal.pone.0240373"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> plos.org </button> </a>

River Basin Visions: Tools and Approaches from Yesterday to Tomorrow [chapter]

Catherine Carré, Michel Meybeck, Josette Garnier, Natalie Chong, José-Frédéric Deroubaix, Nicolas Flipo, Aurélie Goutte, Céline Le Pichon, Laura Seguin, Julien Tournebize
<span title="">2020</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ruyggstqbraddkantbakitctbm" style="color: black;">Handbook of Environmental Chemistry</a> </i> &nbsp;
The aim of this chapter is to provide a critical assessment of the approaches and production of tools within the PIREN-Seine programme over the past 30 years, as well as their use for river basin management  ...  Three types of tools used in the PIREN-Seine programme are presented: metrology and fieldwork; model construction, simulation and their use in scenarios; and participatory science tools.  ...  Acknowledgements This work is a contribution to the PIREN-Seine research programme (www. piren-seine.fr), which belongs to the Zone Atelier Seine part of the international Long-Term Socio-Ecological Research  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/698_2019_438">doi:10.1007/698_2019_438</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/n7sxcwz7nvbk7b6yrchabno6jy">fatcat:n7sxcwz7nvbk7b6yrchabno6jy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201103234624/https://halshs.archives-ouvertes.fr/halshs-02876027/file/Carr%C3%A9%20et%20al.%20-%202020%20-%20River%20Basin%20Visions%20Tools%20and%20Approaches%20from%20Yes.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/04/22/04222f2185a362c7c150e7525e49e6ea092fcb19.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/698_2019_438"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Collaborative Tool for Communities of Practice to Share Best Practices [chapter]

Justus N. Nyagwencha, Sheryl Seals, Tony Cook
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jyopc6cf5ze5vipjlm4aztcffi" style="color: black;">Communications in Computer and Information Science</a> </i> &nbsp;
This dissertation presents a For Youth For Life (FYFL) cloud tool as a unique solution to a problem of identifying an easy to use, scalable, cost effective, and fault tolerant collaborative system or tool  ...  tool that is easy to use and learn. iv This dissertation also proposes an innovative approach to hierarchical group management -Universal Quadrant Model‖ (UQM), a recursive, nondeterministic and backtracking  ...  Generated Requirements for a Cloud Tool Relying on requirements generated from the experts study, we selected a cloud tool as the best suited tool for the task at hand.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-22095-1_105">doi:10.1007/978-3-642-22095-1_105</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4isydz7aibbs5ankex3sk7pjzm">fatcat:4isydz7aibbs5ankex3sk7pjzm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811193940/https://etd.auburn.edu/bitstream/handle/10415/3849/Justus&#39;s_PhD_dessertation-%20Updatesd%209-30-2013%20Final.pdf?sequence=2" 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/be/ff/beffe8d735138d87b0deabb4821b79eb87d637a1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-22095-1_105"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Incorporating Formal Techniques into Industrial Practice: an Experience Report

Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco Wesselius
<span title="">2013</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;
The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used.  ...  We present a workflow which combines test-driven development of components with a commercial formal approach and describe experiences with it at Philips Healthcare.  ...  Acknowledgement We would like to thank the anonymous reviewers and Tom Fransen for useful comments on the text of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2013.04.005">doi:10.1016/j.entcs.2013.04.005</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2zfs72dmizhs5kgikrsdvhfi6i">fatcat:2zfs72dmizhs5kgikrsdvhfi6i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190312215914/https://core.ac.uk/download/pdf/82241567.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/99/4b99bcc60c61e4cb6bc15843dc30e8cc508ee1b2.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.2013.04.005"> <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>
&laquo; Previous Showing results 1 &mdash; 15 out of 16,028 results