1753 search results - page 68 / 351 » State Machines |
91
Voted
CTRSA
2010
Springer
15 years 4 months ago
2010
Springer
Typical security models used for proving security of deployed cryptographic primitives do not allow adversaries to rewind or reset honest parties to an earlier state. Thus, it is c...
ICML
2010
IEEE
14 years 11 months ago
2010
IEEE
We introduce new, efficient algorithms for value iteration with multiple reward functions and continuous state. We also give an algorithm for finding the set of all nondominated a...
ICCAD
2001
IEEE
15 years 7 months ago
2001
IEEE
SPFDs are a mechanism to express flexibility in Boolean networks. Introduced by Yamashita et al. in the context of FPGA synthesis [4], they were extended later to general combina...
ICVGIP
2004
14 years 11 months ago
2004
In this paper we present a simple framework for activity recognition based on a model of multi-layered finite state machines, built on top of a low level image processing module f...
ICECCS
1997
IEEE
15 years 2 months ago
1997
IEEE
The paper addresses the problem of client–service interaction in the case of replicated service provision. Existing systems that follow the State Machine approach concentrate on...