|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 9 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jing Liu, Haibo Wu, Xinming Ye, Jun Li |
Scalable CP-nets modeling for BitTorrent protocol.  |
SAC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Liu, Xinming Ye, Jun Li |
Colored Petri nets model based conformance test generation. |
ISCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Liu, Xinming Ye, Jun Li |
CP-Nets Based Methodology for Integrating Functional Verification and Performance Analysis of Network Protocol. |
SNPD |
2010 |
DBLP DOI BibTeX RDF |
BitTorrent protocol, performance analysis, colored Petri nets, functional verification |
| 1 | Jun Zhang 0001, Hai Jiang, Zhijun Xu, Jun Li, Xinming Ye, Yi Sun |
Dynamic Differentiated Service Management for IP over Broadcasting Network. |
WCNC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hua Li, Yong-guang Peng, Xinming Ye, Jing-yuan Yue |
Test Sequence Generation from Combining Property Modeling and Program Slicing. |
COMPSAC Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Liu, Xinming Ye, Jun Li |
Analyzing Performance for Complex Protocol using Validated CP-nets Models. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
complex protocol, performance analysis, colored Petri nets, functional validation |
| 1 | Jing Liu, Xinming Ye, Jun Zhang 0001, Jun Li, Yi Sun |
Integrating functional verification and performance analysis for network protocols using CP-nets. |
ISCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang-yu Bai, Xinming Ye, Jun Li, Hai Jiang |
VLS: A Map-Based Vehicle Location Service for City Environments. |
ICC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hua Li, Xinming Ye, Chengyong Wu, Chengbao Hang, Lingling Wang |
Modeling Nondeterministic Feature with Petri Net for Network Protocol in Interoperability Testing. |
CSIE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Liu, Xinming Ye, Jun Zhang 0001, Jun Li |
Security Verification of 802.11i 4-Way Handshake Protocol. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Li, Xinming Ye, Ye Tian |
Topologically-Aware AAA Overlay Network in Mobile IPv6 Environment. |
Networking |
2006 |
DBLP DOI BibTeX RDF |
Security, Performance, Overlay Network, Mobile IPv6, AAA |
| 1 | Jun Li, Xinming Ye, Jing-lin Shi, Miao Wang |
Authenticated stateful auto-configuration for Mobile IPv6 based on pre-IP access control. |
WiMob |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tieying Liu, Xinming Ye |
An algorithm for determining minimal reduced-coverings of acyclic database schemes. |
J. Comput. Sci. Technol. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | To-Yat Cheung, Xinming Ye |
A Fault-Detection Approach to the Conformance Testing of Nondeterministic Systems. |
J. Parallel Distrib. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinming Ye |
A distributed algorithm for determining minimal covers of acyclic database schemes. |
J. Comput. Sci. Technol. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | To-Yat Cheung, Youwen Wu, Xinming Ye |
Generating Test Sequences and their Degrees of Indeterminism for Protocols. |
PSTV |
1991 |
DBLP BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")