3765 search results - page 64 / 753 » Qualitative Action Systems |
ESEC
1999
Springer
14 years 1 months ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
KR
1998
Springer
14 years 29 days ago
1998
Springer
Our concern in this paper is with conjecturing diagnoses to explain what happened to a system, given a theory of system behaviour and some observed (aberrant) behaviour. We charac...
ALMOB
2006
13 years 8 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
ISER
1999
Springer
14 years 1 months ago
1999
Springer
: In this paper we describe how the combination of several vision sensors can be used to track multiple human targets in a typical surveillance situation. The experimental system d...
SP
1996
IEEE
14 years 28 days ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...