1249 search results - page 34 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
ERLANG
2003
ACM
14 years 29 days ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
ICML
1999
IEEE
14 years 8 months ago
1999
IEEE
ing from Robot Sensor Data using Hidden Markov Models Laura Firoiu, Paul Cohen Computer Science Department, LGRC University of Massachusetts at Amherst, Box 34610 Amherst, MA 01003...
PODC
1997
ACM
13 years 12 months ago
1997
ACM
Thispaperdescribesanewschemeforguaranteeingthattransactions in a client/server system observe consistent state while they are running. The scheme is presented in conjunction with ...
ICNP
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract--To ensure state synchronization of signalling operations, many signaling protocol designs choose to establish "soft" state that expires if it is not refreshed. ...
ITC
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper presents a novel technique to evaluate the noncontrollability measures of state registers for partial scan design. Our model uses implicit techniques for finite state ma...