Fragmented Location – Identity in Model Checking
S. Pothumani1, C.Anuradha2, I. Mary Linda3
1S.Pothumani, Department of CSE, Bharath Institute of Higher Education & Research, (Tamil Nadu), India.
2C.Anuradha, Department of CSE, Bharath Institute of Higher Education & Research, (Tamil Nadu), India.
3I. Mary Linda, Department of CSE, Bharath Institute of Higher Education & Research, (Tamil Nadu), India.
Manuscript received on 14 September 2019 | Revised Manuscript received on 23 September 2019 | Manuscript Published on 10 October 2019 | PP: 519-522 | Volume-8 Issue-6S2, August 2019 | Retrieval Number: F11510886S219/19©BEIESP | DOI: 10.35940/ijeat.F1151.0886S219
Open Access | Editorial and Publishing Policies | Cite | Mendeley | Indexing and Abstracting
© The Authors. Blue Eyes Intelligence Engineering and Sciences Publication (BEIESP). This is an open access article under the CC-BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)
Abstract: Numerous data scholars would concur that, had it not been for the maker purchaser issue, the improvement of Internet QoS may never have happened. In this work, we negate the development of forward-blunder remedy, which encapsulates the ordinary standards of working frameworks. Procris, our new calculation for Smalltalk, is the answer for these difficulties.
Keywords: Procris, QoS.
Scope of the Article: Probabilistic Models and Methods