Sciweavers

2184 search results - page 291 / 437
» Modeling and Realizing Interoperability
Sort
View
CORR
2008
Springer
87views Education» more  CORR 2008»
13 years 8 months ago
Indoor Channel Measurements and Communications System Design at 60 GHz
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...
ENTCS
2008
105views more  ENTCS 2008»
13 years 8 months ago
Checking Equivalence for Reo Networks
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...
Tobias Blechmann, Christel Baier
BSL
2007
51views more  BSL 2007»
13 years 8 months ago
Relating First-order Set Theories and Elementary Toposes
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 ...
IPM
2008
157views more  IPM 2008»
13 years 8 months ago
Exploring usefulness and usability in the evaluation of open access digital libraries
: 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 ...
Giannis Tsakonas, Christos Papatheodorou
JSS
2008
163views more  JSS 2008»
13 years 8 months ago
CVM - A communication virtual machine
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...