This paper presents a brief overview of several studies concerning the indoor wireless communications at 60 GHz performed by the IETR. The characterization and the modeling of the...
Lahatra Rakotondrainibe, Gheorghe Zaharia, Gha&ium...
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our ...
Steven Awodey, Carsten Butz, Alex Simpson, Thomas ...
: Advances in the publishing world have emerged new models of digital library development. Open access schemes are expanding their presence and realize the idea of digital library ...
The convergence of data, voice, and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has resulted in a proli...
Yi Deng, Seyed Masoud Sadjadi, Peter J. Clarke, Va...