文章基本信息

标题：Enhancement of Users Call Logging facilities using Push Down Automata (PDA) with Real Time Constraint Notation (RTCN)
本地全文：下载
作者：Vivek Kr. Singh ; S. P. Tripathi ; J. B. Singh 等
期刊名称：International Journal of Computer Science Issues
印刷版ISSN：1694-0784
电子版ISSN：1694-0814
出版年度：2012
卷号：9
期号：3
出版社：IJCSI Press
摘要：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.
关键词：Push Down Automata (PDA); Object Constraint Language(OCL)