The SCEAS System
Navigation Menu

Conferences in DBLP

High-Assurance Systems (HASE) (hase)
2002 (conf/hase/2002)

  1. Yasutomo Shirakawa
    JR East Contactless IC Card Automatic Fare Collection System "Suica". [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:3-12 [Conf]
  2. 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]
  3. Peng Li, Binoy Ravindran
    Efficiently Tolerating Failures in Asynchronous Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:19-26 [Conf]
  4. 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]
  5. Kazuhito Ohmaki
    Open Source Software Research Activities in AIST towards Secure Open Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:37-42 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. Shuichiro Yamanouchi
    High Assurance, My Personal Experience and View Point. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:93-100 [Conf]
  14. 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]
  15. Yunja Choi, Mats Per Erik Heimdahl
    Model Checking RSML-e Requirements. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:109-118 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. Toshiaki Miyazaki, Katsushi Iwashita
    Towards Adaptive Networking. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:151-158 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. K. H. Kim
    Toward QoS Certification of Real-Time Distributed Computing Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:177-188 [Conf]
  26. 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]
  27. 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]
  28. Stefan Gossens
    Enhancing System Validation with Behavioural Types. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:201-210 [Conf]
  29. 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]
  30. 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]
  31. Nejmeddine Tagoug
    Object-Oriented System Decomposition Quality. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:230-236 [Conf]
  32. Juichi Takahashi, Yoshiaki Kakuda
    Extended-Model Based Testing by Directed Chinese Postman Algorithm. [Citation Graph (0, 0)][DBLP]
    HASE, 2002, pp:237-239 [Conf]
  33. 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]
  34. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002