Sciweavers

769 search results - page 102 / 154
» The Chemical Reaction Model
Sort
View
BIRTHDAY
2004
Springer
14 years 2 months ago
Splicing to the Limit
We consider the result of a wet splicing procedure after the reaction has run to its completion, or limit, and we try to describe the molecules that will be present at this final ...
Elizabeth Goode, Dennis Pixton
LCTRTS
2004
Springer
14 years 2 months ago
Flattening statecharts without explosions
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
Andrzej Wasowski
RE
2004
Springer
14 years 2 months ago
Composing Requirements Using Problem Frames
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
Robin C. Laney, Leonor Barroca, Michael Jackson, B...
ICRA
2003
IEEE
123views Robotics» more  ICRA 2003»
14 years 2 months ago
Autonomous reactive control for simulated humanoids
— We present a framework for composing motor controllers into autonomous composite reactive behaviors for bipedal robots and autonomous, physically-simulated humanoids. A key con...
Petros Faloutsos, Michiel van de Panne, Demetri Te...
CAISE
2003
Springer
14 years 2 months ago
Coordination for Distributed Business Systems
Abstract. We motivate, discuss and present extensions to architecture modelling techniques through which business systems can support services and applications that are location an...
Luis Filipe Andrade, José Luiz Fiadeiro, An...