116 search results - page 8 / 24 » Introducing Communication in Dis-POMDPs with Finite State Ma... |
110
click to vote
ICGI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Stochastic deterministic finite automata have been introduced and are used in a variety of settings. We report here a number of results concerning the learnability of th...
ENTCS
2006
14 years 11 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
FM
2003
Springer
15 years 4 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...
106
click to vote
DCOSS
2006
Springer
15 years 3 months ago
2006
Springer
In the population protocol model introduced by Angluin et al. [2], a collection of agents, which are modelled by finite state machines, move around unpredictably and have pairwise ...
107
click to vote
INFOCOM
1995
IEEE
15 years 3 months ago
1995
IEEE
In communication networks, a large number of alarms exist to signal any abnormal behavior of the network. As network faults typically result in a number of alarms, correlating the...