Analysis of membership sharing in digital subscription services
スポンサーリンク
概要
- 論文の詳細を見る
- 北陸先端科学技術大学院大学の論文
- 2007-03-16
著者
-
Ogata Kazuhiro
School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
-
Ogata Kazuhiro
School Of Information Science Jaist
-
FUTATSUGI Kokichi
School of Information Science, JAIST
-
Xiang Jianwen
School of Information Science, Japan Advanced Institute of Science and Technology (JAIST)
-
Xiang Jianwen
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Xiang Jianwen
School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
-
Futatsugi Kokichi
School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
-
Futatsugi Kokichi
School Of Information Science Jaist
-
FUTATSUGI Kokichi
School of Information Science
関連論文
- State Machines as Inductive Types(Concurrent Systems)
- Proof Score Approach to Verification of Liveness Properties
- 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
- Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm(Concurrent Systems)
- A Behavioral Specification of Imperative Programming Languages
- Concurrent Reflective Computations in Rewriting Logic(Theory of Rewriting Systems and Its Applications)
- A Family of License Languages
- A Scenario-based Object-Oriented Modeling Method with Algebraic
- A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity"
- A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity"
- From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