user

Investigating a new formal model for autonomous virtual organisation using RAISE method

被引：0
|
作者：
Nami, Mohammad Reza [1 ]
Hashemi, Seyed Naser [2 ]
机构：
[1] Faculty of Electrical, Computer, and IT Engineering, Islamic Azad University, Qazvin Branch, Iran
[2] Faculty of Mathematics and Computer Science, Amirkabir University, Tehran, Iran
来源：
International Journal of Networking and Virtual Organisations | 2010年 / 7卷 / 06期
关键词：
D O I：
10.1504/IJNVO.2010.035402
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：505 / 513
相关论文
共 50 条
  • [1] Incorporating a reuse model to the RAISE formal method
    Riesco, D
    Felice, L
    Debnath, N
    Montejano, G
    [J]. PROCEEDINGS OF THE 2004 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI-2004), 2004, : 133 - 138
  • [2] Applying a reusable component model in raise formal method
    Felice, L
    Riesco, D
    [J]. ISSUES AND TRENDS OF INFORMATION TECHNOLOGY MANAGEMENT IN CONTEMPORARY ORGANIZATIONS, VOLS 1 AND 2, 2002, : 589 - 592
  • [3] Virtual organisation model: the new organisation and value chain framework
    [J]. Rodrigues, E.F. (efreitasr@uol.com.br), 1600, Inderscience Enterprises Ltd., 29, route de Pre-Bois, Case Postale 856, CH-1215 Geneva 15, CH-1215, Switzerland (16): : 5 - 6
  • [4] Virtual organisation model: the new organisation and value chain framework
    Rodrigues, Elizabeth Freitas
    Tavares Dalcol, Paulo Roberto
    Pizzolato, Nelio Domingues
    Maruyama, Ursula
    [J]. INTERNATIONAL JOURNAL OF ENVIRONMENTAL TECHNOLOGY AND MANAGEMENT, 2013, 16 (5-6) : 437 - 450
  • [5] A formal approach to model multiagent interactions using the B formal method
    Fadil, H
    Koning, JL
    [J]. ADVANCED DISTRIBUTED SYSTEMS, 2005, 3563 : 516 - 528
  • [6] Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking
    Chouhan, Aaditya Prakash
    Banda, Gourinath
    [J]. SENSORS, 2020, 20 (16) : 1 - 25
  • [7] Investigating the formal and informal cycle of waste management in Kerman using the CLD model
    Vahidi, Hossein
    BagherzadehKouhbanani, MohammadHossein
    AliHosseini, Azadeh
    [J]. JOURNAL OF MATERIAL CYCLES AND WASTE MANAGEMENT, 2024, 26 (04) : 2464 - 2477
  • [8] Model Selection Method for AdaBoost Using Formal Information Criteria
    Kaji, Daisuke
    Watanabe, Sumio
    [J]. ADVANCES IN NEURO-INFORMATION PROCESSING, PT II, 2009, 5507 : 903 - +
  • [9] Design of a virtual environment aided by a model-based formal approach using DEVS
    Boukerche, Azzedine
    Al Hamidi, Abdulaziz
    Zhang, Ming
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2009, 21 (11): : 1422 - 1436
  • [10] Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model
    Jean-Baptiste Horel
    Philippe Ledent
    Lina Marsso
    Lucie Muller
    Christian Laugier
    Radu Mateescu
    Anshul Paigwar
    Alessandro Renzaglia
    Wendelin Serwe
    [J]. Journal of Intelligent & Robotic Systems, 2023, 107
12345