6031 search results - page 212 / 1207 » Communicating Transaction Processes |
140
click to vote
IJWIN
2010
15 years 1 months ago
2010
Information regarding the propagation media is typically gathered by conducting physical experiments, measuring and processing the corresponding data to obtain channel characterist...
184
click to vote
LICS
2008
IEEE
16 years 25 days ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
153
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...
153
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
There is an increasing trend in global software development, where different parts of a software product are being developed in different organisations. The process aspect of such...
134
click to vote
DEXAW
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper addresses the problem of enabling a user of a process-centered SDE, hosted on a high-speed network, to continue working on a detached mobile workstation connected by a l...