Sciweavers

4356 search results - page 519 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
FORMATS
2010
Springer
15 years 4 months ago
Layered Composition for Timed Automata
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
Ernst-Rüdiger Olderog, Mani Swaminathan
GLOBECOM
2010
IEEE
15 years 4 months ago
Optimal Content Transmission Policy in Publish-Subscribe Mobile Social Networks
Abstract--We consider the problem of dynamic content distribution in publish-subscribe mobile social networks. Mobile users subscribe to the content provider. Then, when new conten...
Dusit Niyato, Ping Wang, Ekram Hossain, Yifan Li
GLOBECOM
2010
IEEE
15 years 4 months ago
Mobi-Sync: Efficient Time Synchronization for Mobile Underwater Sensor Networks
Abstract--Time synchronization is a critical service for distributed network systems. In this work, we investigate this problem in the context of underwater sensor networks (UWSNs)...
Jun Liu, Robert Zhong Zhou, James Peng Zheng, Jun-...
GLOBECOM
2010
IEEE
15 years 4 months ago
Distributed Transmit Beamforming with Autonomous and Self-Organizing Mobile Antennas
Abstract--The paper studies the problem of distributed transmit beamforming with autonomous and self-organizing mobile antennas. The objective is to design a distributed algorithm ...
Jian Hou, Zhiyun Lin, Wenyuan Xu, Gangfeng Yan
GLOBECOM
2010
IEEE
15 years 4 months ago
Know Your Enemy, Know Yourself: Block-Level Network Behavior Profiling and Tracking
Abstract. Gaining a better knowledge of one's own network is crucial to effectively manage and secure today's large, diverse campus and enterprise networks. Because of th...
Esam Sharafuddin, Nan Jiang, Yu Jin, Zhi-Li Zhang