5599 search results - page 387 / 1120 » Abstract State Services |
205
click to vote
CANS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The main contribution of this paper is a new iterated secretkey block cipher called 3D, inspired by the AES cipher. The 3D cipher has an SPN design, operates on 512-bit b...
199
click to vote
ACOM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. There are two main traditions in defining a semantics for agent communication languages, based either on mental attitudes or on social commitments. In this paper, we tran...
224
click to vote
WSS
2001
15 years 8 months ago
2001
Abstract. A data structure is stabilizing if, for any arbitrary (and possibly illegitimate) initial state, any sequence of sufficiently many operations brings the data structure to...
172
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
152
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
Abstract-- We address a new problem--the invertibility problem for continuous-time switched linear systems, which is the problem of recovering the switching signal and the input un...