Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHASE 2002: Tokyo, Japan
- 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan. IEEE Computer Society 2002, ISBN 0-7695-1769-2
- Yasutomo Shirakawa:
JR East Contactless IC Card Automatic Fare Collection System "Suica". 3-12
Fault Tolerance
Invited Paper
- Katsuyuki Yasuda, Shigeru Yamada:
The Concept and Practice of Software Quality Assurance in Japan in the Global Era. 13-18
Papers
- Peng Li, Binoy Ravindran:
Efficiently Tolerating Failures in Asynchronous Real-Time Distributed Systems. 19-26 - Tamir Hegazy, Binoy Ravindran:
On Decentralized Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems. 27-36
High Assurance Architecture
Invited Paper
- Kazuhito Ohmaki:
Open Source Software Research Activities in AIST towards Secure Open Systems. 37-42
Papers
- Carlos Pérez Leguízamo, Aqeel A. Syed, Kinji Mori:
Assurance System Architecture for Distributed Database Systems. 43-50 - Taghi M. Khoshgoftaar, Erik Geleyn, Laurent A. Nguyen, Lofton A. Bullard:
Cost-Sensitive Boosting In Software Quality Modeling. 51-62
High Assurance Techniques
Invited Paper
- Yongdong Tan, Lijun Yin, Qingquan Qian, Kinji Mori:
A Biologically Inspired Assurance Definition and Specification in Heterogeneous Autonomous Decentralized Systems. 63-70
Papers
- Masayuki Matsumoto, Tadao Tsurumaki, Satoru Kitamura, Dai Watanabe, Kinji Mori:
Assurance Evaluation Technology of Train Control System for Achieving Expansion during Operation . 71-78 - Kazuo Kera, Keisuke Bekki, Kinji Mori, Issei Masumoto:
High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System. 79-86
Fast Abstracts
- Hiroyuki Yashiro, Yoshirou Takahashi, Teruo Fujiwara:
A High Assurance Timing Synchronization Technology for Space On-Board Distributed Computer Systems. 87-88 - Binoy Ravindran, Gérard Le Lann, Peng Li:
Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach. 89-92 - Shuichiro Yamanouchi:
High Assurance, My Personal Experience and View Point. 93-100
Software Engineering Including Model Checking
Invited Paper
- Hafiz Farooq Ahmad
:
Multi-Agent Systems: Overview of a New Paradigm for Distributed Systems. 101-108
Papers
- Yunja Choi, Mats Per Erik Heimdahl:
Model Checking RSML-e Requirements. 109-118 - David Owen, Bojan Cukic, Tim Menzies:
An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models. 119-128
Assurance in Networks
Invited Paper
- 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. 129-136
Papers
- Masayuki Arai, Hitoshi Kurosu, Mamoru Ohara, Ryo Suzuki, Satoshi Fukumoto, Kazuhiko Iwasaki:
Experiment for High-Assurance Video Conference System over the Internet. 137-142 - Tomoyuki Ohta, Munehiko Fujimoto, Shinji Inoue, Yoshiaki Kakuda:
Hi-TORA: A Hierarchical Routing Protocol in Ad Hoc Networks. 143-150
Assurance in Communications
Invited Paper
- Toshiaki Miyazaki, Katsushi Iwashita:
Towards Adaptive Networking. 151-158
Papers
- Tadashi Dohi, Kazuki Iwamoto, Hiroyuki Okamura, Naoto Kaio:
Discrete Availability Models to Rejuvenate a Telecommunication Billing Application. 159-166 - Hiroki Suguri, Eiichiro Kodama, Masatoshi Miyazaki, Isao Kaji:
Assuring Interoperability between Heterogeneous Multi-Agent Systems with a Gateway Agent. 167-170
Fast Abstracts
- Wei-Tek Tsai, Raymond A. Paul, Yamin Wang, Chun Fan, Dong Wang:
Extending WSDL to Facilitate Web Services Testing. 171-172 - Wei-Tek Tsai, Raymond A. Paul, Weiwei Song, Zhibin Cao:
Coyote: An XML-Based Framework for Web Services Testing. 173-176 - K. H. Kim:
Toward QoS Certification of Real-Time Distributed Computing Systems. 177-188
Formal Techniques
Papers
- Werner Haas, Stefan Gossens, Ulrich Heinkel:
Integration of Formal Specification into the Standard ASIC Design Flow. 189-194 - Gang Xu, Zhiming Wu:
A Kind of Deadlock-free Scheduling Method Based on Petri Net. 195-200 - Stefan Gossens:
Enhancing System Validation with Behavioural Types. 201-210
Specification, Testing and Quality
Papers
- Arshad Jhumka, Martin Hiller, Neeraj Suri:
An Approach to Specify and Test Component-Based Dependable Software. 211-220 - Tsong Yueh Chen, Pak-Lok Poon, Sau-Fun Tang, T. H. Tse, Yuen-Tak Yu:
Towards a Problem-Driven Approach to Perspective-Based Reading. 221-229 - Nejmeddine Tagoug:
Object-Oriented System Decomposition Quality. 230-236
Fast Abstracts
- Juichi Takahashi, Yoshiaki Kakuda:
Extended-Model Based Testing by Directed Chinese Postman Algorithm. 237-239 - Kai-Yuan Cai, Tsong Yueh Chen, T. H. Tse:
Towards Research on Software Cybernetics. 240-242 - Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul:
Metrics-Based Framework for Decision Making in COTS-Based Software Systems. 243-244
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
