289 search results - page 39 / 58 » Timed, Distributed, Probabilistic, Typed Processes |
SSS
2010
Springer
13 years 6 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— Consider a generic data unit of random size L that needs to be transmitted over a channel of unit capacity. The channel dynamics is modeled as an on-off process {(Ai, Ui)}i≥1...
FCCM
2008
IEEE
14 years 3 months ago
2008
IEEE
The recent turmoil in global credit markets has demonstrated the need for advanced modelling of credit risk, which can take into account the effects of changing economic condition...
SIGMOD
2008
ACM
14 years 8 months ago
2008
ACM
To deal with data uncertainty, existing probabilistic database systems augment tuples with attribute-level or tuple-level probability values, which are loaded into the database al...
ICTAC
2005
Springer
14 years 2 months ago
2005
Springer
It has recently been shown that fair exchange, a security problem in distributed systems, can be reduced to a fault tolerance problem, namely a special form of distributed consensu...