Sciweavers

1922 search results - page 182 / 385
» Systems biology, models, and concurrency
Sort
View
AUTOMATICA
2011
14 years 8 months ago
Stability analysis of nonlinear quadratic systems via polyhedral Lyapunov functions
— Quadratic systems play an important role in the modeling of a wide class of nonlinear processes (electrical, robotic, biological, etc.). For such systems it is of mandatory imp...
Francesco Amato, Francesco Calabrese, Carlo Cosent...
FTCS
1998
79views more  FTCS 1998»
15 years 2 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
DSVIS
2005
Springer
15 years 7 months ago
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Maurice H. ter Beek, Mieke Massink, Diego Latella
ICNC
2005
Springer
15 years 7 months ago
Reaction-Driven Membrane Systems
Abstract. Membrane systems are gaining a prominent role in the modeling of biochemical processes and cellular dynamics. We associate specific reactivity values to the production r...
Luca Bianco, Federico Fontana, Vincenzo Manca
ICANN
2005
Springer
15 years 7 months ago
A Hardware/Software Framework for Real-Time Spiking Systems
Abstract. One focus of recent research in the field of biologically plausible neural networks is the investigation of higher-level functions such as learning, development and modu...
Matthias Oster, Adrian M. Whatley, Shih-Chii Liu, ...