3457 search results - page 202 / 692 » A Symbol Is Not a Symbol |
144
click to vote
ESA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. A lexicographic ranking function for the set of all permutations of n ordered symbols translates permutations to their ranks in the lexicographic order of all permutation...
153
click to vote
SP
2006
IEEE
16 years 15 days ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
136
click to vote
CAAP
1990
15 years 10 months ago
1990
act We show how to modelize concurrency between several processors in terms of automata and Markov chains; then, we define a concurrency measure which reflects more faithfully the ...
151
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we present a unified asymptotic symbol error rate (SER) analysis for linearly modulated signals with equal gain combining (EGC) and selection combining (SC) at the r...
164
click to vote
MCU
2007
15 years 8 months ago
2007
Abstract. In this paper we will give an outline of the proof of the solvability of the halting and reachability problem for 2-symbolic tag systems with a deletion number v = 2. Thi...