1693 search results - page 73 / 339 » Interference-Resilient Information Exchange |
ICICS
2010
Springer
14 years 7 months ago
2010
Springer
With today's technology, many applications rely on the existence of small devices that can exchange information and form communication networks. In a significant portion of su...
IFIPTCS
2010
14 years 7 months ago
2010
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
147
click to vote
SCL
2011
14 years 4 months ago
2011
In this paper we present a technique for design of decentralized controllers for mean square stability of a large scale system with cascaded clusters of subsystems. Each subsystem...
TSMC
2010
14 years 4 months ago
2010
This paper proposes modeling the rapidly evolving energy systems as cyber-based physical systems. It introduces a novel cyber-based dynamical model whose mathematical description d...
CPP
2011
13 years 9 months ago
2011
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...