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

The article considers some "directly executable" formal models that are suitable for the specification of computing and networking in the cloud environment and other networks which are similar to wireless networks MANET. These models can be easily programmed and implemented on computer net...

Full description

Saved in:
Bibliographic Details
Published in:Journal of physics. Conference series 2016-04, Vol.710 (1), p.12024
Main Authors: Pashchenko, D. V., Jaafar, Mustafa Sadeq, Zinkin, S. A., Trokoz, D. A., Pashchenko, T.U., Sinev, M. P.
Format: Article
Language:English
Subjects:
Cloud computing
Computer networks
Middleware
Mobile ad hoc networks
Physics
Wireless networks
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The article considers some "directly executable" formal models that are suitable for the specification of computing and networking in the cloud environment and other networks which are similar to wireless networks MANET. These models can be easily programmed and implemented on computer networks.
ISSN:1742-6588
1742-6596
DOI:10.1088/1742-6596/710/1/012024