1843 search results - page 123 / 369 » Securing Class Initialization |
133
Voted
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
Our goal is for robots to learn conceptual systems su cient for natural language and planning. The learning should be autonomous, without supervision. The rst steps in building a ...
134
click to vote
SAFECOMP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. In this paper concepts for fault-tolerant communication systems in large-scale manipulators for heavy weights are introduced. This class of robots makes high demands on s...
138
click to vote
OOPSLA
1991
Springer
15 years 8 months ago
1991
Springer
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...
129
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
We address the proof-based development of cryptographic protocols satisfying security properties. Communication channels are supposed to be unsafe. Analysing cryptographic protocol...
131
click to vote
IASTEDSEA
2004
15 years 6 months ago
2004
Design by Contract is a design methodology that promotes software reliability and reusability by requiring each component module to have a well-specified interface and leaves a mo...