5334 search results - page 439 / 1067 » Communicating quantum processes |
164
click to vote
CCR
2005
15 years 6 months ago
2005
In this note, we propose a security mechanism for protecting IPv6 networks from possible abuses caused by the malicious usage of a multihoming protocol. In the presented approach,...
178
click to vote
TWC
2008
15 years 6 months ago
2008
We consider a multi-channel opportunistic communication system where the states of these channels evolve as independent and statistically identical Markov chains (the Gilbert-Elli...
192
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
RTMonitor is a real-time data management system for traffic navigation applications. In our system, mobile vehicles initiate time-constrained navigation requests and RTMonitor cal...
158
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Providing vehicles with enhanced ability to communicate and exchange real-time data with neighboring vehicles opens up a variety of complex challenges that can only be met by comb...
213
click to vote
JFP
2010
15 years 5 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...