2116 search results - page 20 / 424 » On Probabilistic Alternating Simulations |
VMCAI
2012
Springer
12 years 5 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
13 years 11 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...
INFOCOM
2000
IEEE
14 years 2 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...
DSN
2004
IEEE
14 years 1 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...
AINA
2008
IEEE
14 years 3 days 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...