1497 search results - page 146 / 300 » Extended static checking |
82
Voted
ICPR
2002
IEEE
16 years 3 months ago
2002
IEEE
This communication addresses the issue of concurrent map building and localization (CML) for a mobile robot in an unknown environment. The proposed solution extends over previous ...
101
click to vote
CP
2009
Springer
15 years 9 months ago
2009
Springer
Multi-objective optimization is concerned with problems involving multiple measures of performance which should be optimized simultaneously. In this paper, we extend AND/OR Branch-...
97
Voted
ASIAN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
118
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
sion of an extended abstract published in Proceedings of ACM CCS 2007, ACM Press, 2007. We present new techniques that allow a return-into-libc attack to be mounted on x86 executa...
129
click to vote
LICS
1993
IEEE
15 years 6 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...