5084 search results - page 108 / 1017 » Proving Possibility Properties |
170
click to vote
ALIFE
2005
15 years 5 months ago
2005
We consider complex systems that are composed of many interacting elements, evolving under some dynamics. We are interested in characterizing the ways in which these elements may b...
136
click to vote
LOGCOM
2006
15 years 5 months ago
2006
Starting from a decomposition result of MTL-chains as ordinal sums, we focus our attention on a particular kind of indecomposable semihoops, namely weakly cancellative semihoops. ...
152
click to vote
CSFW
2002
IEEE
15 years 10 months ago
2002
IEEE
We study a security property for processes in dynamic contexts, i.e., contexts that can be reconfigured at runtime. The security property that we propose in this paper, named Per...
138
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Type-flaw attacks and multi-protocol attacks on security protocols have been frequently reported in the literature. Heather et al. and Guttman et al. proved that these could be pr...
135
click to vote
DAM
2006
15 years 5 months ago
2006
Let p be a prime, q = pm and Fq be the finite field with q elements. In this paper, we will consider q-ary sequences of period qn - 1 for q > 2 and study their various balance ...