12,385 Hits in 2.7 sec

Scenario Synthesis from Imprecise Requirements [chapter]

Bill Mitchell, Robert Thomson, Paul Bristow
2005 Lecture Notes in Computer Science  
The paper defines a formal semantics that characterizes a particular type of imprecise compositional semantics derived from industrial case studies, and a process algebra that describes the valid requirements  ...  A further difficulty is caused by the imprecise nature of industrial requirements specifications.  ...  This leads to a technique for synthesising phase composition processes from a collection of requirements scenarios.  ... 
doi:10.1007/978-3-540-31810-1_9 fatcat:f4oxe6dsgfee3i3dbgcbxvrbcq

The Use of Bayesian Networks to Assess the Quality of Evidence from Research Synthesis: 1

Gavin B. Stewart, Julian P. T. Higgins, Holger Schünemann, Nick Meader, Neil R. Smalheiser
2015 PLoS ONE  
We tested the model using a range of plausible scenarios that guideline developers or review authors could encounter. Results Overall, the model reproduced GRADE judgements for a range of scenarios.  ...  These responses are then entered into the Bayesian network to ascertain the probabilities of risk of bias, inconsistency, indirectness, imprecision and publication bias conditional on review characteristics  ...  This requires evaluation of biases across studies, as well as biases detected during the process of evidence synthesis.  ... 
doi:10.1371/journal.pone.0114497 pmid:25837450 pmcid:PMC4383525 fatcat:podqcc6wmnflhihz3amygswhki

Impreciseness and Its Value from the Perspective of Software Organizations and Learning [chapter]

Grigori Melnik, Michael M. Richter
2004 Lecture Notes in Computer Science  
Traditionally, this is not the case for statements which are imprecise in the sense of being vague or subjective.  ...  For this purpose we relate abstraction, uncertainty and impreciseness to each other by investigating the differences and common properties.  ...  Extract the imprecise statements from this conver sation. 3.  ... 
doi:10.1007/978-3-540-25983-1_12 fatcat:bdrauvbphnbctnrxw7aahddkc4

Synthesizing and utilizing partial behavior models during requirements elicitation

Ivo Krka
2009 Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium - ESEC/FSE Doctoral Symposium '09  
First, I will design a novel synthesis algorithm that creates component-level MTSs from available requirements specifications.  ...  Keywords behavior model synthesis, requirements elicitation 1.  ...  First, I will design a novel synthesis algorithm that creates component-level MTSs from available requirements specifications.  ... 
doi:10.1145/1595782.1595795 fatcat:ayfnhq5bybckxdo2ix2xtis7x4

The use of the possibility theory to investigate the epistemic uncertainties within scenario-based earthquake risk assessments

Jeremy Rohmer, Cedric Baudrit
2010 Natural Hazards  
Unlike randomness, epistemic uncertainty stems from incomplete, vague or imprecise information. This source of uncertainties still requires the development of adequate tools in seismic risk analysis.  ...  We propose to use the possibility theory to represent three types of epistemic uncertainties, namely imprecision, model uncertainty and vagueness due to qualitative information.  ...  Therefore, adequate formal tools for their assessment and incorporation are required (Ferson and Guinzburg 1996) .  ... 
doi:10.1007/s11069-010-9578-6 fatcat:k4yopted6naflmtybhgtkuza2y

Exploiting intellectual properties with imprecise design costs for system-on-chip synthesis

Byoung-Woon Kim, Chong-Min Kyung
2002 IEEE Transactions on Very Large Scale Integration (vlsi) Systems  
This paper presents an intellectual property (IP)-based system-on-chip (SoC) synthesis framework focusing on how to select IPs from different sources and how to integrate the selected IPs using on-chip  ...  Furthermore, the framework must exploit IPs with imprecise design costs, e.g., imprecise area, energy consumption, execution time, design time, and design quality, because IPs are developed in different  ...  Imprecise Design Costs of IPs As shown in Fig. 1 , the impreciseness 1 of design cost comes from the fact that an IP is used in various target environments of IP integrators, which can be different from  ... 
doi:10.1109/tvlsi.2002.1043327 fatcat:ix5yhqv7und7xfyumapksmrtou

Towards Flexible Audio Processing

Thilo Koch, Marcelo Queiroz
2018 Proceedings of the SMC Conferences  
Acknowledgments During this work the first author received scholarship from CAPES, and the second author acknowledges the support of FAPESP grant 2018/09373-8 and CNPq grant 309645/2016-6.  ...  Sound spatialization applications, which typically use many virtual sound sources and many output channels (e.g. wave field synthesis) with high computing costs, could evidently benefit from a flexible  ...  different kind of imprecision measures.  ... 
doi:10.5281/zenodo.1422683 fatcat:c3st7djtp5hfpcfhiyqhpmki7a

From requirements to partial behavior models

Ivo Krka
2010 Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10  
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining Modal Transition Systems  ...  An example flaw is an implied scenario (i.e., undesirable required behavior) that can appear as a consequence of imprecise specification.  ...  The resulting component MTSs comprise required behavior from the positive scenarios and maybe behavior which does not conflict the negative scenarios and operational requirements.  ... 
doi:10.1145/1882291.1882342 dblp:conf/sigsoft/Krka10 fatcat:xlfxllzmrjdv5ijgylql4e7kgy

On the Complexity of Generating Gate Level Information Flow Tracking Logic

