|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 11 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pengcheng Zhang, Wenrui Li, Dingsheng Wan, Lars Grunske |
Monitoring of Probabilistic Timed Property Sequence Charts.  |
Softw., Pract. Exper.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Wu, Xin Xu, Pengcheng Zhang, Chunming Liu |
A novel multi-agent reinforcement learning approach for job scheduling in Grid computing. |
Future Generation Comp. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Zhang, Henry Muccini, Andrea Polini, Xuandong Li |
Run-time systems failure prediction via proactive monitoring. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenrui Li, Pengcheng Zhang, Zhijian Wang, Zhongxue Yang |
Generating Probabilistic Temporal Logic Formulas from Probabilistic Scenario-Based Specifications. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenrui Li, Zhongxue Yang, Pengcheng Zhang, Zhijian Wang |
Model Checking WS-BPEL with Universal Modal Sequence Diagrams. |
ACIS-ICIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Zhang, Henry Muccini, Yuelong Zhu, Bixin Li |
Model and Verification of WS-CDL Based on UML Diagrams. |
International Journal of Software Engineering and Knowledge Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Zhang, Bixin Li, Lars Grunske |
Timed Property Sequence Chart. |
Journal of Systems and Software |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Zhang, Henry Muccini, Bixin Li |
A classification and comparison of model checking software architecture techniques. |
Journal of Systems and Software |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Weijun Yang, Hong Lin, Changhui Li, Feng Fang, Pengcheng Zhang, Liang Guo |
Establishing rapid production system of ortho image based on aerial camera with high-precision POS system. |
Geoinformatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Zhang, Zhiyong Su, Yuelong Zhu, Wenrui Li, Bixin Li |
WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Zhang, Xin Xu, Chunming Liu, Qiping Yuan |
Reinforcement Learning Control of a Real Mobile Robot Using Approximate Policy Iteration. |
ISNN |
2009 |
DBLP DOI BibTeX RDF |
Approximate policy iteration, Approximate dynamic programming, Reinforcement learning, Mobile robots, Path following |
| 1 | Chunming Liu, Jinze Song, Xin Xu, Pengcheng Zhang |
Reordering Sparsification of Kernel Machines in Approximate Policy Iteration. |
ISNN |
2009 |
DBLP DOI BibTeX RDF |
Approximate policy iteration, Reinforcement learning, Sparsification |
| 1 | Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li |
A Formal Syntax for Probabilistic Timed Property Sequence Charts. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
Property Sequence Chart, Probabilistic and Timed Property Sequence Chart, Probabilistic Properties |
| 1 | Pengcheng Zhang, James Gao |
Requirements Driven Knowledge System Design for Product Development. |
DET |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Grunske, Pengcheng Zhang |
Monitoring probabilistic properties. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
security, web services, performance, reliability, safety, runtime monitoring, probabilistic properties |
| 1 | Mingjie Sun, Bixin Li, Pengcheng Zhang |
Monitoring BPEL-Based Web Service Composition Using AOP. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Zhang, Bixin Li, Zhiyong Su, Mingjie Sun |
Extending PSC for Monitoring the Timed Properties in Composite Services. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Zhang, Bixin Li, Mingjie Sun |
A Timed Extension of Property Sequence Chart. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Zhang, Bixin Li, Mingjie Sun, Xufang Gong |
A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Zhang, Bixin Li, Henry Muccini, Mingjie Sun |
An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions. |
APWeb Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun |
Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Zhang, Yu Zhou, Bixin Li |
A service-oriented methodology supporting automatic synthesis and verification of component behavior model. |
SNPD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengcheng Zhang, Renhou Li |
Design and Implementation of an Intelligent Cooperative Design System. |
CSCWD |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")