2167 search results - page 190 / 434 » Stochastic Process Algebras |
163
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
157
click to vote
IADIS
2004
15 years 7 months ago
2004
This paper addresses the problem of establishing collaboration between devices in a home environment, even when no previous knowledge is known or stored on the devices. It focuses...
283
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper, we are concerned with the distributed monitoring of P2P systems. We introduce the P2P Monitor system and a new declarative language, namely P2PML, for specifying mo...
182
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Many models from a variety of areas involve the computation of an equilibrium or fixed point of some kind. Examples include Nash equilibria in games; market equilibria; computing o...
165
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
A Bayesian formulation of quickest change detection in multiple onoff processes is obtained within a decision-theoretic framework. For geometrically distributed busy and idle time...