4722 search results - page 477 / 945 » Encoding Program Executions |
207
click to vote
ATVA
2006
Springer
15 years 11 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
237
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
195
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
206
click to vote
EUROGP
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. A new model for evolving crossover operators for evolutionary function optimization is proposed in this paper. The model is a hybrid technique that combines a Genetic Pro...
222
click to vote
FOSSACS
2006
Springer
15 years 11 months ago
2006
Springer
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...