|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 7 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jinan Sun, Yu Huang 0004, Xin Gao, Shikun Zhang, Lifu Wang, Chong-Yi Yuan |
A Novel Method for Formally Detecting RFID Event Using Petri Nets.  |
SEKE  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Xin Gao, Wenhui Hu, Wei Ye, Shikun Zhang |
Data Uncertainty Model for Mashup. |
SEKE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wei Ye, Wenhui Hu, Wen Zhao, Xin Gao, Shikun Zhang, Lifu Wang |
Towards Lightweight Application Integration Based on Mashup. |
SERVICES I |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Ye, Wen Zhao, Yu Huang 0004, Wenhui Hu, Shikun Zhang, Lifu Wang |
Towards Passive RFID Event. |
COMPSAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Ye, Wen Zhao, Yu Huang 0004, Wenhui Hu, Shikun Zhang, Lifu Wang |
Formal Definition and Detection Algorithm for Passive Event in RFID Middleware. |
APWeb/WAIM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiqiang Dun, Wen Zhao, Yu Huang 0004, Shikun Zhang, Lifu Wang |
Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chong-Yi Yuan, Wen Zhao, Shikun Zhang, Yu Huang 0004 |
A Three-Layer Model for Business Processes - Process Logic, Case Semantics and Workflow Management. |
J. Comput. Sci. Technol. |
2007 |
DBLP DOI BibTeX RDF |
WF-net, workflow logic, Petri Net, synchronizer, workflow modeling |
| 1 | Xing-Qi Huang, Wen Zhao, Shikun Zhang |
A New Approach for Workflow Process Delta Analysis Based on SYN-NET. |
ICEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Xing-Qi Huang, Lifu Wang, Wen Zhao, Shikun Zhang, Chong-Yi Yuan |
A Workflow Process Mining Algorithm Based on Synchro-Net. |
J. Comput. Sci. Technol. |
2006 |
DBLP DOI BibTeX RDF |
workflow logic, workflow semantics, Petri net, workflow, process mining |
| 1 | Jian Cai, Wen Zhao, Shikun Zhang, Lifu Wang |
Correctness Verification of synchronization based workflow model. |
ICEBE |
2005 |
DBLP DOI BibTeX RDF |
workjlow logic, workjlow semantic, model checking, Petri net, workflow, spin model checker |
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")