Please wait a minute...
ZJUS-A
Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering)  2005, Vol. 6 Issue ( 5): 10-    DOI: 10.1631/jzus.2005.A0414
    
Using location types to control interferences in mobile resources
FU Cheng, YOU Jin-yuan
Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200030, China
Download:     PDF (0 KB)     
Export: BibTeX | EndNote (RIS)      

Abstract  This paper presents a type system, called Location System (L-S), to control the interferences in the ambient-like calculi. The L-S allows well-behaved (non-interfering) processes to run in parallel if they do not access shared location during their execution life cycle. This approach is designed for a variant of Mobile Ambient (MA), called Safe Mobile Resources (SR), but it can be also used in other ambient-like calculi which are also discussed in this paper.

Key words： Computer Concurrency      Mobile Ambient      Type System     
Received: 20 January 2004     
CLC:  TP393  
Service
E-mail this article
Add to my bookshelf
Add to citation manager
E-mail Alert
RSS
Articles by authors
FU Cheng
YOU Jin-yuan
Cite this article:

FU Cheng, YOU Jin-yuan. Using location types to control interferences in mobile resources. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2005, 6( 5): 10-.

URL:

http://www.zjujournals.com/xueshu/zjus-a/10.1631/jzus.2005.A0414     OR     http://www.zjujournals.com/xueshu/zjus-a/Y2005/V6/I 5/10

[1] Xiao-fan Wu, Chun Chen, Jia-jun Bu, Gang Chen. Sensor network architecture for intelligent high-speed train on-board monitoring[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2011, 12(12): 921-925.
[2] Pablo García Ansola, Andrés García, Javier de las Morenas, Javier García Escribano, Francisco Javier Otamendi. ZigID: Improving visibility in industrial environments by combining WSN and RFID[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2011, 12(11): 849-859.
[3] Mucheol KIM, Sunhong KIM, Hyungjin BYUN, Sangyong HAN. Optimized algorithm for balancing clusters in wireless sensor networks[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2009, 10(10): 1404-1412.
[4] Yin ZHANG, Jiang-qin WU, Yue-ting ZHUANG. Random walk models for top-N recommendation task[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2009, 10(7): 927-936.
[5] Fan-rui KONG, Chun-wen LI, Qing-qing DING, Guang-zhao CUI, Bing-yi CUI. WAPN: a distributed wormhole attack detection approach for wireless sensor networks[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2009, 10(2): 279-289.
[6] Xin-yu WANG, Xiao-hu YANG, Jian-ling SUN, Wei LI, Wei SHI, Shan-ping LI. An effective connected dominating set based mobility management algorithm in MANETs[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2008, 9(10): 1318-1325.
[7] Zhe-jing BAO, Yi-jia CAO. Cascading failures in local-world evolving networks[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2008, 9(10): 1336-1340.
[8] Jian WANG, Yan-heng LIU, Jian-qi ZHU, Yu JIAO. Model for cascading failures in congested Internet[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2008, 9(10): 1331-1335.
[9] Tamara PAZYNYUK, Jian-zhong LI, George S. OREKU. Improved Feistel-based ciphers for wireless sensor network security[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2008, 9(8): 1111-1117.
[10] R. VIDHYAPRIYA, P. T. VANATHI. Reliable energy-efficient routing with novel route update in wireless sensor networks[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2008, 9(8): 1099-1110.
[11] Li ZHU, Zhi-shu LI, Liang-yin CHEN, Yan-hong CHENG. Two-stage evolutionary algorithm for dynamic multicast routing in mesh network[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2008, 9(6): 791-798.
[12] Yao-feng WEN, Yu-quan CHEN, Min PAN. Adaptive ant-based routing in wireless sensor networks using Energy*Delay metrics[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2008, 9(4): 531-538.
[13] Yi-xiao LI, Xiao-gang JIN, Fan-sheng KONG, Hui-lan LUO. Strategic games on a hierarchical network model[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2008, 9(2): 271-278.
[14] HUANG Wen-liang, LI Shi-jian, LIU Duo. Designing reduced beacon trajectory for sensor localization[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2007, 8(12): 1971-1982.
[15] GUO Tong-qiang, WENG Jian-guang, ZHUANG Yue-ting. Content subscribing mechanism in P2P streaming based on gamma distribution prediction[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2007, 8(12): 1983-1989.