5334 search results - page 361 / 1067 » Communicating quantum processes |
162
click to vote
ISVLSI
2003
IEEE
15 years 12 months ago
2003
IEEE
: Ultra wideband (UWB) is a promising new communication scheme for short-range, high data rate applications. Processing UWB signals necessitates impractically high sampling rates f...
201
click to vote
RIDE
2000
IEEE
15 years 11 months ago
2000
IEEE
We present the notion of a distributed database made up entirely of mobile components. Since disconnections will be frequent in such an environment, we develop a disconnection and...
206
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
195
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
149
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Handshake protocols are asynchronous protocols that enforce several properties such as absence of transmission interference and insensitivity from delays of propagation on wires. W...