2467 search results - page 146 / 494 » Finite State Machines |
154
click to vote
ALT
2002
Springer
16 years 3 months ago
2002
Springer
Abstract. We consider a problem that is related to the “Universal Encoding Problem” from information theory. The basic goal is to find rules that map “partial information”...
171
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Many stateful services use the replicated state machine approach for high availability. In this approach, a service runs on multiple machines to survive machine failures. This pap...
163
click to vote
APSEC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents an idea to apply Jackson’s JSP method, which is suitable for the transformation problem frame, into the state transition design, presented in the behavior pr...
172
click to vote
JUCS
2006
15 years 6 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
191
click to vote
GLOBECOM
2010
IEEE
15 years 3 months ago
2010
IEEE
In this paper, results on the mutual information of MIMO transmission over spatially correlated channels in slow fading environments are presented. Different receiver techniques su...