Enhancement of Users Call Logging facilities using Push Down Automata (PDA) with Real Time Constraint Notation (RTCN)
This paper highlights the use of Push – Down Automata (PDA) in storing and maintaining the call logs. The special feature about this paper is to maintain incoming call record from the different mobile service provider in a mobile in clustered way to the user. It focuses on real time constraint notation being applied to the push down automata for formal verification of the model.
Keywords: Push Down Automata (PDA), Object Constraint Language(OCL)
Download Full-Text
ABOUT THE AUTHORS
Vivek Kr. Singh
Vivek Kr. Singh is currently working as Assistant Professor in the Department of I. T. at BBDNITM, Lucknow. He has over 11 years of teaching experience. He has done his B.Tech in Computer Science & Engineering from Purvanchal University in 2001, M.Tech from U.P.Technical University, Lucknow in 2006, he is pursuing his Ph.D. from Shobhit University, Meerut. He has published numbers of papers in referred National journals. His teaching areas are: Theory of Automata & Formal Language, Design & Analysis of Algorithm & Computer Architecture
S. P. Tripathi
Dr. S. P. Tripathi is currently working as Professor in Department of Computer Science & Engineering at I.E.T. Lucknow. He has over 30 years of experience. He has published numbers of papers in referred Journals.
J. B. Singh
Dr. J. B. Singh is currently working as Dean Students Welfare at Shobhit University, Meerut. He has 38 years of teaching experience and has published number of papers in referred Journals.
R. P. Agarwal
Dr. R. P. Agarwal is currently working as Professor & Director in School of CE&IT at Shobhit University, Meerut. He has 40 years of teaching experience and has published number of papers in referred Journals.
Vivek Kr. Singh
Vivek Kr. Singh is currently working as Assistant Professor in the Department of I. T. at BBDNITM, Lucknow. He has over 11 years of teaching experience. He has done his B.Tech in Computer Science & Engineering from Purvanchal University in 2001, M.Tech from U.P.Technical University, Lucknow in 2006, he is pursuing his Ph.D. from Shobhit University, Meerut. He has published numbers of papers in referred National journals. His teaching areas are: Theory of Automata & Formal Language, Design & Analysis of Algorithm & Computer Architecture
S. P. Tripathi
Dr. S. P. Tripathi is currently working as Professor in Department of Computer Science & Engineering at I.E.T. Lucknow. He has over 30 years of experience. He has published numbers of papers in referred Journals.
J. B. Singh
Dr. J. B. Singh is currently working as Dean Students Welfare at Shobhit University, Meerut. He has 38 years of teaching experience and has published number of papers in referred Journals.
R. P. Agarwal
Dr. R. P. Agarwal is currently working as Professor & Director in School of CE&IT at Shobhit University, Meerut. He has 40 years of teaching experience and has published number of papers in referred Journals.