1804 search results - page 22 / 361 » On set systems with a threshold property |
108
click to vote
FMSD
2006
15 years 1 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
120
click to vote
ENTCS
2006
15 years 1 months ago
2006
In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial studnformation ...
102
click to vote
AUTOMATICA
2007
15 years 2 months ago
2007
The problem of assigning structural properties of a linear system through sensor selection is, for a given pair (A, B), to find an output pair (C, D) such that the resulting syst...
SACMAT
2006
ACM
15 years 7 months ago
2006
ACM
The growing importance of access control has led to the definition of numerous languages for specifying policies. Since these languages are based on different foundations, langua...
122
click to vote
FOSSACS
2009
Springer
15 years 5 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...