Verified workflow-based software development for infrastructure sensing and control applications

被引：0
|
作者：
Creager, Douglas A. [1 ]
McHugh, John [1 ,2 ]
机构：
[1] RedJack, LLC, United States
[2] University of North Carolina, United States
来源：
ACM International Conference Proceeding Series | 2011年
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Formal verification
引用
收藏
相关论文
共 50 条
  • [1] Workflow-based applications
    Leymann, F
    Roller, D
    IBM SYSTEMS JOURNAL, 1997, 36 (01) : 102 - 123
  • [2] Workflow-Based Data Parallel Applications on the EGEE Production Grid Infrastructure
    Johan Montagnat
    Tristan Glatard
    Isabel Campos Plasencia
    Francisco Castejón
    Xavier Pennec
    Giuliano Taffoni
    Vladimir Voznesensky
    Claudio Vuerli
    Journal of Grid Computing, 2008, 6 : 369 - 383
  • [3] Workflow-Based Data Parallel Applications on the EGEE Production Grid Infrastructure
    Montagnat, Johan
    Glatard, Tristan
    Campos Plasencia, Isabel
    Castejon, Francisco
    Pennec, Xavier
    Taffoni, Giuliano
    Voznesensky, Vladimir
    Vuerli, Claudio
    JOURNAL OF GRID COMPUTING, 2008, 6 (04) : 369 - 383
  • [4] Workflow-based Grid applications
    Neubauer, F
    Hoheisel, A
    Geiler, J
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2006, 22 (1-2): : 6 - 15
  • [5] A framework of workflow-based software development process supported platform
    Fang, M
    Ying, J
    Wu, MH
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 1, 2004, : 379 - 383
  • [6] Interactive workflow-based infrastructure for urgent computing
    Knyazkov, Konstantin V.
    Nasonov, Denis A.
    Tchurov, Timofey N.
    Boukhanovsky, Alexander V.
    2013 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, 2013, 18 : 2223 - 2232
  • [7] Scaling up workflow-based applications
    Callaghan, Scott
    Deelman, Ewa
    Gunter, Dan
    Juve, Gideon
    Maechling, Philip
    Brooks, Christopher
    Vahi, Karan
    Milner, Kevin
    Graves, Robert
    Field, Edward
    Okaya, David
    Jordan, Thomas
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2010, 76 (06) : 428 - 446
  • [8] A Workflow-based Access Control Framework for e-Health Applications
    Russello, Giovanni
    Dong, Changyu
    Dulay, Naranker
    2008 22ND INTERNATIONAL WORKSHOPS ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOLS 1-3, 2008, : 111 - 120
  • [9] Service-Oriented Development of Workflow-Based Semantic Reasoning Applications
    Cheptsov, Alexey
    Wesner, Stefan
    Koller, Bastian
    INTERNATIONAL JOURNAL OF DISTRIBUTED SYSTEMS AND TECHNOLOGIES, 2014, 5 (01) : 40 - 53
  • [10] Workflow-based Testing Process Management of Software Project
    Mao, Chengying
    Zhang, Jinlong
    2007 INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-15, 2007, : 4950 - 4953
12345