7133 search results - page 1023 / 1427 » Communication algorithms with advice |
218
click to vote
FUIN
2007
15 years 7 months ago
2007
Abstract. Approximate Petri nets (AP-nets) can be used for the knowledge representation and approximate reasoning. The AP-net model is defined on the basis of the rough set approa...
223
click to vote
IJAMC
2007
15 years 7 months ago
2007
: This paper presents a gesture-based Human-Computer Interface (HCI) to navigate a learning object repository mapped in a 3D virtual environment. With this interface, the user can ...
247
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
A total order protocol is a fundamental building block in the construction of distributed fault-tolerant applications. Unfortunately, the implementation of such a primitive can be...
235
click to vote
SIGMETRICS
2008
ACM
15 years 7 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
190
click to vote
ACTA
2005
15 years 7 months ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...