5634 search results - page 308 / 1127 » About Abstract Classes |
166
click to vote
CSFW
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract— Replay attacks on security protocols have been discussed for quite some time in the literature. However, the efforts to address these attacks have been largely incomple...
149
click to vote
PPSN
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We introduce a class of embedded-particle models for describing the emergent computational strategies observed in cellular automata (CAs) that were evolved for performing...
165
click to vote
SAFECOMP
1998
Springer
15 years 10 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...
171
click to vote
HYBRID
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
137
click to vote
ISCAS
1993
IEEE
15 years 10 months ago
1993
IEEE
Abstract—The range of operating conditions for a seriesparallelnetworkofvariablelinearresistors, voltagesources, and current sources can be represented as a convex polygon in a T...