9702 search results - page 320 / 1941 » Communicating Mobile Processes |
174
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Presented here is a computational system which uses free−space optical interconnect (FSOI) communication between processing elements to perform distributed calculations. Technolo...
190
click to vote
ACAL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Living Technology is researching novel IT making strong use of programmable chemical systems. These chemical systems shall finally converge to artificial cells resulting ...
148
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper we present a text-independent automatic speaker verification system that works in the compressed domain using GSM AMR coded speech. While traditional approaches proc...
162
click to vote
WOTUG
2008
15 years 8 months ago
2008
CSP processes have a static view of their environment
174
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...