Formal models and methods on volunteer computing

被引：1
|
作者：
College of Computer and Information Engineering, Hohai University, Nanjing 210098, China [1 ]
机构：
来源：
Ruan Jian Xue Bao | 2008年 / 5卷 / 1125-1133期
关键词：
23;
D O I：
10.3724/SP.J.1001.2008.01125
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1125 / 1133
相关论文
共 50 条
  • [1] Analysis of formal models and methods on mobile computing
    Wei, Jun
    Feng, Yulin
    Beijing Huagong Daxue Xuebao(Ziran Kexueban)/Journal of Beijing University of Chemical Technology, 2000, 27 (01): : 129 - 139
  • [2] Analysis of formal models and methods on mobile computing
    Wei, Jun
    Feng, Yulin
    2000, Sci Press (37):
  • [3] Towards a Formal Model of Volunteer Computing Systems
    Wang Yu
    He, Haiwu
    Wang ZhiJian
    2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-5, 2009, : 2371 - +
  • [4] Formal methods in enterprise computing
    Jüllig, R
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 22 - 23
  • [5] FORMAL METHODS IN COMPUTING - EDITORIAL
    WICHMANN, B
    COMPUTER JOURNAL, 1989, 32 (05): : 385 - 385
  • [6] Computing with words in formal methods
    Pham, TD
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2000, 15 (08) : 801 - 810
  • [7] Advancing Quantum Computing with Formal Methods
    Quist, Arend-Jan
    Mei, Jingyi
    Coopmans, Tim
    Laarman, Alfons
    FORMAL METHODS, PT II, FM 2024, 2025, 14934 : 420 - 446
  • [8] Volunteer Computing Approach for the Collaborative Simulation of Electrophysiological Models
    Castro, Joel
    Monasterio, Violeta
    Carro, Jesus
    2016 IEEE 25TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2016, : 118 - 123
  • [9] Formal Models for Granular Computing Highlights and Fallacies
    Lin, Tsau Young
    2008 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, VOLS 1 AND 2, 2008, : 5 - 10
  • [10] A Review on Resource Availability Prediction Methods in Volunteer Grid Computing
    Rubab, Saddaf
    Hassan, Mohd. Fadzil B.
    Mahmood, Ahmad Kamil B.
    Shah, Nasir Mehmood
    2014 IEEE INTERNATIONAL CONFERENCE ON CONTROL SYSTEM COMPUTING AND ENGINEERING, 2014, : 478 - 483
12345