International Journal of Advance Computational Engineering and Networking (IJACEN)
.
Follow Us On :
current issues
Volume-9,Issue-5  ( May, 2021 )
Past issues
  1. Volume-9,Issue-4  ( Apr, 2021 )
  2. Volume-9,Issue-3  ( Mar, 2021 )
  3. Volume-9,Issue-2  ( Feb, 2021 )
  4. Volume-9,Issue-1  ( Jan, 2021 )
  5. Volume-8,Issue-12  ( Dec, 2020 )
  6. Volume-8,Issue-11  ( Nov, 2020 )
  7. Volume-8,Issue-10  ( Oct, 2020 )
  8. Volume-8,Issue-9  ( Sep, 2020 )
  9. Volume-8,Issue-8  ( Aug, 2020 )
  10. Volume-8,Issue-7  ( Jul, 2020 )

Statistics report
Sep. 2021
Submitted Papers : 80
Accepted Papers : 10
Rejected Papers : 70
Acc. Perc : 12%
Issue Published : 100
Paper Published : 1307
No. of Authors : 3297
  Journal Paper


Paper Title :
Cloud-Based Dynamic Routing With Feedback in Formal Methods

Author :Jawid Ahmad Baktash, Mursal Dawodi, Tomokazu Nagata

Article Citation :Jawid Ahmad Baktash ,Mursal Dawodi ,Tomokazu Nagata , (2016 ) " Cloud-Based Dynamic Routing With Feedback in Formal Methods " , International Journal of Advance Computational Engineering and Networking (IJACEN) , pp. 17-20, Volume-4, Issue-8

Abstract : with the rapid growth of Cloud Computing, Formal Methods became a good choice for the refinement of message specification and verification for Dynamic Routing in Cloud Computing. Cloud-based Dynamic Routing is becoming increasingly popular. We propose feedback in Formal Methods for Dynamic Routing and Cloud Computing; the model and topologies show how to send messages from index zero to all others formally. The responsibility of proper verification becomes crucial with Dynamic Routing in the cloud. Formal Methods can play an essential role in the routing and development of Networks, and the testing of distributed systems. Event-B is a formal technique that consists of describing the problem rigorously and introduces solutions or details in the refinement steps. Event-B is a variant of B, designed for developing distributed systems and message passing of the dynamic routing. In Event-B and formal methods, the events consist of guarded actions occurring spontaneously rather than being invoked. Keywords— Cloud, Dynamic Routing, Formal Method.

Type : Research paper

Published : Volume-4, Issue-8


DOIONLINE NO - IJACEN-IRAJ-DOIONLINE-5345   View Here

Copyright: © Institute of Research and Journals

| PDF |
Viewed - 55
| Published on 2016-09-13
   
   
IRAJ Other Journals
IJACEN updates
Paper Submission is open now for upcoming Issue.
The Conference World

JOURNAL SUPPORTED BY