Data mining through property checks based upon string pattern determinations
作者： Donald J. O'Riordan
DOI:
关键词:
摘要: A method is provided to evaluate user interaction with a computer interface (UI) comprising: receiving property definition that identifies at least one relationship among prescribed string patterns correspond or more UI events; log file in readable storage device includes plurality of respective chunks information; determining whether the information within pattern matches patterns; configuring processor produce an indication satisfied based upon matching determinations.
lens.org 参考文章(15)
Ziv Glazberg, Mark Moulin, Avigail Orni, Sitvanit Ruah, Emmanuel Zarpas, PSL: Beyond Hardware Verification Springer, Dordrecht. pp. 245- 260 ,(2007) , 10.1007/978-1-4020-6254-4_19
Nk Srinivas, Rajat Mishra, Alan T. G. Jowett, Tracing errors in software ,(2005)
Qiang Chen, Sridhar Tirumala, Akash Jain, Integrated circuit optimization modeling technology ,(2010)
Suman Chakravartula, Ramakrishnan Balasubramanian, Secure Provisioning of Resources in Cloud Infrastructure ,(2011)
Rajesh Gururaj, System for automated generation of computer test procedures ,(2010)
Wim Verhaegen, Walter Daems, Erik Lauwers, Bendt Sorensen, Bart De Smedt, Method and apparatus for designing electronic circuits using optimization ,(2005)
Samuel J. Horodezky, Leo Chen, Rainer Wessler, Michael B. Hirsch, Ryan R. Rowe, Apparatus and methods of receiving and acting on user-entered information ,(2011)
Andres R. Takach, Peter Pius Gutberlet, Bryan Darrell Bowyer, Loop manipulation in a behavioral synthesis tool ,(2005)
Joseph Lawrence Mueller, Gary Alan Van Huben, Computerized design automation method using a single logical PFVL paradigm ,(1996)
Marc Boulé, Zeljko Zilic, Automata-based assertion-checker synthesis of PSL properties ACM Transactions on Design Automation of Electronic Systems. ,vol. 13, pp. 4- ,(2008) , 10.1145/1297666.1297670