Results 1 - 10 of 466

Completeness and consistency in hierarchical state-base requirements

by Mats P. E. Heimdahl, Nancy G. Leveson - IEEE Transactions on Software Engineering , 1996
"... Abstract-This paper describes methods for automatically analyzing formal, state-based requirements specifications for some aspects of completeness and consistency. The approach uses a low-level functional formalism, simplifying the analysis process. State-space explosion problems are eliminated by a ..."
Abstract - Cited by 125 (17 self) - Add to MetaCart
Abstract-This paper describes methods for automatically analyzing formal, state-based requirements specifications for some aspects of completeness and consistency. The approach uses a low-level functional formalism, simplifying the analysis process. State-space explosion problems are eliminated

PROBER: Ad-Hoc Debugging of Extraction and Integration Pipelines

by Anish Das Sarma, Alpa Jain, Philip Bohannon , 2010
"... Complex information extraction (IE) pipelines assembled by plumb-ing together off-the-shelf operators, specially customized opera-tors, and operators re-used from other text processing pipelines are becoming an integral component of most text processing frame-works. A critical task faced by the IE p ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
that helps IE users analyze pipeline semantics and infer provenance interactively while debugging. This allows the effort to be proportional to the need, and to focus on the portions of the pipeline under the greatest suspicion. We present a generic debugger for running post-execution analysis of any IE

Consistency Checking of SCR-Style Requirements Specifications

by Constance Heitmeyer, Bruce Labaw, Daniel Kiskis , 1995
"... This paper describes a class of formal analysis called consistency checking that mechanically checks requirements specifications, expressed in the SCR tabular notation, for application-independent properties. Properties include domain coverage, type correctness, and determinism. As background, the S ..."
Abstract - Cited by 105 (8 self) - Add to MetaCart
are presented. Where consistency checking of requirements fits in the software development process is discussed. 1 Introduction A recent study of industrial application of formal methods concludes that formal methods, including those for specifying and analyzing requirements, are "beginning to be used

A critical role for the right fronto-insular cortex in switching between central-executive and default-mode networks.

by Devarajan Sridharan , † ‡ , Daniel J Levitin , Vinod Menon - Proc Natl Acad Sci USA , 2008
"... Cognitively demanding tasks that evoke activation in the brain's central-executive network (CEN) have been consistently shown to evoke decreased activation (deactivation) in the default-mode network (DMN). The neural mechanisms underlying this switch between activation and deactivation of larg ..."
Abstract - Cited by 178 (1 self) - Add to MetaCart
, we analyzed fMRI data from two other experiments using the same GCA and network analyses methods described above: (i) a visual ''oddball'' attention experiment, and (ii) a task-free resting state experiment (see also SI Materials and Methods). We found a pattern of significant

Discovery Processes in Discovery Net

by Jameel Syed, Moustafa Ghanem, Yike Guo
"... The activity of e-Science involves making discoveries by analyzing data to find new knowledge. Discoveries of value cannot be made by simply performing a pre-defined set of steps to produce a result. Rather, there is an original, creative aspect to the activity which by its nature cannot be automate ..."
Abstract - Add to MetaCart
be automated. In addition to finding new knowledge, discovery therefore also concerns finding a process to find new knowledge. How discovery processes are modeled is therefore key to effectively practicing e-Science. We argue that since a discovery process instance serves a similar purpose to a mathematical

Completeness and Consistency Analysis of State-Based Requirements

by Mats P. E. Heimdahl, Nancy G. Leveson - IEEE Transactions on Software Engineering , 1995
"... This paper describes methods for automatically analyzing formal, state-based requirements specifications for completeness and consistency. The approach uses a low-level functional formalism, simplifying the analysis process. State space explosion problems are eliminated by applying the analysis at a ..."
Abstract - Cited by 67 (10 self) - Add to MetaCart
This paper describes methods for automatically analyzing formal, state-based requirements specifications for completeness and consistency. The approach uses a low-level functional formalism, simplifying the analysis process. State space explosion problems are eliminated by applying the analysis

Model verification and debugging of EOO models aided by model reduction techniques, in

by Anton Sodja , Borut Zupančič - Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, Electronic Press , 2010
"... Abstract Equation-based object-oriented modeling approach significantly reduced effort needed for model implementation by releasing modeler of performing many error-prone tasks. An increasingly more complex models can be built, preferably from components of different model libraries. However, compl ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
, complexity of the models complicate the process of verification -assuring that the model was implemented correctly and behaves as expected -and possible subsequent debugging. A cause of error in a model with over 1000 different equations can be often hard to find by the deskchecking method. This requires

Self-Consistency Checking

by Robert B. Jones, Carl-johan H. Seger, David L. Dill , 1996
"... . We introduce the notion of self-consistency checking, a new methodology for applying formal methods in the debugging process. Intuitively, self-consistency checks functional consistency of a circuit in two different modes or environments. Self-consistency can (1) simplify property verification and ..."
Abstract - Cited by 11 (2 self) - Add to MetaCart
. We introduce the notion of self-consistency checking, a new methodology for applying formal methods in the debugging process. Intuitively, self-consistency checks functional consistency of a circuit in two different modes or environments. Self-consistency can (1) simplify property verification

Process Model Discovery: A Method Based on Transition System Decomposition?

by Anna A. Kalenkova, Irina A. Lomazova
"... Abstract. Process mining aims to discover and analyze processes by extracting information from event logs. Process mining discovery algo-rithms deal with large data sets to learn automatically process models. As more event data become available there is the desire to learn larger and more complex pr ..."
Abstract - Add to MetaCart
these models are combined into a single process model. It is proven, that the structural and behav-ioral properties of submodels are inherited by the unified process model. The proposed discovery algorithm is illustrated using a running example. 1

Building a Generic Debugger for Information Extraction Pipelines

by Anish Das Sarma, Alpa Jain, Philip Bohannon
"... Complex information extraction (IE) pipelines are becoming an integral component of most text processing frameworks. We introduce a first system to help IE users analyze extraction pipeline semantics and operator transformations interactively while debugging. This allows the effort to be proportiona ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
Complex information extraction (IE) pipelines are becoming an integral component of most text processing frameworks. We introduce a first system to help IE users analyze extraction pipeline semantics and operator transformations interactively while debugging. This allows the effort
Results 1 - 10 of 466