1183 search results - page 106 / 237 » On flow-sensitive security types |
133
click to vote
OOPSLA
2001
Springer
15 years 9 months ago
2001
Springer
Reference counting is not naturally suitable for running on multiprocessors. The update of pointers and reference counts requires atomic and synchronized operations. We present a ...
139
click to vote
FSE
1998
Springer
15 years 9 months ago
1998
Springer
In this paper we discuss PRNGs: the mechanisms used by real-world secure systems to generate cryptographic keys, initialization vectors, "random" nonces, and other values...
131
click to vote
SAFECOMP
1998
Springer
15 years 8 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...
121
click to vote
AGENTS
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. A special kind of anticipation is when an anticipated undesired situation makes an agent adapt its behavior in order to prevent that this situation will occur. In this ch...
144
click to vote
PDPTA
2004
15 years 6 months ago
2004
Abstract-- Service descriptions based on type hiernd abstract service states ruling the availability of operations permit more secure service combinations in distributed systems de...