咨询与建议

限定检索结果

文献类型

  • 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
  • 32 篇 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 条 记 录,以下是291-300 订阅
排序:
Generating Test Cases Using Colored Petri Net
Generating Test Cases Using Colored Petri Net
收藏 引用
International Symposium on Information Engineering and Electronic Commerce, IEEC
作者: Lizhi Cai Juan Zhang Zhenyu Liu Shanghai Key Laboratory of Computer Software Testing and Evaluation Shanghai China School of Computer Engineering and Science Shanghai University Shanghai China
A Petri Net is a graphical and mathematical modeling approach used to describe the transition of states for an information system. This paper presents a novel technique to generating test cases using a Colored Petri N... 详细信息
来源: 评论
Securing personal health records in clouds by enforcing sticky policies
收藏 引用
Telkomnika - Indonesian Journal of Electrical Engineering 2013年 第4期11卷 2200-2208页
作者: Leng, Chunxia Yu, Huiqun Wang, Jingming Huang, Jianhua Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China School of Computer and Information Engineering Chuzhou University Anhui 239012 China
The personal health records (PHR) always contain much health-related privacy information in different categories. When storing the PHR data in the cloud, the PHR owner losescontrol to the sensitive information and is ... 详细信息
来源: 评论
CRCS: Learning Synergistic Cascade Correlation for Microscopic Cascade Prediction
CRCS: Learning Synergistic Cascade Correlation for Microscop...
收藏 引用
Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing, UIC-ATC
作者: Huacheng Li Chunhe Xia Tianbo Wang Haopeng Zhao Key Laboratory of Beijing Network Technology Beihang University Beijing China Key Laboratory of Beijing Network Technology Beijing China School of Cyber Science and Technology Beihang University Beijing China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China
Information diffusion prediction is the basis of many fundamental tasks, such as social recommendation and community detection. Currently, most researchers infer user correlation based on cascade records to predict fu...
来源: 评论
A study for extended regular expression-based testing
A study for extended regular expression-based testing
收藏 引用
International Conference on computer and Information Science (ACIS)
作者: Pan Liu Jun Ai Zhenning Jimmy Xu College of Information and Computer Shanghai Business School Shanghai China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai China School of Reliability and System Engineering Beihang University Beijing China School of business University of Southern Maine USA
software testing has become an essential activity to guarantee software quality. To reduce the overall cost of software testing, model-based testing has been widely studied in the past two decades and Finite State Mac... 详细信息
来源: 评论
CFC: a Cascade Forest approach to discover Cancer driver genes using multi-omics data
CFC: a Cascade Forest approach to discover Cancer driver gen...
收藏 引用
IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
作者: Lei Zhang Yijing Yang Zhe Wang Dongdong Li Jingping Liu Hai Yang Department of Computer Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Department of Computer Science University of Illinois Urbana-Champaign Champaign Illinois United States of America
With the development of next-generation sequencing technology, massive genomic data has been generated, primarily encouraging research on cancer driver genes. Many bioinformatics methods were proposed to identify driv... 详细信息
来源: 评论
computer-Aided Formalization of Product Family Models
SSRN
收藏 引用
SSRN 2022年
作者: Liu, Hongbo Wang, Xi Wang, Weiwei School of Computer Engineering and Scinece Shanghai University No.333 Nan Chen Road Baoshan District Shanghai Shanghai200444 China Shanghai Key Laboratory of Computer Software Testing and Evaluating No.333 Nan Chen Road Baoshan District Shanghai200444 China
The software product line enables the rapid construction of software products by reusing core assets. Product family modeling is one of the important activities in software product line engineering, which is a model f... 详细信息
来源: 评论
M-Detr: Multi-Scale Detr for Optical Music Recognition
SSRN
收藏 引用
SSRN 2023年
作者: Luo, Fei Dai, Yifan Fuentes, Joel Ding, Weichao Zhang, Xueqin East China University of Science and Technology Shanghai China Department of Computer Science and Information Technologies Universidad del Bío-Bío Chillán3780000 Chile Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China
As a new paradigm for object detection, DETR (detection transformer) has the ability to associate contextual information, which is very suitable for optical music recognition (OMR). This paper proposes a novel multi-s... 详细信息
来源: 评论
Eyou: An electronic map-based logistics service system
收藏 引用
Journal of Convergence Information Technology 2012年 第14期7卷 206-214页
作者: Liu, Pan Miao, Huaikou Chen, Jianjiao College of Computer Engineering and Science Shanghai Business School Fengpu Road FengXian District Shanghai 201400 China Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai 200072 China School of Computer Engineering and Science Shanghai University 149 Yanchang Road 200072 Shanghai China School of Information Science and Engineering Xinjiang University Xinjiang China
The paper describes a project to develop an electronic map-based logistics service system (named as Eyou). It consists of several core components, including a unified portal for searching the goods delivery informatio... 详细信息
来源: 评论
Research on Quality Model for Quantum Simulator software
Research on Quality Model for Quantum Simulator Software
收藏 引用
software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD-Winter), ACIS International Winter Conference on
作者: Chao Wang Jingwei Chen JianXin Ge XueZhong Wu QianQian Qu Le Luo Shanghai Key Laboratory of Computer Software Testing and Evaluating Shanghai Development Center of Computer Software Technology Shanghai China QUDOOR Technologies Inc. Hefei China Software Engineering of Computer and Information Engineering College Shanghai Polytechnic University Shanghai China QUDOOR Technologies Inc. School of Physics and Astronomy Sun Yat-Sen University Zhuhai China
In recent years, the demand for arithmetic power from all walks of life is growing, especially the increasing popularity of AIGC, which makes people realize that huge technological progress cannot be made without the ...
来源: 评论
CIXG: A Comprehensive Approach to Driver Gene Identification and Causal Interpretation
CIXG: A Comprehensive Approach to Driver Gene Identification...
收藏 引用
IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
作者: Yawen Liu Yiwen Chen Shanling Nie Hai Yang Department of Computer Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Center for Continuing and Lifelong Education National University of Singapore Faculty of Engineering The University of Sydney Australia
With the ongoing advancements in science and technology and the increasing research focus on cancer-related issues, there has been a proliferation of omics-related resources for in-depth analysis and exploration. This... 详细信息
来源: 评论