Sciweavers

1270 search results - page 199 / 254
» IF Validation Environment Tutorial
Sort
View
GLOBECOM
2008
IEEE
15 years 2 months ago
Computing the Receive Spatial Correlation for a Multi-Cluster MIMO Channel Using Different Array Configurations
Spatial correlation among received signals has a significant impact on the performance of a multipleinput multiple-output (MIMO) system. In prior research, expressions were derived...
Ramya Bhagavatula, Robert W. Heath Jr.
HASE
2008
IEEE
15 years 2 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
AEI
2010
136views more  AEI 2010»
15 years 2 months ago
Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing
nizing multiple forms of information and knowledge processing on different levels of abstraction in a structured and principled manner. We propose knowledge processing middleware a...
Fredrik Heintz, Jonas Kvarnström, Patrick Doh...
CN
2010
94views more  CN 2010»
15 years 2 months ago
A market-based approach to managing the risk of peer-to-peer transactions
Ptrim is a purely decentralised application for performing peer-to-peer transactions. Instead of relying on a typical trust/reputation management approach, Ptrim allows its users t...
Stephanos Androutsellis-Theotokis, Diomidis Spinel...
COMCOM
2010
133views more  COMCOM 2010»
15 years 2 months ago
Supporting mobility in an IMS-based P2P IPTV service: A proactive context transfer mechanism
In recent years, IPTV has received an increasing amount of interest from the industry, commercial providers and the research community, alike. In this context, standardization bod...
Iván Vidal, Jaime García-Reinoso, An...