Sciweavers

173 search results - page 6 / 35
» Processes for Adhesive Rewriting Systems
Sort
View
AB
2007
Springer
15 years 11 months ago
Attenuation Regulation as a Term Rewriting System
Abstract The classical attenuation regulation of gene expression in bacteria is considered. We propose to represent the secondary RNA structure in the leader region of a gene or an...
Eugene Asarin, Thierry Cachat, Alexander Seliverst...
ENTCS
2007
137views more  ENTCS 2007»
15 years 5 months ago
Formal Sequentialization of Distributed Systems via Program Rewriting
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
Miquel Bertran, Francesc-Xavier Babot, August Clim...
IROS
2006
IEEE
208views Robotics» more  IROS 2006»
15 years 11 months ago
Modeling Soft Contact Mechanism of Biological Cells Using an Atomic Force Bio-Microscope
— The development of a mechanical force sensing device system based on force/vision feedback control for exploring in vitro the contact mechanics of human adherent cervix Epithel...
Maxime Girot, Mehdi Boukallel, Stephane Rég...
FUIN
2002
80views more  FUIN 2002»
15 years 4 months ago
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines)
Abstract. The aim of this paper is to show how the P systems with replicated rewriting can be modeled by X-machines (also called Eilenberg machines). In the first approach, the par...
Joaquin Aguado, Tudor Balanescu, Anthony J. Cowlin...
TAGT
1998
Springer
156views Graph Theory» more  TAGT 1998»
15 years 9 months ago
Graph-Based Models for Managing Development Processes, Resources, and Products
Abstract. Management of development processes in di erent engineering disciplines is a challenging task. We present an integrated approach which covers not only the activities to b...
Carl-Arndt Krapp, Sven Krüppel, Ansgar Schlei...