5084 search results - page 186 / 1017 » Proving Possibility Properties |
115
click to vote
ENDM
2006
15 years 6 months ago
2006
In this note, we prove the uniqueness of the one-point extension S of a generalized hexagon of order 2 and prove the non-existence of such an extension S of any other finite gener...
159
click to vote
ENTCS
2007
15 years 6 months ago
2007
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...
181
click to vote
ENTCS
2007
15 years 6 months ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
160
click to vote
TIT
2008
15 years 6 months ago
2008
An extractor is a function that is used to extract randomness. Given an imperfect random source X and a uniform seed Y , the output (X; Y ) is close to uniform. We study properties...
137
click to vote
FUIN
2002
15 years 6 months ago
2002
One-way and two-way cellular language acceptors with restricted nondeterminism are investigated. The number of nondeterministic state transitions is regarded as limited resource wh...