7311 search results - page 41 / 1463 » Time in State Machines |
116
Voted
IH
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we consider how to hide information into finite state machine (FSM), one of the popular computation models. The key advantage of hiding information in FSM is that t...
128
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
124
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...
134
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Given a set of n different deterministic finite state machines (DFSMs) modeling a distributed system, we examine the problem of tolerating f crash or Byzantine faults in such a ...
105
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Cashiers in retail stores usually exhibit certain repetitive and periodic activities when processing items. Detecting such activities plays a key role in most retail fraud detecti...