10. ISADS 2011: Tokyo & Hiroshima, Japan

Wireless Sensor Networks

• Quazi Ehsanul Kabir Mamun, Sita Ramakrishnan, Bala Srinivasan:
  An Efficient Localized Chain Construction Scheme for Chain Oriented Wireless Sensor Networks. 3-9
  
• Md. Emdadul Haque, Fan Wei, Yukihiro Fukunaga, Takehiro Gouda, Xiaodong Lu, Kinji Mori:
  Autonomous Background Coordination Technology for Timely Sensor Connection in Wireless Sensor Networks. 10-16
  
• Mina Jung, Jae C. Oh:
  SWARM-eTOSSIM: A Simulator for Distributed Energy-Constrained Tiny Devices. 17-24
  
• Ramon Lopes, Flávio Assis, Carlos Montez:
  MASPOT: A Mobile Agent System for Sun SPOT. 25-31
  

Sensor & Ad Hoc Networks

• Yosuke Fujino, Shigeru Kuwano, Seiji Ohmori, Takafumi Fujita, Shuichi Yoshino:
  Cell Range Extension Techniques for Wide-Area Ubiquitous Network. 35-40
  
• Takehiro Gouda, Fan Wei, Md. Emdadul Haque, Yukihiro Fukunaga, Xiaodong Lu, Kinji Mori:
  Autonomous Emergency Information Transmittion Technology through Community Coordination to Achieve Real-Time in In Wireless Sensor Network System. 41-48
  
• Shengwei Yu, C. S. George Lee:
  Distributed Saddle-Point Computation for Lifetime Maximization in Mobile Sensor Networks. 49-56
  
• Zilu Liang, Yuzo Taenaka, Takefumi Ogawa, Yasushi Wakahara:
  Pro-Reactive Route Recovery with Automatic Route Shortening in Wireless Ad Hoc Networks. 57-64
  

Railway Systems

• Yupeng Liu, Tao Tang, Jintao Liu, Lin Zhao, Tianhua Xu:
  Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic. 67-72
  
• Takashi Kunifuji, Hiroshi Ito, Yoshinori Saiki, Kinji Mori:
  A Proposal of Autonomous Online Expansion Technology for Real-Time System and Its Application to Railway Signalling System. 73-80
  
• Lei Yuan, Tao Tang, Kaicheng Li:
  Modelling and Verification of the System Requirement Specification of Train Control System Using SDL. 81-85
  
• Xian Li, Ming Chai, Lin Zhao, Tao Tang, Tianhua Xu:
  Safety Monitoring for ETCS with 4-valued LTL. 86-91
  

Security

• Abdul Razzaq, Ali Hur, Muddassar Masood, Khalid Latif, Hafiz Farooq Ahmad, Hironao Takahashi:
  Foundation of Semantic Rule Engine to Protect Web Application Attacks. 95-102
  
• Kei Homma, Satoru Izumi, Kaoru Takahashi, Atsushi Togashi:
  Modeling Web Applications Design with Automata and Its Verification. 103-112
  
• Hironao Takahashi, Hafiz Farooq Ahmad, Kinji Mori:
  Application for Autonomous Decentralized Multi Layer Cache System to Web Application Firewall. 113-120
  
• Wei-Tek Tsai, Qihong Shao:
  Role-Based Access-Control Using Reference Ontology in Clouds. 121-128
  

Vehicular Ad Hoc Network

• Yasuharu Ohta, Tomoyuki Ohta, Eitaro Kohno, Yoshiaki Kakuda:
  A Store-Carry-Forward-Based Data Transfer Scheme Using Positions and Moving Direction of Vehicles for VANETs. 131-138
  
• Paolo Masci, Marco Martinucci, Felicita Di Giandomenico:
  Towards Automated Dependability Analysis of Dynamically Connected Systems. 139-146
  
• Angie Shia, Farokh B. Bastani, I-Ling Yen:
  A Highly Resilient Framework for Autonomous Robotic Swarm Systems Operating in Unknown, Hostile Environments. 147-153
  

