Sciweavers

3973 search results - page 195 / 795
» Complex adaptation and system structure
Sort
View
FM
2009
Springer
106views Formal Methods» more  FM 2009»
14 years 5 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis
IFM
2009
Springer
132views Formal Methods» more  IFM 2009»
14 years 5 months ago
Decomposition Structures for Event-B
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...
Michael Butler
KDD
1994
ACM
116views Data Mining» more  KDD 1994»
14 years 2 months ago
Exception Dags as Knowledge Structures
: The problem of transforming the knowledge bases of performance systems using induced rules or decision trees into comprehensible knowledgestructures is addressed. A knowledgestru...
Brian R. Gaines
COMPLEXITY
2004
81views more  COMPLEXITY 2004»
13 years 10 months ago
External and internal control in plant development
Bodies of plants are modularly organized. Development proceeds by adding new modules to open endings with a potential for branching. Each module is autonomous to some extent. Deve...
Beáta Oborny
BMCBI
2010
137views more  BMCBI 2010»
13 years 5 months ago
The ancient history of the structure of ribonuclease P and the early origins of Archaea
Background: Ribonuclease P is an ancient endonuclease that cleaves precursor tRNA and generally consists of a catalytic RNA subunit (RPR) and one or more proteins (RPPs). It repre...
Feng-Jie Sun, Gustavo Caetano-Anollés