Results 1 - 10 of 134

Synthesis of interface automata

by Purandar Bhaduri - In Third International Symposium on Automated Technology for Verification and Analysis (ATVA 2005 , 2005
"... Abstract. We investigate the problem of synthesising an interface automaton R such that P � R � Q, for given deterministic interface automata P and Q. We show that a solution exists iff P and Q ⊥ are compatible, and the most general solution is given by (P � Q ⊥ ) ⊥ , where P ⊥ is the automaton P w ..."
Abstract - Cited by 4 (2 self) - Add to MetaCart
Abstract. We investigate the problem of synthesising an interface automaton R such that P � R � Q, for given deterministic interface automata P and Q. We show that a solution exists iff P and Q ⊥ are compatible, and the most general solution is given by (P � Q ⊥ ) ⊥ , where P ⊥ is the automaton P

Modeling the Austenite Ferrite Transformation by Cellular Automaton Improving Interface Stability

by M. M. Mul , 2014
"... as te ro fS cie nc e Th es is ..."
Abstract - Add to MetaCart
as te ro fS cie nc e Th es is

An Automaton-based Approach for Web Service Mediation

by Marie-christine Fauvet, Ali Aït-bachir
"... Abstract. Interactions between Web services are based on interfaces which describe Web services on both structural and behavioral perspectives. It can happen that the interface provided by a service does no longer match (for instance, because ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
Abstract. Interactions between Web services are based on interfaces which describe Web services on both structural and behavioral perspectives. It can happen that the interface provided by a service does no longer match (for instance, because

Using Symbol Clustering to Improve Probabilistic Automaton Inference

by Pierre Dupont, Lin Chase, Universit'e Jean Monnet, Rue P. Michelon , 1998
"... . In this paper we show that clustering alphabet symbols before PDFA inference is performed reduces perplexity on new data. This result is especially important in real tasks, such as spoken language interfaces, in which data sparseness is a significant issue. We describe the application of the ALERG ..."
Abstract - Cited by 9 (2 self) - Add to MetaCart
. In this paper we show that clustering alphabet symbols before PDFA inference is performed reduces perplexity on new data. This result is especially important in real tasks, such as spoken language interfaces, in which data sparseness is a significant issue. We describe the application

Spontaneous Nucleation In A Reactive Lattice Gas Automaton

by Jörg R. Weimar , 1992
"... Introduction Nucleation in reaction-diffusion systems with bistability or excitability is the triggering process of phase transformation phenomena of importance in metallurgical, crystalline, chemical, and biological systems. Most models of nucleations deal either with homogeneous systems or with c ..."
Abstract - Add to MetaCart
the intrinsic noise [5] generated by the discrete reactive events. This simulation technique allows an easy implementation of complex boundary conditions. 2. Bistability and Movement of Interfaces The chemical reaction model devised by F. Schlogl [4] is a simple reaction scheme that exhibits bistability: A

Algorithms for Interface Synthesis

by Dirk Beyer, Thomas A. Henzinger, Vasu Singh , 2007
"... A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We compare and evaluate three different algorithms for automatically extracting temporal interfaces from program code: (1) a game algorith ..."
Abstract - Cited by 11 (1 self) - Add to MetaCart
A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We compare and evaluate three different algorithms for automatically extracting temporal interfaces from program code: (1) a game

MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems

by Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
"... Abstract — Robotics poses a challenge for software engineering as the vast numbers of different robot platforms impose different requirements on robot control architectures. The platform dependent development of robotic applications impedes reusability and portability. The lack of reusability hamper ..."
Abstract - Cited by 9 (8 self) - Add to MetaCart
hampers broad propagation of robotics applications. The MontiArcAutomaton architecture and behavior modeling framework provides an integrated, platform independent structure and behavior modeling language with an extensible code generation framework. MontiArcAutomaton’s central concept is encapsulation

Spatial updating, spatial transients, and regularities of a complex automaton with nonperiodic architecture

by Joana G Freire , Owen J Brison , Jason A C Gallas - Chaos , 2010
"... We study the dynamics of patterns exhibited by rule 52, a totalistic cellular automaton displaying intricate behaviors and wide regions of active/inactive synchronization patches. Systematic computer simulations involving 2 30 initial configurations reveal that all complexity in this automaton orig ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
We study the dynamics of patterns exhibited by rule 52, a totalistic cellular automaton displaying intricate behaviors and wide regions of active/inactive synchronization patches. Systematic computer simulations involving 2 30 initial configurations reveal that all complexity in this automaton

LATTICE-AUTOMATON MODELLING OF BIOTURBATION: IMPLICATIONS FOR SHORT- LIVED AND EARLY TRANSIENT TRACERS

by Bernard Boudreau, Dan Reed, Jae Choi, Katherine Huang, Filip Meysman
"... The activities of infauna have a profound influence on the fabric and composition of sediments. For example, sediment fabric and structure are modified and biogenic hetero-geneities are created that change the acoustic response and geotechnical properties; contaminants at the sediment-water interfac ..."
Abstract - Add to MetaCart
-water interface can be removed to depth far more rapidly than by burial alone, whereas "capped " pollutants can be transported back to the surface and re-introduced to the environment; the preserved geological/geochemical record can be funda-mentally altered in terms of both timing and intensity

MULTISCALE MODELING OF DUCTILE IRON SOLIDIFICATION WITH CONTINUOUS NUCLEATION BY A CELLULAR AUTOMATON

by Andriy A Burbelko , Daniel Gurgul , Edward Fraś , Edward Guzik
"... ABSTRACT The solidification of metals and alloys is a typical example of multiphysics and multiscale engineering systems. The phenomenon of different time and spatial scales should be taken into consideration in the modeling of a microstructure formation: heat diffusion, the components diffusion in ..."
Abstract - Add to MetaCart
in the liquid and solid phases, the thermodynamics of phase transformation under a condition of inhomogeneous chemical composition of growing and vanishing phases, phase interface kinetics, and grains nucleation. The results of a two-dimensional modeling of the microstructure formation in a ductile cast iron
Results 1 - 10 of 134