4445 search results - page 259 / 889 » Reflective Authorization Systems |
178
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract: An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in...
156
click to vote
TACS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...
136
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
The automation of forest cleaning presupposes principles for choosing those trees that ought to be taken away and those that shall be left standing. In this paper, which is a repor...
162
click to vote
IIWAS
2003
15 years 7 months ago
2003
In this paper the analogy between biological swarms and artificial multiagent systems is pointed out. As an example the steps required to model the artificial optimization techniq...
150
click to vote
AUTOMATICA
2005
15 years 5 months ago
2005
We study statistical consistency of two recently proposed subspace identification algorithms for closed-loop systems. These algorithms een as implementations of an abstract state-...