System

• Tadashi Koga:
  Autonomous Continuous Target Tracking for Multi-sensor Systems and Its Application for Radar Network. 157-163
  
• Hidenori Yamamoto, Hiromitsu Kato:
  Platform for Cooperating Among Field Systems, Control Systems and Enterprise Systems. 164-171
  
• Masayuki Matsumoto:
  Assurance Technology of System Tests Based on Operators' Aspects. 172-176
  
• Matei Popovici, Mihnea Muraru, Alexandru Agache, Lorina Negreanu, Cristian Giumale, Ciprian Dobre:
  An Ontology-Based Dynamic Service Composition Framework for Intelligent Houses. 177-184
  

Communication Networks I

• Tatsuro Sumi, Chisa Takano, Kenji Ishida, Masaki Aida:
  Implementation and Verification of Autonomous Decentralized Flow Control Based on Local Interaction. 187-193
  
• Takeshi Kubo, Teruyuki Hasegawa, Toru Hasegawa:
  Mathematically Designing a Local Interaction Algorithm for Autonomous and Distributed Systems. 194-203
  
• Touraj Banirostam, Mehdi N. Fesharaki:
  Effective Parameters in Convergence of Autonomous Distributed Systems Using with Immune System Approch. 204-208
  
• Xiaodong Lu, Kinji Mori:
  Autonomous Content-Aware Multi-service Integration Technology to Achieve Timeliness in Evolving Situations. 209-215
  

Communication Networks II

• Hamid Mcheick, Farzad Amirjavid:
  Distribution of Jobs Based on Communication Time and Cost in Service Oriented Distributed Computing. 219-226
  
• Harumasa Tada:
  Nearest Neighbor Task Allocation for Large-Scale Distributed Systems. 227-232
  
• Khalid Mahmood, Hiro Takahashi, Xiaodong Lu, Kinji Mori:
  Autonomous Decentralized Community System for Provision of Service-Assurance to Local Majority Users. 233-239
  
• Fan Wei, Yohei Kotake, Md. Emdadul Haque, Yukihiro Fukunaga, Takehiro Gouda, Xiaodong Lu, Kinji Mori:
  Autonomous Community Adjustment Technology for Real-Time Transmission of Emergency Information. 240-247
  
• Ni Zhou, Fei Qiao, Huazhong Yang, Hui Wang:
  Low-Power Off-Chip Memory Design for Video Decoder Using Embedded Bus-Invert Coding. 251-255
  
• Zidong Du, Bingbing Xia, Fei Qiao, Huazhong Yang:
  System-Level Evaluation of Video Processing System Using SimpleScalar-Based Multi-core Processor Simulator. 256-259
  
• Kazuaki Wakao, Tatsuya Tsuda, Xiaodong Lu, Kinji Mori:
  Autonomous Data Reallocation Technology for High Assurance in Streaming Service System. 260-266
  

Agent-Based Framework

• Zhihui Du, Weiqiang Yang, Yinong Chen, Xin Sun, Xiaoying Wang, Chen Xu:
  Design of a Robot Cloud Center. 269-275
  
• Xiangfeng Cao, Decun Dong, Xiaoqing Zeng:
  Application of Agent in Bus Signal Priority Intersection. 276-280
  
• Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer:
  Decentralized Autonomous-Agent-Based Infrastructure for Agile Multiparallel Manufacturing. 281-288
  

Poster Session

• Fan Wei, Md. Emdadul Haque, Yukihiro Fukunaga, Takehiro Gouda, Xiaodong Lu, Kinji Mori:
  Autonomous Community Coordination Technology to Achieve High Assurance in Wireless Sensor Network. 291-294
  
• Titichaya Thanamitsomboon, Riyako Sakamoto, Xiaodong Lu, Kinji Mori:
  Autonomous Surrounding Community Construction Technology for Assurance in Disaster Support System. 295-298
  
