1711 search results - page 96 / 343 » Completing pseudojump operators |
CONCUR
2003
Springer
14 years 1 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
CSL
2003
Springer
14 years 1 months ago
2003
Springer
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...
HUMAN
2003
Springer
14 years 1 months ago
2003
Springer
In this paper, we introduce Relayed Multicast Control Protocol (RMCP). The RMCP has been designed for realizing and managing the relayed multicast. Relayed multicast, as known as O...
ICNP
2002
IEEE
14 years 28 days ago
2002
IEEE
This paper describes the main ideas of DRMTP (Distributed Real-time Multicast Transport Protocol), an adaptive application-level protocol which allows cooperative multicast of rea...
WISE
2002
Springer
14 years 27 days ago
2002
Springer
—Knowledge inference from semi-structured data can utilize frequent sub structures, in addition to frequency of data items. In fact, the working assumption of the present study i...