Wei Hu, Jason Oberg, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Dejun Mu, Ryan Kastner
2012 IEEE Transactions on Information Forensics and Security  
We can also consider the imprecision problem from the viewpoint of reconvergent fanouts.  ...  Physical isolation, as the name suggests, requires that mix-trusted subsystems be completely isolated from each other.  ...  Kastner, from the Department of Computer Science and Engineering, University of California, San Diego.  ... 
doi:10.1109/tifs.2012.2189105 fatcat:qx4hz5m4vra7dex2zxoippiphm

CINeMA: An approach for assessing confidence in the results of a network meta-analysis

Adriani Nikolakopoulou, Julian P. T. Higgins, Theodoros Papakonstantinou, Anna Chaimani, Cinzia Del Giovane, Matthias Egger, Georgia Salanti
2020 PLoS Medicine  
The evaluation of the credibility of results from a meta-analysis has become an important part of the evidence synthesis process.  ...  CINeMA considers 6 domains: (i) within-study bias, (ii) reporting bias, (iii) indirectness, (iv) imprecision, (v) heterogeneity, and (vi) incoherence.  ...  There are 'no concerns' if the confidence interval is entirely on one side of the no effect line (imprecision scenario 3 in Fig 3) , or if it is entirely within the area of equivalence (imprecision scenario  ... 
doi:10.1371/journal.pmed.1003082 pmid:32243458 fatcat:pevf22b4xrga7ab5xv5mtmflqy

Dealing with missing standard deviation and mean values in meta-analysis of continuous outcomes: a systematic review

Christopher J. Weir, Isabella Butcher, Valentina Assi, Stephanie C. Lewis, Gordon D. Murray, Peter Langhorne, Marian C. Brady
2018 BMC Medical Research Methodology  
Details of ethics approval for GALA trial (data set used in illustrative meta-analysis scenarios) provided in reference [7] . Consent for publication Not applicable.  ...  The Wan formula exhibited minimal imprecision across all scenarios, outperforming all other methods.  ...  Bias Imprecision Bias Imprecision Bias Imprecision Scenario 5 trials −0.01 (−0.87, 0.85) 2 missing means −0.20 1.00 −0.12 1.00 0.05 1.00 0.27 1.28 10 trials −0.01 (− 0.37, 0.35)  ... 
doi:10.1186/s12874-018-0483-0 pmid:29514597 pmcid:PMC5842611 fatcat:aug7bdchb5eo3ae4lyonzltmve

Mobile Multimedia Management for Community-Aware Storytelling

Yiwei Cao, Anna Hannemann, Ralf Klamma, Dejan Kovachev, Dominik Renzel
2010 2010 Eleventh International Conference on Mobile Data Management  
We start with a requirements analysis for various application scenarios ranging from business to common life with mobile multimedia storytelling.  ...  A mobile multimedia data management model is proposed based on the presented scenarios.  ...  Examples are the imprecision of location context information available from GPS sensors or semantic annotation imprecisions introduced by inefficient extraction algorithms or human annotation failure.  ... 
doi:10.1109/mdm.2010.70 dblp:conf/mdm/CaoHKKR10 fatcat:3odvlle74jfbti47hogsl3bgeu

The Mechanism of Human Nonhomologous DNA End Joining

Michael R. Lieber
2007 Journal of Biological Chemistry  
Part of this heterogeneity arises from the diversity of the DNA ends, but much of it arises from the many alternative ways in which the nuclease, polymerases, and ligase can act during NHEJ.  ...  Pathologically, the imprecision of NHEJ contributes to genome mutations that arise over time.  ...  The template-independent synthesis by pol is the likely basis for occasional antigen receptor junctional additions in lymphocytes from animals in which TdT has been knocked out (25, 26) .  ... 
doi:10.1074/jbc.r700039200 pmid:17999957 fatcat:azq7hmo54fdk3osv6tptb6gxme

Energy-efficient motion estimation with approximate arithmetic

Roger Porto, Luciano Agostini, Bruno Zatt, Marcelo Porto, Nuno Roma, Leonel Sousa
2017 2017 IEEE 19th International Workshop on Multimedia Signal Processing (MMSP)  
Three VBSME architectures with LOA operators were developed by considering different imprecision levels.  ...  This paper presents an architectural exploration in a variable block size motion estimation (VBSME) architecture using imprecise Lower-Part-OR Adders (LOA).  ...  Synthesis results indicate power savings from 9.7% to 22.1%, when considering only the Processing Core (where the SAD calculations are done).  ... 
doi:10.1109/mmsp.2017.8122248 dblp:conf/mmsp/PortoAZPRS17 fatcat:ifvj3wigwzfc7ke5iv7fd24pbm

Enhanced genetic algorithm-based fuzzy multiobjective strategy to multiproduct batch plant design

A.A. Aguilar-Lasserre, L. Pibouleau, C. Azzaro-Pantel, S. Domenech
2009 Applied Soft Computing  
The methodology provides a set of scenarios that are helpful to the decision's maker and constitutes a very promising framework for taken imprecision into account in new product development stage.  ...  This work proposes an alternative treatment of the imprecision (demands) by using fuzzy concepts.  ...  from the combinatorial explosion of scenarios that discrete probabilistic uncertainty representation exhibit; -Another significant advantage is that heuristic search algorithms, namely genetic algorithms  ... 
doi:10.1016/j.asoc.2009.05.005 fatcat:wqzllokjk5dglcvi5slctyfop4
« Previous Showing results 1 — 15 out of 12,385 results