Directly executable formal models of middleware for MANET and Cloud Networking and Computing

D. V. Pashchenko; Mustafa Sadeq Jaafar; S. A. Zinkin; D. A. Trokoz; T.U. Pashchenko; M. P. Sinev

首页> 外文期刊>Journal of Physics: Conference Series >Directly executable formal models of middleware for MANET and Cloud Networking and Computing

【24h】

Directly executable formal models of middleware for MANET and Cloud Networking and Computing

机译：可直接执行的中间件的正式模型，用于MANET以及云网络和计算

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Thearticleconsiderssome"directlyexecutable"formalmodelsthataresuitableforthespecificationofcomputingandnetworkinginthecloudenvironmentandothernetworkswhicharesimilartowirelessnetworksMANET.Thesemodelscanbeeasilyprogrammedandimplementedoncomputernetworks...

机译：本文考虑了一些“直接可执行的”正式模型，这些模型适合在云环境和与无线网络MANET类似的其他网络中进行计算和联网的规范。这些模型可以轻松地在计算机网络上编程和实现。

著录项

来源
《Journal of Physics: Conference Series》 |2016年第1期|共页
作者
D. V. Pashchenko; Mustafa Sadeq Jaafar; S. A. Zinkin; D. A. Trokoz; T.U. Pashchenko; M. P. Sinev;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类物理学;
关键词

相似文献

外文文献
中文文献
专利

1. Middleware Implementation in Cloud-MANET Mobility Model for Internet of Smart Devices [J] . Tanweer Alam International journal of computer science and network security . 2017,第5期

机译：用于智能设备互联网的Cloud-MANET移动模型中的中间件实现
2. Middleware, framework and novel computing models for grid and cloud service orchestration [J] . Messina Fabrizio, Mikkilineni Rao, Morana Giovanni International Journal of Grid and Utility Computing . 2017,第2期

机译：网格和云服务编排的中间件，框架和新颖的计算模型
3. An Integrated Middleware Platform Using Peer to Peer Network in Cloud Computing Environment [J] . Zhongwei Li, Zhijun Wu Journal of computational and theoretical nanoscience . 2016,第6期

机译：在云计算环境中使用对等网络的集成中间件平台
4. Petri Nets for Modelling of Message Passing Middleware in Cloud Computing Environments [C] . Oleg Iakushkin, Yulia Shichkina, Olga Sedova International conference on computational science and its applications . 2016

机译：Petri网用于云计算环境中的消息传递中间件建模
5. Formal modeling and dynamic verification of service level agreements in cloud computing. [D] . Al-Ghuwairi, Abdel-Rahman F. 2013

机译：云计算中服务级别协议的形式化建模和动态验证。
6. Computation Offloading in a Cognitive Vehicular Networks with Vehicular Cloud Computing and Remote Cloud Computing [O] . Shilin Xu, Caili Guo 2020

机译：使用车辆云计算和远程云计算的认知车辆网络中的计算卸载
7. The Research on Monitor Model of Middleware Based on Cloud Computing [O] . Wenlong Feng, Mengxin Huang 2017

机译：基于云计算的中间件监测模型研究

Directly executable formal models of middleware for MANET and Cloud Networking and Computing

摘要

著录项

相似文献

相关主题

期刊订阅