4350 search results - page 249 / 870 » Case studies for contract-based systems |
179
click to vote
WSC
2008
15 years 9 months ago
2008
Modeling and simulation of biochemical systems are important tasks because they can provide insights into complicated systems where traditional experimentation is expensive or imp...
169
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
In this paper the issue of system evolution is addressed. Activity Theory and the concept of exapansive cycles are reviewed as theories to explain systemic evolution. Contradictio...
182
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Stability properties for continuous-time linear switched systems are at first determined by the (largest) Lyapunov exponent associated with the system, which is the analogous of t...
188
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
150
click to vote
ECAI
2004
Springer
16 years 6 hour ago
2004
Springer
This paper addresses the diagnosability problem of distributed discrete event systems. Until now, the problem of diagnosability has always been solved by considering centralised ap...