10707 search results - page 269 / 2142 » Designing executable abstractions |
187
click to vote
ADAEUROPE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In this paper we present algorithms to statically detect livelocks in Ada multitasking programs. Although the algorithms’ worst-case execution time is exponential, they...
152
click to vote
FSEN
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
183
click to vote
TCC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We show a new protocol for blind signatures in which security is preserved even under arbitrarily-many concurrent executions. The protocol can be based on standard crypto...
172
click to vote
AIIA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper we present a mixed-initiative planning approach to humanrobot interaction in a rescue domain. We deploy a model-based executive monitoring system to coordin...
187
click to vote
EUROGP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Genetic Programming has been slow at realizing other programming paradigms than conventional, deterministic, sequential vonNeumann type algorithms. In this contribution w...