Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Abstract Model Checking for Web ServicesQian, Junyan ; Cai, Guoyong ; Gu, Tianlong ; Zhao, LingzhongWuhan University journal of natural sciences, 2008-08, Vol.13 (4), p.466-470 [Periódico revisado por pares]Heidelberg: Wuhan UniversityTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Access Request Trustworthiness in Weighted Access Control FrameworkWang, Lun-Wei ; Liao, Xiang-Ke ; Wang, Huai-MinWuhan University journal of natural sciences, 2005, Vol.10 (1), p.65-69 [Periódico revisado por pares]Heidelberg: Springer Nature B.VTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Accountability analysis of electronic commerce protocols by finite automaton modelXie, Xiao-yao ; Zhang, Huan-guoWuhan University journal of natural sciences, 2004-05, Vol.9 (3), p.293-295 [Periódico revisado por pares]Heidelberg: Springer Nature B.VTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Active XML Document Rewriting Based on Tree Automata TheoryHaitao, Ma ; Zhongxiao, Hao ; Yan, ZhuWuhan University journal of natural sciences, 2006-09, Vol.11 (5), p.1325-1329 [Periódico revisado por pares]College of Computer Science and Technology, Harbin University of Science and Technology, Harbin 150080,Heilongjiang, China%College of Information Science and Engineering,Yanshan University, Qinhuangdao 066004, Hebei, ChinaTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Adaptive Radio Frequency Interference Mitigation for HF Surface Wave RadarWan, Xian-Rong ; Ke, Heng-Yu ; Cheng, FengWuhan University journal of natural sciences, 2005-09, Vol.10 (5), p.851-854 [Periódico revisado por pares]Heidelberg: Springer Nature B.VTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Adaptive Trust Management Framework in P2P Grid ComputingWang, Yinglong ; Hu, JingzhuWuhan University journal of natural sciences, 2008-02, Vol.13 (1), p.33-36 [Periódico revisado por pares]Heidelberg: Wuhan UniversityTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Addition Sequence Method of Scalar Multiplication of Elliptic Curve over OEFDuo, Liu ; Yi-qi, DaiWuhan University journal of natural sciences, 2005, Vol.10 (1), p.174-178 [Periódico revisado por pares]Heidelberg: Springer Nature B.VTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Advanced Scanning Electrochemical Microscope System for High-Resolution imaging and Electrochemical ApplicationsMATSUOKA, Ryo ; AOYAGI, Shigeo ; MATSUMOTO, Naoshi ; MATSUDAIRA, Masaaki ; TAKAHASHI, Yasufumi ; KUMATANI, Akichika ; IDA, Hiroki ; MUNAKATA, Hirokazu ; IIDA, Katsuhiko ; SHIKU, Hitoshi ; KANAMURA, Kiyoshi ; MATSUE, TomokazuElectrochemistry, 2017/06/05, Vol.85(6), pp.319-326 [Periódico revisado por pares]Tokyo: The Electrochemical Society of JapanTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Algorithm of Dynamic Operation Process of Hydraulic Automatically Operated Canals with Constant-Downstream Level GatesZhang, Li-Wei ; Feng, Xiao-Bo ; Wang, Chang-DeWuhan University journal of natural sciences, 2005-11, Vol.10 (6), p.1074-1080 [Periódico revisado por pares]Texto completo disponível |
10 |
Material Type: Artigo
|
![]() |
An Adaptive Non-Linear Map and Its ApplicationXuefeng, YanWuhan University journal of natural sciences, 2006-05, Vol.11 (3), p.572-576 [Periódico revisado por pares]College of Information Science and Engineering, Institute of Automation, East China University of Science and Technology, Shanghai 200237, ChinaTexto completo disponível |