3199 search results - page 140 / 640 » Variability in Automation System Models |
176
Voted
BMCBI
2011
14 years 6 months ago
2011
Background: Constraint-based approaches facilitate the prediction of cellular metabolic capabilities, based, in turn on predictions of the repertoire of enzymes encoded in the gen...
155
Voted
ICLP
2011
Springer
14 years 5 months ago
2011
Springer
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...
123
Voted
ASP
2001
Springer
15 years 7 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
105
click to vote
SCL
2008
15 years 2 months ago
2008
We establish exponential stability of nonlinear time-varying impulsive systems by employing Lyapunov functions with discontinuity at the impulse times. Our stability conditions ha...
DSRT
2005
IEEE
15 years 8 months ago
2005
IEEE
The paper presents a load management mechanism for distributed simulations of multi-agent systems. The mechanism minimises the cost of accessing the shared state in the distribute...