Sciweavers

41938 search results - page 351 / 8388
» Complex Systems Modeling
Sort
View
TCBB
2010
89views more  TCBB 2010»
15 years 5 months ago
Model Composition for Macromolecular Regulatory Networks
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...
Ranjit Randhawa, Clifford A. Shaffer, John J. Tyso...
ER
1997
Springer
145views Database» more  ER 1997»
15 years 10 months ago
Enterprise Knowledge Management and Conceptual Modelling
Turbulence is in the nature of business environments. Changes brought about because of different requirements such as social, political, technical and economic, exert pressures on ...
Pericles Loucopoulos, Vagelio Kavakli
SIGSOFT
2006
ACM
16 years 7 months ago
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
Christophe Damas, Bernard Lambeau, Axel van Lamswe...
FPL
2007
Springer
190views Hardware» more  FPL 2007»
16 years 25 days ago
The ANDRES Project: Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems
Today’s heterogeneous embedded systems combine components from different domains, such as software, analogue hardware and digital hardware. The design and implementation of thes...
Andreas Herrholz, Frank Oppenheimer, Philipp A. Ha...
CORR
2007
Springer
70views Education» more  CORR 2007»
15 years 6 months ago
On the Proof Complexity of Deep Inference
We obtain two results about the proof complexity of deep inference: 1) deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin exte...
Paola Bruscoli, Alessio Guglielmi