Sciweavers

1255 search results - page 97 / 251
» A Proof Environment for the Development of Group Communicati...
Sort
View
ICC
2007
IEEE
130views Communications» more  ICC 2007»
14 years 25 days ago
Dynamic Interactive Multimedia Scenes in Mobile Broadcast Environments
Dynamic Interactive Multimedia Scenes (DIMS) is the latest 3GPP multimedia standard aiming at the development and delivery of rich media services over mobile networks, specifically...
Ahmed Younus, Wissam Abdel Samad, Thomas Stockhamm...
BIRTHDAY
2010
Springer
13 years 10 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
GLOBECOM
2008
IEEE
14 years 3 months ago
Interference-Aware Decentralized Precoding for Multicell MIMO TDD Systems
—Multiple-input multiple-output (MIMO) precoding scheme is developed for time division duplex (TDD) systems in a multicell environment. The proposed scheme is designed to maximiz...
Byong Ok Lee, Hui Won Je, Illsoo Sohn, Oh-Soon Shi...
KI
2002
Springer
13 years 8 months ago
Spatial Strategies in Human-Robot Communication
This paper deals with various kinds of mental representations available for linguistic instruction in spatial humanrobot interaction. After a survey of the literature on spatial r...
Thora Tenbrink, Kerstin Fischer, Reinhard Moratz
HPDC
2000
IEEE
14 years 1 months ago
Performance Evaluation of a Firewall-Compliant Globus-based Wide-Area Cluster System
In this paper, we present a performance evaluation of a wide-area cluster system based on a rewallenabled Globus metacomputing toolkit. In order to establish communication links ...
Yoshio Tanaka, Motonori Hirano, Mitsuhisa Sato, Hi...