• Mitsuhisa Kimura, Shinji Inoue, Yoshiaki Kakuda, Tadashi Dohi:
  A Route Discovery Method for Alleviating Traffic Congestion Based on VANETs in Urban Transportations Considering a Relation between Vehicle Density and Average Velocity. 299-302
  
• Jianli Sun, Yinong Chen:
  Fast Detection of Path Failures in an Autonomous Decentralized System. 303-306
  
• Md. Emdadul Haque, Fan Wei, Yukihiro Fukunaga, Takehiro Gouda, Xiaodong Lu, Kinji Mori:
  Autonomous Request Based Community Construction Technology for Wireless Sensor Networks to Achieve High Expandability. 307-310
  
• Titichaya Thanamitsomboon, Hiroyuki Endo, Xiaodong Lu, Kinji Mori:
  Autonomous Heterogeneous Community Technology for Effective Resource Utilization. 311-314
  
• Antonia Bertolino, Antonello Calabrò, Felicita Di Giandomenico, Marco Martinucci, Paolo Masci:
  Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems. 315-318
  
• Jianwu Dang, Shuxu Zhao, Yangping Wang:
  China Railway Autonomous Service Integration System Based on ADS. 319-322
  
• Hiroyuki Sato, Atsushi Kanai, Shigeaki Tanimoto:
  Building a Security Aware Cloud by Extending Internal Control to Cloud. 323-326
  
• Luis Carlos Coronado García, Jesús Alejandro González-Fuentes, Pedro Josué Hernández-Torres, Carlos Perez Leguizamo:
  An Autonomous Decentralized Service Oriented Architecture for High Reliable Service Provision. 327-330
  
• Luis Carlos Coronado García, Jesús Alejandro González-Fuentes, Pedro Josué Hernández-Torres, Carlos Perez Leguizamo:
  An Autonomous Decentralized System Architecture Using a Software-Based Secure Data Field. 331-334
  
• Daisuke Yagyu, Hideki Osumi, Hidenari Tokunaga:
  Establishment Phased-In Constructing Method for System Expansion of Tokyo Metropolitan Railway System. 335-338
  
• Yuichiro Mori, Hideharu Kojima, Eitaro Kohno, Shinji Inoue, Tomoyuki Ohta, Yoshiaki Kakuda, Atsushi Ito:
  A Self-Configurable New Generation Children Tracking System Based on Mobile Ad Hoc Networks Consisting of Android Mobile Terminals. 339-342
  
• Yun Won Chung:
  Investigation of Energy Consumption of Mobile Station for Instant Messaging Services. 343-346
  
• Yukikazu Nakamoto, Yusuke Tamura, Shimpei Yamada:
  Proposing Software Transactional Memory for Embedded Systems. 347-350
  
• Yuichi Hatsuse, Akiko Mano, Hidehiko Nagase, Motoharu Yamana, Akio Shiibashi:
  Technologies Toward High Performance and High Reliability in Suica System. 351-354
  

Special Session on Autonomous Embedded Systems and Networking

• Junyeong Kim, Doo-Hyun Kim:
  Experimental Feasibility Analysis of Primary-Shadow Replication Scheme for I/O Tansmission Fault-Tolerance in Auto-Pilot Program of Small Scale UAV. 357-363
  
• Midori Sugaya, Kimio Kuramitsu:
  Online Anomaly Symptom Detection and Process's Resource Usage Control. 364-371
  
• Zhuo Wang, Zhushou Tang, Kan Zhou, Ruoyu Zhang, Zhengwei Qi, Haibing Guan:
  DsVD: An Effective Low-Overhead Dynamic Software Vulnerability Discoverer. 372-377
  

Special Session on Collaborative Computing

• Wei-Tek Tsai, Peide Zhong, Jay Elston, Xiaoying Bai, Yinong Chen:
  Service Replication Strategies with MapReduce in Clouds. 381-388
  
• Zaiwen Feng, Rong Peng, Bing Li, Keqing He, Chong Wang, Jian Wang, Cheng Zeng:
  A Service Registry Meta-model Framework for Interoperability. 389-398
  
