1445 search results - page 39 / 289 » Properties of state spaces and their applications |
159
click to vote
DBSEC
2000
15 years 7 months ago
2000
The premises of this paper are 1) security is application dependent because application semantics directly influence proper protection; but 2) applications are generally too compl...
164
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Network reconstruction, i.e., obtaining network structure from data, is a central theme in systems biology, economics, and engineering. Previous work introduced dynamical struc...
155
click to vote
SPIN
2007
Springer
16 years 7 days ago
2007
Springer
We propose an algorithm to compute a counterexample of minimal size to some property in a finite state program, using the same space constraints than SPIN. This algorithm uses nes...
126
click to vote
IMA
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we discuss the idea of block cipher embeddings and consider a natural algebraic framework for such constructions. In this approach we regard block cipher state spaces...
146
click to vote
WSC
2001
15 years 7 months ago
2001
This paper investigates the dimensionality characteristics of the outcome space of a combat simulation. The independent state variables of all of the outcome states for a simulati...