5336 search results - page 852 / 1068 » Steerable part models |
184
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
218
click to vote
CRYPTO
2010
Springer
15 years 7 months ago
2010
Springer
Side-channel attacks have often proven to have a devastating effect on the security of cryptographic schemes. In this paper, we address the problem of storing cryptographic keys a...
182
click to vote
DAIS
2008
15 years 7 months ago
2008
Object-oriented technologies are frequently used to design and implement distributed applications. Object replication is a well-established approach to increase the dependability f...
177
click to vote
DAGSTUHL
2009
15 years 7 months ago
2009
Abstract. The goal of this roadmap paper is to summarize the state-ofthe-art and to identify critical challenges for the systematic software engineering of self-adaptive systems. T...
182
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a path planner for Unmanned Air Vehicles (UAVs) based on Evolutionary Algorithms (EA) that can be used in realistic risky scenarios. The path returned by the a...