Sciweavers

Share
300 search results - page 1 / 60
» Timed, Distributed, Probabilistic, Typed Processes
Sort
View
APLAS
2007
ACM
9 years 6 months ago
Timed, Distributed, Probabilistic, Typed Processes
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
Martin Berger, Nobuko Yoshida
ICMAS
1998
9 years 3 months ago
Probabilistic Reasoning in a Distributed Multi-Agent Environment
In this paper, a model is proposed for multi-agent probabilistic reasoning in a distributed environment. Unlike other methods, this model is capable of processing input in a truly...
S. K. Michael Wong, Cory J. Butz
WINET
2002
80views more  WINET 2002»
9 years 2 months ago
A Homogeneous PCS network with Markov Call Arrival Process and Phase Type Cell Residence Time
In this paper, the arrival of calls (i.e., new and handoff calls) in a personal communications services (PCS) network is modeled by a Markov arrival process (MAP) in which we allow...
Attahiru Sule Alfa, Wei Li
CONCUR
2003
Springer
9 years 7 months ago
Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
Paulo Mateus, John C. Mitchell, Andre Scedrov
QEST
2010
IEEE
9 years 11 days ago
Timed Branching Processes
We study Timed Branching Processes (TBPs), a natural extension of (multitype) Branching Processes (BPs) where each entity is equipped with a finite set of private continuous variab...
Ashutosh Trivedi, Dominik Wojtczak
books