Design of a state machine towards efficient management of user-generated data
暂无分享,去创建一个
Jianhua Ma | Runhe Huang | Neil Y. Yen | Jianhua Ma | Runhe Huang | N. Yen
[1] Peter Mika. Ontologies Are Us: A Unified Model of Social Networks and Semantics , 2005, International Semantic Web Conference.
[2] Kasper Hornbæk,et al. Social design feedback: evaluations with users in online ad-hoc groups , 2013, Human-centric Computing and Information Sciences.
[3] Bengt Jonsson,et al. Generating models of infinite-state communication protocols using regular inference with abstraction , 2015, Formal Methods Syst. Des..
[4] Mike Wright,et al. Petri net-based modelling of workflow systems: An overview , 2001, Eur. J. Oper. Res..
[5] Doo-Hwan Bae,et al. Software modeling and analysis using a hierarchical object-oriented Petri net , 2000, Inf. Sci..
[6] Christoforos N. Hadjicostis,et al. Designs of Bisimilar Petri Net Controllers With Fault Tolerance Capabilities , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[7] Kwang-Ting Cheng,et al. Automatic generation of functional vectors using the extended finite state machine model , 1996, TODE.
[8] Martin Alt,et al. Petri Nets , 2007, Workflows for e-Science, Scientific Workflows for Grids.
[9] Mike Thelwall,et al. A web crawler design for data mining , 2001, J. Inf. Sci..
[10] Lars Michael Kristensen,et al. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.
[11] Sekhar Ranjan Bhadra Chaudhuri,et al. SOFT COMPUTING APPROACH IN PREDICTION OF A TIME SERIES DATA , 2008 .
[12] Wendy A. Kellogg,et al. Social translucence: an approach to designing systems that support social processes , 2000, TCHI.
[13] Andrew McCallum,et al. Extracting social networks and contact information from email and the Web , 2004, CEAS.
[14] Ana R. Cavalli,et al. New approaches for passive testing using an Extended Finite State Machine specification , 2003, Inf. Softw. Technol..
[15] Luis Gomes,et al. From UML state machines to Petri nets: History attribute translation strategies , 2011, IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society.