Sciweavers

5334 search results - page 62 / 1067
» Communicating quantum processes
Sort
View
AUSAI
2001
Springer
15 years 7 months ago
A Semiotic Model of Communication and Its Implications for the Digital City Development
This study attempts to find a theoretical basis for the development of digital cities. The ultimate function of a digital city is to support navigation in an environment. Navigatio...
Victor V. Kryssanov, Masayuki Okabe, Koh Kakusho, ...
CODES
2001
IEEE
15 years 7 months ago
A trace transformation technique for communication refinement
Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applicahis is partly due to the abstract primitives that thes...
Paul Lieverse, Pieter van der Wolf, Ed F. Deprette...
JHSN
2000
86views more  JHSN 2000»
15 years 3 months ago
Alert communication primitives above TCP
We consider communication primitives that can be executed by an application process to exchange messages with another application process over a TCP/IP network. A communication pri...
Mohamed G. Gouda, Tommy M. McGuire
TASE
2009
IEEE
15 years 10 months ago
State Visibility and Communication in Unifying Theories of Programming
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
Andrew Butterfield, Pawel Gancarski, Jim Woodcock
IPPS
1999
IEEE
15 years 7 months ago
Communication-Intensive Parallel Applications and Non-dedicated Clusters of Workstations
Time-sharing operating systems may delay application processing of incoming messages because other processes are scheduled when the messages arrive. In this paper, we present a sim...
Kritchalach Thitikamol, Peter J. Keleher