Results 1 - 10 of 14,959

The ASM Refinement Method

by Egon Börger - UNDER CONSIDERATION FOR PUBLICATION IN FORMAL ASPECTS OF COMPUTING
"... In this paper the Abstract State Machine refinement method is presented. Its characteristics compared to other refinement approaches in the literature are explained. Some frequently occurring forms of ASM refinements are identified and illustrated by examples from the design and verification of arch ..."
Abstract - Cited by 55 (13 self) - Add to MetaCart
In this paper the Abstract State Machine refinement method is presented. Its characteristics compared to other refinement approaches in the literature are explained. Some frequently occurring forms of ASM refinements are identified and illustrated by examples from the design and verification

The VSE Refinement Method in HETS

by Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski
"... Abstract. We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done via introducing the dynamic logic underlying VSE and two logic translations in the logic graph of HETS. Thus th ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
Abstract. We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done via introducing the dynamic logic underlying VSE and two logic translations in the logic graph of HETS. Thus

The Basis Refinement Method

by Eitan Grinspun , 2003
"... ..."
Abstract - Cited by 8 (1 self) - Add to MetaCart
Abstract not found

The Invariant Refinement Method?

by Tomas Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Frantisek Plasil
"... Abstract. The chapter describes IRM, a method that guides the de-sign of smart-cyber physical systems that are built according to the au-tonomic service-component paradigm. IRM is a requirements-oriented design method that focuses on distributed collaboration. It relies on the invariant concept to m ..."
Abstract - Add to MetaCart
Abstract. The chapter describes IRM, a method that guides the de-sign of smart-cyber physical systems that are built according to the au-tonomic service-component paradigm. IRM is a requirements-oriented design method that focuses on distributed collaboration. It relies on the invariant concept

refinement method for three-dimensional

by L. Barbié A, I. Ramière A, F. Lebon B
"... around the local defect correction multi-level ..."
Abstract - Add to MetaCart
around the local defect correction multi-level

REFINED METHODS FOR THE IDENTIFIABILITY OF

by Cristiano Bocci, Luca Chiantini, Giorgio Ottaviani
"... ar ..."
Abstract - Add to MetaCart
Abstract not found

Learning by Experimentation: The Operator Refinement Method

by Jaime G. Carbonell, Yolanda Gil - MACHINE LEARNING: AN ARTIFICIAL INTELLIGENCE APPROACH, VOLUME III , 1996
"... Autonomous systems require the ability to plan effective courses of action under potentially uncertain or unpredictable contingencies. Planning requires knowledge of the environment that is accurate enough to allow reasoning about actions. If the environment is too complex or very dynamic, goal-driv ..."
Abstract - Cited by 39 (7 self) - Add to MetaCart
-driven learning with reactive feedback becomes a necessity. This chapter addresses the issue of learning by experimentation as an integral component of PRODIGY. PRODIGY is a flexible planning system that encodes its domain knowledge as declarative operators, and applies the operator refinement method to acquire

A refinement method for java programs

by Holger Grandy, Kurt Stenzel, Wolfgang Reif , 2006
"... We present a refinement method for Java programs which is motivated by the challenge of verifying security protocol implementations. specifications down to the level of code running in the real application. The approach is based on a calculus for the verification of Java programs for the concrete ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
We present a refinement method for Java programs which is motivated by the challenge of verifying security protocol implementations. specifications down to the level of code running in the real application. The approach is based on a calculus for the verification of Java programs for the concrete

ECEASST The VSE Refinement Method in HETS

by Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski, Tiziana Margaria, Julia Padberg, Gabriele Taentzer, Mihai Codescu, Bruno Langenstein, Christian Maeder
"... Abstract: We present the integration of the refinement method of the VSE verifi-cation tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done via introducing the dynamic logic underlying VSE and two logic translations in the logic graph of HETS ..."
Abstract - Add to MetaCart
Abstract: We present the integration of the refinement method of the VSE verifi-cation tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done via introducing the dynamic logic underlying VSE and two logic translations in the logic graph

Improved methods for building protein models in electron density maps and the location of errors in these models. Acta Crystallogr. sect

by T. A. Jones, J. -y. Zou, S. W. Cowan, M. Kjeldgaard - A , 1991
"... Map interpretation remains a critical step in solving the structure of a macromolecule. Errors introduced at this early stage may persist throughout crystallo-graphic refinement and result in an incorrect struc-ture. The normally quoted crystallographic residual is often a poor description for the q ..."
Abstract - Cited by 1051 (9 self) - Add to MetaCart
Map interpretation remains a critical step in solving the structure of a macromolecule. Errors introduced at this early stage may persist throughout crystallo-graphic refinement and result in an incorrect struc-ture. The normally quoted crystallographic residual is often a poor description
Results 1 - 10 of 14,959