Verifiable web services with hierarchical interfaces

被引：0
|
作者：
Betin-Can, Aysu [1 ]
Bultan, Tevfik [1 ]
机构：
[1] Department of Computer Science, University of California, Santa Barbara, CA 93106
来源：
Proceedings - 2005 IEEE International Conference on Web Services, ICWS 2005 | 2005年 / 2005卷
关键词：
Compendex;
D O I：
1530786
中图分类号：
学科分类号：
摘要：
Hierarchical systems - Interfaces (computer) - Mathematical models - World Wide Web
引用
收藏
页码：85 / 94
相关论文
共 50 条
  • [41] Making Digital Artifacts on the Web Verifiable and Reliable
    Kuhn, Tobias
    Dumontier, Michel
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2015, 27 (09) : 2390 - 2400
  • [42] Semantic modeling among Web Services interfaces for services integration - SOTA(smart office task automation) platform
    Tsai, TM
    Yu, HK
    Liao, PY
    Shih, HT
    14TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2003, : 579 - 583
  • [43] A web services-based distributed simulation architecture for hierarchical DEVS models
    Kim, KH
    Kang, WS
    ARTIFICIAL INTELLIGENCE AND SIMULATION, 2004, 3397 : 370 - 379
  • [44] HVDB: a hierarchical verifiable database scheme with scalable updates
    Zhang, Zhiwei
    Chen, Xiaofeng
    Li, Jin
    Tao, Xiaoling
    Ma, Jianfeng
    JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2019, 10 (08) : 3045 - 3057
  • [45] A Web Services Container Supporting QoS Hierarchical Control with Multiple Measurements for Utilization
    Wang, Zhe
    Ma, Dianfu
    Zhao, Yongwang
    2013 IEEE 11TH INTERNATIONAL CONFERENCE ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING (DASC), 2013, : 39 - 46
  • [46] Proposal of Method for Assessing Hierarchical Relationship between QoS and QoE for Web Services
    Adachi, Yuna
    Ito, Yoshihiro
    2016 INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGY CONVERGENCE (ICTC 2016): TOWARDS SMARTER HYPER-CONNECTED WORLD, 2016, : 637 - 639
  • [47] A heterogeneous multi-criteria hierarchical evaluation model for web site services
    Martínez, L
    Pérez, LG
    Sánchez, PJ
    Montes, B
    Proceedings of the 8th Joint Conference on Information Sciences, Vols 1-3, 2005, : 1577 - 1580
  • [48] Verifiable Resource Accounting for Cloud Computing Services
    Sekar, Vyas
    Maniatis, Petros
    PROCEEDINGS OF THE 3RD ACM WORKSHOP CLOUD COMPUTING SECURITY WORKSHOP (CCSW'11), 2011, : 21 - 26
  • [49] HVDB: a hierarchical verifiable database scheme with scalable updates
    Zhiwei Zhang
    Xiaofeng Chen
    Jin Li
    Xiaoling Tao
    Jianfeng Ma
    Journal of Ambient Intelligence and Humanized Computing, 2019, 10 : 3045 - 3057
  • [50] Verifiable Hierarchical Protocols with Network Invariants on Parametric Systems
    Matthews, Opeoluwa
    Bingham, Jesse
    Sorin, Daniel J.
    PROCEEDINGS OF THE 2016 16TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2016), 2016, : 101 - 108
12345