1916 search results - page 93 / 384 » Reconfiguring a state machine |
CTRSA
2010
Springer
14 years 2 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...
DATE
2002
IEEE
14 years 26 days ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
ADS
2004
Springer
13 years 11 months ago
2004
Springer
The monitoring of emotional user states can help to assess the progress of human-machine-communication. If we look at specific databases, however, we are faced with several problem...
ACL
1998
13 years 9 months ago
1998
We describe a method for the fully automatic learning of hierarchical finite state translation models. The input to the method is transcribed speech utterances and their correspon...
ERSHOV
2003
Springer
14 years 1 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...