887 search results - page 74 / 178 » Representing Systems with Hidden State |
138
click to vote
AAI
2010
14 years 11 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
118
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
123
click to vote
ACSD
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
115
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We consider real-time multi-agent coordination in a dynamic and uncertain domain addressing both distributed state information and partial knowledge of the common reward function....
106
click to vote
WSC
2004
15 years 5 months ago
2004
As part of the new security environment at the nation's airports, discrete event simulation modeling was applied shortly after 9-11 to understand the operational dynamics of ...