设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
CNKI会议论文(2)
CNKI学位论文(28)
CNKI期刊论文0611(3)
知网期刊论文(84)
在“
SpringerLink电子期刊
”中,
命中:
10
条,耗时:小于0.01 秒
在所有数据库中总计命中:
117
条
1.
Petri net based test case generation for evolved specification
作者:
Zuohua
Ding
;
Mingyue Jiang
;
Haibo Chen
;
Zhi Jin…
刊名:SCIENCE CHINA Information Sciences
出版年:2016
2.
Modeling and analysis of interactive telemedicine systems
作者:
Jing Liu (1)
Xijiao Xiong (1)
Zuohua
Ding
(2)
Jifeng He (1)
1. Shanghai Keylab of Trustworthy Computing
;
East China Normal University
;
Shanghai
;
200062
;
People鈥檚 Republic of China
2. Center of Math Computing and Software Engineering
;
Zhejiang Sci-Tech University
;
Hangzhou
;
310018
;
People鈥檚 Republic of China
关键词:
Component
;
based software
;
MDA
;
Telemedicine
;
Timed automata
刊名:Innovations in Systems and Software Engineering
出版年:2015
3.
Self-tuning Performance of Database Systems with Neural Network
作者:
Conghuan Zheng (18)
Zuohua
Ding
(18)
Jueliang Hu (18)
关键词:
Performance Tuning
;
Oracle Database
;
Neural Network
刊名:Lecture Notes in Computer Science
出版年:2014
4.
Hybrid MARTE statecharts
作者:
Jing Liu (11301)
Ziwei Liu (11301)
Jifeng He (11301)
Frédéric Mallet (21301)
Zuohua
Ding
(31301)
关键词:
UML
;
MARTE
;
hybrid automata
;
hybrid MARTE statechart
;
train control system
刊名:Frontiers of Computer Science in China
出版年:2013
5.
Parallel computation of continuous Petri nets based on hypergraph partitioning
作者:
Zuohua
Ding
(1) zouhua
ding
@hotmail.com
Hui Shen (1)
Jianwen Cao (2)
关键词:
Continuous Petri net –
;
Ordinary differential equation –
;
Hypergraph –
;
Parallel computing
刊名:The Journal of Supercomputing
出版年:2012
6.
Behavior Analysis of Software Systems Based on Petri Net Slicing
作者:
Jiaying Ma (20)
Wei Han (20)
Zuohua
Ding
(20) (21)
关键词:
behavior analysis
;
petri net
;
model slicing
;
t
;
invariant
刊名:Lecture Notes in Computer Science
出版年:2012
7.
Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets
作者:
Zuohua
Ding
(1)
Hui Shen (1)
Jianwen Cao (2)
关键词:
Continuous Petri net –
;
ODE –
;
hypergraph –
;
parallel computing
刊名:Lecture Notes in Computer Science
出版年:2011
8.
Applying Ordinary Differential Equations to the Performance Analysis of Service Composition
作者:
Zuohua
Ding
;
Hui Shen
;
Jing Liu
关键词:
Service composition
;
BPEL
;
performance analysis
;
Petri net
;
ordinary differential equation
刊名:Lecture Notes in Computer Science
出版年:2010
9.
Modelling and Verification of Web Navigation
作者:
Zuohua
Ding
;
Mingyue Jiang
;
Geguang Pu
;
Jeff W. Sanders
关键词:
Web Modelling
;
Link Analysis
;
Requirement Engineering
;
Model Checking
刊名:Lecture Notes in Computer Science
出版年:2009
10.
Static Analysis of Concurrent Programs Using Ordinary Differential Equations
作者:
Zuohua
Ding
关键词:
Concurrent program
;
State explosion
;
Ordinary differential equation
;
Deadlock detection
;
Boundedness checking
刊名:Lecture Notes in Computer Science
出版年:2009
1
按检索点细分(10)
作者(10)
按出版年细分(10)
2016年(1)
2015年(1)
2014年(1)
2013年(1)
2012年(2)
2011年(1)
2010年(1)
2009年(2)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.