1783 search results - page 125 / 357 » Provenance and Data Synchronization |
120
Voted
WETICE
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we explore some of the new opportunities for distributed collaborative applications that emerge from the use of XML as a data specification language. We present two...
164
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
101
click to vote
IFIP
1999
Springer
15 years 8 months ago
1999
Springer
: This paper presents a synthesis algorithm for pipelined circuits. The circuit is specified as a collection of independent, looselycoupled modules connected by queues. The synthe...
173
click to vote
MFCS
1994
Springer
15 years 8 months ago
1994
Springer
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
113
click to vote
LICS
1992
IEEE
15 years 8 months ago
1992
IEEE
d Abstract) Frank S. de Boer, Jan Willem Klopyz , Catuscia Palamidessiyx We study the paradigm of asynchronous process communication, as contrasted with the synchronous communicat...