2116 search results - page 20 / 424 » On Probabilistic Alternating Simulations |
101
click to vote
VMCAI
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
IVCNZ
1998
15 years 1 months ago
1998
Traditional scenario of probabilistic modelling is directed at generating samples having a given probability distribution. We argue that this scenario is impracticable for image m...
109
click to vote
INFOCOM
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract— Alternate path routing has been well-explored in telecommunication networks as a means of decreasing the call blocking rate and increasing network utility. However, asi...
122
click to vote
DSN
2004
IEEE
15 years 3 months ago
2004
IEEE
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...
102
click to vote
AINA
2008
IEEE
15 years 1 months ago
2008
IEEE
A mobile ad hoc network (MANET) is a network without any predefined infrastructure in which every node not only enjoys the services from the network, but serves the network as a r...