1785 search results - page 181 / 357 » Modeling Communication with Synchronized Environments |
129
click to vote
FORTE
2008
15 years 5 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
130
click to vote
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
With the increased availability of pen-based devices, it becomes interesting to conduct and to archive multi-party communication sessions that involve audio and digital ink on a s...
171
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
105
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— In this paper, we propose asynchronous non-orthogonal communication between distributed sensors and a data fusion center via asynchronous direct-sequence code-division ...
125
click to vote
FORTE
2001
15 years 5 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...