スポンサーリンク
School of Information Science, Japan Advanced Institute of Science and Technology (JAIST) | 論文
- Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software
- Anonymous stabilizing leader election using a network sequencer
- An SNMP based failure detection service
- Definition and realization of software accountability
- ED FD: Improving the phi accrual failure detector
- Self-stabilizing algorithm for circle formation by disoriented oblivious mobile robots
- Collision prevention using group communication for asynchronous cooperative mobile robots
- Locality-preserving distributed path reservation protocol for asynchronous cooperative mobile robots
- Tight bound on the gathering of two oblivious mobile robots with inconsistent compasses
- Gathering asychronous mobile robots with inaccurate compasses
- Eventually consistent compasses for robust gathering of asynchronous mobile robots with limited visibility
- Fault-tolerant flocking in a k-bounded asynchronous system
- User-defined on-demand matching
- An integer programming formulation for generating high quality transition tests (システムLSI設計技術・デザインガイア2008--VLSI設計の新しい大地)
- Analysis of membership sharing in digital subscription services
- Towards Reliable E-Government Systems with the OTS/CafeOBJ Method
- A Specification Translation from Behavioral Specifications to Rewrite Specifications
- Algebraic approaches to formal analysis of the mondex electronic purse system
- インテリジェント宅内エネルギー管理システムのためのエネルギ-安定性認識機構
- インテリジェント宅内エネルギー管理システムのためのエネルギ-安定性認識機構