• Deyi Li, Xiaodong Wang, Wen He, Mu Guo, Tianlei Zhang:
  Study on Interaction Behaviors of Micro-autonomous Vehicles. 399-406
  

Special Session on ADS for Mission Critical Systems I

• Luis Carlos Coronado García, Carlos Perez Leguizamo:
  An Autonomous Decentralized Public Key Infrastructure. 409-414
  
• Yu Liu, Tao Tang:
  Research on the Method of Interoperability Test for the Onboard Equipment of CTCS-3 Train Control System of Chinese Railway. 415-419
  
• Mehtab Alam, Maqbool Hussain, Muhammad Afzal, Maajid Maqbool, Hafiz Farooq Ahmad, Somia Razzaq:
  Design and Implementation of HL7 V3 Standard-Based Service Aware System. 420-425
  

Special Session on ADS for Mission Critical Systems II

• Peng Li, Tianhu Ma, Yongdong Tan:
  An Architecture of MicroGrid Based on Role on Autonomous Decentralized System. 429-434
  
• Xiao-qing Zeng, Lei Qiu, Fan Mo, Shao-yin Wang, Zhi Chen:
  Research on the Fault Tolerance Mechanism for On-Board Fault Early Warning System Based on ADS Theory. 435-438
  

Special Session on Network Software

• Jürgen Dunkel:
  Towards a Multiagent-Based Software Architecture for Sensor Networks. 441-448
  
• Kazuo Hashimoto, Gen Kitagata, Hideyuki Takahashi, Atsushi Takeda, Debasish Chakraborty, Norio Shiratori:
  Socio-familiar Personalized Service and Its Application - Towards a New Network Software for Next Generation Ubiquitous Service. 449-455
  
• Masayoshi Ohashi:
  Introduction of Ubiquitous Service Platform Project CUBIQ. 456-461
  
• Szu-Chi Wang, Hiroyuki Morikawa:
  Self-Stabilization in Energy-Constraint Wireless Ad Hoc Networks. 462-468
  

AHSP 2011

Ad Hoc Networks, Wireless Mesh Networks, Wireless LAN

• Hiraku Okada, Hiroya Hiramuki, Kenichi Mase:
  An ARQ Scheme Using NACK for Network Coding in Wireless Multihop Networks. 471-476
  
• Satoshi Teshima, Tomoyuki Ohta, Eitaro Kohno, Yoshiaki Kakuda:
  A Data Transfer Scheme Using Autonomous Clustering in VANETs Environment. 477-482
  
• Keigo Shimoda, Koichi Gyoda:
  Analysis of Ad Hoc Network Performance for Disaster Communication Models. 483-488
  
• Hiroaki Morino, Masugi Inoue, Tohru Sanefuji:
  Distance-and-Rate Dependent RTS/CTS Reservation in Wireless LAN for Enhancing Spatial Reuse. 489-494
  

P2P, Load Balancing

• Masahiro Yoshida, Akihiro Nakao:
  A Resource-Efficient Method for Crawling Swarm Information in Multiple BitTorrent Networks. 497-502
  
• Kenji Yokota, Takuya Asaka, Tatsuro Takahashi:
  A Load Reduction System to Mitigate Flash Crowds on Web Server. 503-508
  
• Masaaki Ohnishi, Masugi Inoue:
  Distributed Incremental Construction Method of Delaunay Overlay Network Using Detour Paths. 509-514
  

Special Session

• Robithoh Annur, Norrarat Wattanamongkhol, Suvit Nakpeerayuth, Lunchakorn Wuttisittikulkij, Jun-ichi Takada:
  Applying the Tree Algorithm with Prioritization for Body Area Networks. 519-524
  
• Kong E. Cheng, Yitzchak Gottlieb, Gary Levin, Fuchun Joe Lin:
  Service Brokering and Mediation: Enabling Next Generation Market and Customer Driven Service Delivery. 525-530
  

Implementation of Wireless Ad Hoc Networks

