Abstract is missing.
- JR East Contactless IC Card Automatic Fare Collection System Suica Yasutomo Shirakawa. 3-12 [doi]
- The Concept and Practice of Software Quality Assurance in Japan in the Global EraKatsuyuki Yasuda, Shigeru Yamada. 13-18 [doi]
- Efficiently Tolerating Failures in Asynchronous Real-Time Distributed SystemsPeng Li, Binoy Ravindran. 19-26 [doi]
- On Decentralized Proactive Resource Allocation in Asynchronous Real-Time Distributed SystemsTamir Hegazy, Binoy Ravindran. 27-36 [doi]
- Open Source Software Research Activities in AIST towards Secure Open SystemsKazuhito Ohmaki. 37-42 [doi]
- Assurance System Architecture for Distributed Database SystemsCarlos Perez Leguizamo, Aqeel A. Syed, Kinji Mori. 43-50 [doi]
- Cost-Sensitive Boosting In Software Quality ModelingTaghi M. Khoshgoftaar, Erik Geleyn, Laurent A. Nguyen, Lofton A. Bullard. 51-62 [doi]
- A Biologically Inspired Assurance Definition and Specification in Heterogeneous Autonomous Decentralized SystemsYongdong Tan, Lijun Yin, Qingquan Qian, Kinji Mori. 63-70 [doi]
- Assurance Evaluation Technology of Train Control System for Achieving Expansion during Operation Masayuki Matsumoto, Tadao Tsurumaki, Satoru Kitamura, Dai Watanabe, Kinji Mori. 71-78 [doi]
- High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time SystemKazuo Kera, Keisuke Bekki, Kinji Mori, Issei Masumoto. 79-86 [doi]
- A High Assurance Timing Synchronization Technology for Space On-Board Distributed Computer SystemsHiroyuki Yashiro, Yoshirou Takahashi, Teruo Fujiwara. 87-88 [doi]
- Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering ApproachBinoy Ravindran, GĂ©rard Le Lann, Peng Li. 89-92 [doi]
- High Assurance, My Personal Experience and View PointShuichiro Yamanouchi. 93-100 [doi]
- Multi-Agent Systems: Overview of a New Paradigm for Distributed SystemsHafiz Farooq Ahmad. 101-108 [doi]
- Model Checking RSML-e RequirementsYunja Choi, Mats Per Erik Heimdahl. 109-118 [doi]
- An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State ModelsDavid Owen, Bojan Cukic, Tim Menzies. 119-128 [doi]
- Evaluation of the Performance of the Large Scale Network: Performance Evaluation of the PDC-P Network Providing the i-mode ServiceSeigo Numajiri, Akira Miura, Keiko Yoshihara, Ryutaro Matsumura. 129-136 [doi]
- Experiment for High-Assurance Video Conference System over the InternetMasayuki Arai, Hitoshi Kurosu, Mamoru Ohara, Ryo Suzuki, Satoshi Fukumoto, Kazuhiko Iwasaki. 137-142 [doi]
- Hi-TORA: A Hierarchical Routing Protocol in Ad Hoc NetworksTomoyuki Ohta, Munehiko Fujimoto, Shinji Inoue, Yoshiaki Kakuda. 143-150 [doi]
- Towards Adaptive NetworkingToshiaki Miyazaki, Katsushi Iwashita. 151-158 [doi]
- Discrete Availability Models to Rejuvenate a Telecommunication Billing ApplicationTadashi Dohi, Kazuki Iwamoto, Hiroyuki Okamura, Naoto Kaio. 159-166 [doi]
- Assuring Interoperability between Heterogeneous Multi-Agent Systems with a Gateway AgentHiroki Suguri, Eiichiro Kodama, Masatoshi Miyazaki, Isao Kaji. 167-170 [doi]
- Extending WSDL to Facilitate Web Services TestingWei-Tek Tsai, Raymond A. Paul, Yamin Wang, Chun Fan, Dong Wang. 171-172 [doi]
- Coyote: An XML-Based Framework for Web Services TestingWei-Tek Tsai, Raymond A. Paul, Weiwei Song, Zhibin Cao. 173-176 [doi]
- Toward QoS Certification of Real-Time Distributed Computing SystemsK. H. Kim. 177-188 [doi]
- Integration of Formal Specification into the Standard ASIC Design FlowWerner Haas, Stefan Gossens, Ulrich Heinkel. 189-194 [doi]
- A Kind of Deadlock-free Scheduling Method Based on Petri NetGang Xu, ZhiMing Wu. 195-200 [doi]
- Enhancing System Validation with Behavioural TypesStefan Gossens. 201-210 [doi]
- An Approach to Specify and Test Component-Based Dependable SoftwareArshad Jhumka, Martin Hiller, Neeraj Suri. 211-220 [doi]
- Towards a Problem-Driven Approach to Perspective-Based ReadingTsong Yueh Chen, Pak-Lok Poon, Sau-Fun Tang, T. H. Tse, Yuen-Tak Yu. 221-229 [doi]
- Object-Oriented System Decomposition QualityNejmeddine Tagoug. 230-236 [doi]
- Extended-Model Based Testing by Directed Chinese Postman AlgorithmJuichi Takahashi, Yoshiaki Kakuda. 237-239 [doi]
- Towards Research on Software CyberneticsKai-Yuan Cai, T. Y. Chen, T. H. Tse. 240-242 [doi]
- Metrics-Based Framework for Decision Making in COTS-Based Software SystemsSahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul. 243-244 [doi]