咨询与建议

限定检索结果

文献类型

  • 269 篇 会议
  • 60 篇 期刊文献

馆藏范围

  • 329 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 205 篇 工学
    • 182 篇 计算机科学与技术...
    • 139 篇 软件工程
    • 30 篇 控制科学与工程
    • 21 篇 信息与通信工程
    • 16 篇 交通运输工程
    • 15 篇 机械工程
    • 15 篇 生物工程
    • 11 篇 建筑学
    • 9 篇 土木工程
    • 8 篇 网络空间安全
    • 7 篇 材料科学与工程(可...
    • 7 篇 电气工程
    • 6 篇 动力工程及工程热...
    • 4 篇 光学工程
    • 4 篇 石油与天然气工程
  • 97 篇 理学
    • 74 篇 数学
    • 17 篇 生物学
    • 14 篇 统计学(可授理学、...
    • 9 篇 系统科学
    • 8 篇 物理学
  • 72 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 32 篇 图书情报与档案管...
    • 14 篇 工商管理
    • 5 篇 公共管理
  • 9 篇 医学
    • 8 篇 公共卫生与预防医...
    • 4 篇 基础医学(可授医学...
    • 4 篇 临床医学
  • 8 篇 经济学
    • 8 篇 应用经济学
  • 8 篇 法学
    • 6 篇 社会学
  • 5 篇 艺术学
    • 5 篇 设计学(可授艺术学...
  • 2 篇 农学
  • 1 篇 教育学

主题

  • 29 篇 software testing
  • 22 篇 testing
  • 21 篇 petri nets
  • 20 篇 web services
  • 17 篇 software
  • 15 篇 model checking
  • 13 篇 software quality
  • 10 篇 analytical model...
  • 10 篇 cloud computing
  • 9 篇 laboratories
  • 9 篇 quality of servi...
  • 9 篇 computational mo...
  • 9 篇 semantics
  • 8 篇 feature extracti...
  • 8 篇 security
  • 7 篇 software reliabi...
  • 7 篇 costs
  • 7 篇 algorithm design...
  • 7 篇 business
  • 7 篇 training

机构

  • 165 篇 shanghai key lab...
  • 74 篇 school of comput...
  • 55 篇 department of co...
  • 40 篇 shanghai key lab...
  • 24 篇 department of co...
  • 19 篇 shanghai key lab...
  • 19 篇 school of comput...
  • 16 篇 school of inform...
  • 16 篇 shanghai key lab...
  • 10 篇 school of comput...
  • 10 篇 school of cyber ...
  • 9 篇 shanghai key lab...
  • 8 篇 east china unive...
  • 7 篇 shanghai jiao to...
  • 7 篇 guangxi collabor...
  • 7 篇 computing center...
  • 6 篇 shanghai enginee...
  • 6 篇 shanghai key lab...
  • 6 篇 faculty of engin...
  • 6 篇 beijing key lab....

作者

  • 34 篇 lizhi cai
  • 33 篇 yu huiqun
  • 31 篇 miao huaikou
  • 31 篇 cai lizhi
  • 29 篇 fan guisheng
  • 24 篇 zhenyu liu
  • 21 篇 chen liqiong
  • 19 篇 liu zhenyu
  • 16 篇 huaikou miao
  • 15 篇 chen mingang
  • 13 篇 chen shengbo
  • 11 篇 gao honghao
  • 10 篇 mingang chen
  • 10 篇 liu pan
  • 10 篇 zhang juan
  • 9 篇 genxing yang
  • 9 篇 hongwei zeng
  • 9 篇 yun hu
  • 9 篇 chunhe xia
  • 9 篇 tianbo wang

语言

  • 324 篇 英文
  • 4 篇 其他
  • 1 篇 中文
检索条件"机构=Shanghai Key Laboratory of Computer Software Evaluating and Testing"
329 条 记 录,以下是231-240 订阅
排序:
Survivability prediction of web system based on log statistics
Survivability prediction of web system based on log statisti...
收藏 引用
ACIS International Conference on software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)
作者: Jiaan Zhou Huaikou Miao Jinyu Kai Kun Zhao Honghao Gao School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai China Computing Center Shanghai University Shanghai China
Widely applied and quickly developed as the SOA theory has been, the instability of distributed Web services will lead to services composition failure. Currently, a hot research topic is that when does the system can ... 详细信息
来源: 评论
An algorithm on fairness verification of mobile sink routing in wireless sensor network
An algorithm on fairness verification of mobile sink routing...
收藏 引用
作者: Xu, Guangquan Li, Weisheng Xu, Rui Xiao, Yingyuan Gao, Honghao Li, Xiaohong Feng, Zhiyong Mei, Jia Institute of Knowledge Science and Engineering School of Computer Science and Technology Tianjin University 92 Weijin Road Nankai District Tianjin 300072 China College of Computer Science and Technology Chongqing University of Posts and Telecommunications Chongqing China Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology Tianjin University of Technology Tianjin China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai University Shanghai 201112 China Guangxi Economic Management Cadre College Guangxi China
Congestion and starvation will occur among some nodes due to the emerging serious unfairness, which is derived from the limited communication capabilities of all nodes and sink or in the case of a mobile sink moving t... 详细信息
来源: 评论
A survey of quality prediction methods of service-oriented systems
收藏 引用
International Journal of Hybrid Information Technology 2016年 第4期9卷 183-198页
作者: Kai, Jinyu Miao, Huaikou Gao, Honghao Shanghai University School of Computer Engineering and Science Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Computing Center Shanghai University Shanghai China
Service quality prediction plays a very important role in many fields related of service-oriented systems. Now, there are large numbers of approaches to predict the quality of service-oriented systems. However, it is ... 详细信息
来源: 评论
Petri Nets based Modeling and Analysis of UPnP Security Ceremonies
Petri Nets based Modeling and Analysis of UPnP Security Cere...
收藏 引用
2011 Third Pacific-Asia Conference on Circuits,Communications and System
作者: Hong Zheng Chunfang Li Zhihua Chen School of Information Science and Engineering East China University of science and technology Shanghai Key Laboratory of Computer Software Evaluating and Testing
UPnP is a universal plug and play technology which is widely used in the digital family network. The UPnP security ceremonies expend the UPnP technology to meet the important security requirement. This paper introduce... 详细信息
来源: 评论
Model checking the reliability of interactive behaviors for mobile computing
收藏 引用
Advances in Information Sciences and Service Sciences 2011年 第6期3卷 1-12页
作者: Gao, Honghao Miao, Huaikou Wang, Shuoping Mei, Jia Liu, Yang School of Computer Engineering and Science Shanghai University 200072 Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China Computer Science School Zhejiang University City College 310015 Hangzhou China
The development of mobile computing is dependent on the new methods, techniques and tools to support engineering applications during all the phases of its life cycle. Especially, considering the complexities of intera... 详细信息
来源: 评论
Analysis of quality evaluation based on ISO/IEC SQuaRE series standards and its considerations
Analysis of quality evaluation based on ISO/IEC SQuaRE serie...
收藏 引用
International Conference on computer and Information Science (ACIS)
作者: Yi Zhao Jiayu Gong Yun Hu Zhenyu Liu Lizhi Cai Shanghai Ruanzhong Information Technology Co. Ltd Shanghai Industrial Technology Institute Shanghai China Shanghai Key Laboratory of Computer Software Testing &Evaluating Shanghai Development Center of Computer Software Technology
System and software quality evaluation is an important method of quality assurance, and its standardization provides quality requirements and evaluation supported by quality measurement. ISO/IEC organizations have als... 详细信息
来源: 评论
Business Scenario Driven Reinforcement Learning testing Method
Business Scenario Driven Reinforcement Learning Testing Meth...
收藏 引用
software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD-Winter), ACIS International Winter Conference on
作者: Lizhi Cai Jin Wang Shanghai Key Laboratory of Computer Software Testing and Evaluating School of Information Science and Engineering East China University of Science and Technology Shanghai China
Reinforcement learning has been successfully applied in software testing, but the existing testing methods cannot perform effective testing according to the characteristics of applications, and using outdated interact...
来源: 评论
Cloud and SNS supported collaboration in AEC industry
Cloud and SNS supported collaboration in AEC industry
收藏 引用
2012 IEEE 16th International Conference on computer Supported Cooperative Work in Design, CSCWD 2012
作者: Jiao, Yi Wang, Yinghui Yuan, Lei Li, Lin School of Computer Science Fudan University Shanghai 200433 China Shanghai Key Laboratory of Software Testing and Evaluation Shanghai 201114 China Shanghai Ruanzhong Information Technology Co. Ltd. Shanghai 200235 China
The intrinsic construction project nature of one-of-a-kind and the requirement of massive data exchange make collaboration one of the critical factors towards success. However, due to the complexity of multiple phases... 详细信息
来源: 评论
Towards a lightweight SOA framework for enterprise cloud computing
Towards a lightweight SOA framework for enterprise cloud com...
收藏 引用
International Conference on computer Supported Cooperative Work in Design
作者: Jiao, Yi Li, Lin Ye, Nanrong School of Computer Science Fudan University Shanghai 200433 China Shanghai Key Laboratory of Software Testing and Evaluation Shanghai 201114 China Shanghai Ruanzhong Information Technology Co. Ltd. Shanghai 200235 China
Cloud computing has become an emerging new computing paradigm. However, the issue of providing complex enterprise product family cloud is not well addressed so far. This article presents a framework featuring an in-de... 详细信息
来源: 评论
Modeling and analyzing reliable cyber-physical systems based on aspect orientation
收藏 引用
Journal of Applied Science and Engineering 2014年 第1期17卷 101-110页
作者: Chen, Liqiong Liu, Yunxiang Fan, Guisheng Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Department of Computer Science and Engineering East China University of Science and Technology Shanghai China
Cyber-physical systems (CPS) consists of distributed computation interconnected by computer networks. Finding a common semantics among these diverse components that facilitate system modeling, synthesis, and verificat... 详细信息
来源: 评论