A Proposal of Test Sequence Generation Method for Communication Protocols Using SAT Algorithm

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人電子情報通信学会の論文
• 2002-11-01

著者

• Mori Takanori

  Graduate School Of Engineering Science Osaka University

• FUNABIKI Nobuo

  Department of Communication Network Engineering, Okayama University

• Nakata Akio

  Graduate School of Medical Sciences, Kanazawa University

• Higashino Teruo

  Graduate School Of Information Science And Technology Osaka University

• Nakata Akio

  Graduate School Of Information Science And Technology Osaka University

• Funabiki Nobuo

  Department Of Communication Network Engineering Okayama University

• Funabiki Nobuo

  Department Of Communication Network Engineering Faculty Of Engineering Okayama University

• OTSUKA Hirotaka

  Graduate School of Engineering Science, Osaka University

• Otsuka Hirotaka

  Graduate School Of Engineering Science Osaka University

関連論文

• A Contact-based Hybrid Routing Protocol for Mobile Ad Hoc Networks
• Revocable Group Signature Schemes with Constant Costs for Signing and Verifying
• Aging Does Not Influence Sympathetic Neurotransmission Property to Arterial Pressure in Humans
• Impaired Sympathetic Nerve Transmission in Heart Failure : Evaluation Using Akaike's Relative Power Contribution Analysis
• A WDS Clustering Algorithm for Wireless Mesh Networks
• An Optical-Drop Wavelength Assignment Algorithm for Efficient Wavelength Reuse under Heterogeneous Traffic in WDM Ring Networks(Discrete Mathematics and Its Applications)
• A Minimum Dead Space Algorithm for Generalized Isochronous Channel Reuse Problems in DQDB Networks(Network)
• P2PMM_router : A Two-Stage Heuristic Algorithm to Peer-to-Peer Multicast Routing Problems in Multihome Networks(Discrete Mathematics and Its Applications)
• A Proposal of Test Sequence Generation Method for Communication Protocols Using SAT Algorithm
• Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata(Concurrent/Hybrid Systems : Theory and Applications)
• A Proposal of Optimal Path Selection Algorithm for Static and Mobile Multicast Routing Problems
• A Proposal of Improved Lip Contour Extraction Method Using Deformable Template Matching and Its Application to Dental Treatment
• Performance evaluation of vital-sign collection mechanism using wireless sensor device (モバイルマルチメディア通信)
• Group Signature Schemes with Membership Revocation for Large Groups(Discrete Mathematics and Its Applications)
• A Short Verifier-Local Revocation Group Signature Scheme with Backward Unlinkability(Information Theory and Its Applications)
• A Gradual Neural Network Approach for Time Slot Assignment in TDM Multicast Switching Systems
• Verifier-Local Revocation Group Signature Schemes with Backward Unlinkability from Bilinear Maps(Signatures,Cryptography and Information Security)
• Forward-Secure Group Signatures from Pairings
• An Efficient Overlay Multicast Protocol for Heterogeneous Users(Selected Papers from ICMU 2005(Second International Conference on Mobile Computing and Ubiquitous Networking))
• A Two-Stage Discrete Optimization Method for Largest Common Subgraph Problems
• A Gradual Neural Network Algorithm for Broadcast Scheduling Problems in Packet Radio Networks (Special Section on Discrete Mathematics and Its Applications)
• Anonymous IEEE802.1X Authentication System Using Group Signatures
• Anonymous IEEE802.1X Authentication System Using Group Signatures
• A Pairing-Based Anonymous Credential System with Efficient Attribute Proofs
• Self-Estimation of Neighborhood Distribution for Mobile Wireless Nodes
• Self-Estimation of Neighborhood Distribution for Mobile Wireless Nodes
• An Efficient Overlay Multicast Protocol for Heterogeneous Users
• Efficient Proofs for CNF Formulas on Attributes in Pairing-Based Anonymous Credential System

もっと見る 閉じる

スポンサーリンク