• Atsushi Ito, Yoshiaki Kakuda, Tomoyuki Ohta, Shinji Inoue:
  Safety Support System on School Routes Based on Grouping of Childlen in Mobile Ad Hoc Networks. 533-538
  
• Yasunori Owada, Masugi Inoue, Masaaki Ohnishi:
  Regional Wireless Network Platform for Context-Aware Services and Its Implementation. 539-544
  

Wireless Sensor Networks, Mobile Sensing

• Mario Takeuchi, Eitaro Kohno, Tomoyuki Ohta, Yoshiaki Kakuda:
  A New SMN Configuration Method for RSR Considering Node Energy Consumption in MANETs. 547-552
  
• Kouakou Jean Marc Attoungble, Kazunori Okada:
  A Performance Study of GPSR and GRMax with Grid and Randomly Distributed Nodes in Wireless Sensor Networks. 553-558
  
• Quang Tran Minh, Eiji Kamioka:
  Error-Tolerance in Quantifying Traffic States Using Mobile Phones. 559-563
  

Distributed Computing

• Yosuke Kuno, Kenichi Nii, Saneyasu Yamaguchi:
  A Study on Performance of Processes in Migrating Virtual Machines. 567-572
  
• Yusuke Nagasako, Saneyasu Yamaguchi:
  A Server Cache Size Aware Cache Replacement Algorithm for Block Level Network Storage. 573-576
  

ADSN 2011

Keynote Speech

• Masayuki Murata:
  Prospects on R&D for New-Generation Networks. 579
  

Panel Discussion on Assurance Networks

• Miroslaw Malek:
  The Permanent Challenge: How to Enhance Assurance to Users of Computer and Communication Systems? 583-584
  
• Yinong Chen:
  Assuring Mobile Physical Services for the New Generation of Networks. 585-588
  

Special Session on New-Generation Networks

• Toshiaki Suzuki, Nozomu Nishinaga, Akihiro Nakao:
  Assurance Diversity Network Platform for NWGN - From New-Generation Network Vision to Multiple Customized Networks. 591-596
  
• Naoki Wakamiya, Masayuki Murata:
  Autonomous and Adaptive Wireless Networking with Bio-inspired Algorithms. 597-602
  

Regular Session 1

• Hiroyasu Obata, Kazuya Tamehiro, Kenji Ishida:
  Experimental Evaluation of TCP-STAR for Satellite Internet over WINDS. 605-610
  
• Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda:
  A Transition Reduction Method for FSM of MANET Routing Protocol with Blacklist. 611-616
  
• Lingyun Zhu, Chen Chen, Xin Wang, Azman Osman Lim:
  SMSS: Symmetric-Masquerade Security Scheme for VANETs. 617-622
  

Regular Session 2

• Sudhanshu Shekhar Jha, Adrian Krdu, Miroslaw Malek:
  Minimizing Restart Time for Fast Rejuvenation and Availability Enhancement. 625-630
  
• Wei-Tek Tsai, Peide Zhong, Janaka Balasooriya, Yinong Chen, Xiaoying Bai, Jay Elston:
  An Approach for Service Composition and Testing for Cloud Computing. 631-636
  
• Yoshiaki Kakuda, Miroslaw Malek:
  A Unified Design Model for Assurance Networks and Its Application to Mobile Ad Hoc Networks. 637-644
  

Special Session on Multidisciplinary Emerging Networks and Systems

• Hiroyuki Okamura, Tadashi Dohi:
  Application of Reinforcement Learning to Software Rejuvenation. 647-652
  
• Qun Jin, Yishui Zhu, Roman Y. Shtykh, Neil Y. Yen, Timothy K. Shih:
  Flowable Services: A Human-Centric Framework toward Service Assurance. 653-658
  
• Yufeng Wang, Akihiro Nakao, Athanasios V. Vasilakos, Jianhua Ma:
  Overview of Modeling and Analysis of Incentive Mechanisms Based on Evolutionary Game Theory in Autonomous Networks. 659-664
  

Last update Sat May 18 19:04:52 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page