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