咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

  • 165 篇 shanghai key lab...
  • 73 篇 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 篇 school of inform...
  • 7 篇 guangxi collabor...
  • 7 篇 computing center...
  • 6 篇 shanghai enginee...
  • 6 篇 shanghai key lab...
  • 6 篇 faculty of engin...

作者

  • 37 篇 lizhi cai
  • 32 篇 yu huiqun
  • 31 篇 miao huaikou
  • 30 篇 cai lizhi
  • 29 篇 fan guisheng
  • 24 篇 zhenyu liu
  • 21 篇 chen liqiong
  • 19 篇 liu zhenyu
  • 16 篇 huaikou miao
  • 14 篇 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

语言

  • 331 篇 英文
  • 4 篇 其他
  • 1 篇 中文
检索条件"机构=Shanghai Key Laboratory of Computer Software Testing and Evaluation"
336 条 记 录,以下是241-250 订阅
排序:
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... 详细信息
来源: 评论
An RFID indoor positioning system by using Particle Swarm Optimization-based Artificial Neural Network
An RFID indoor positioning system by using Particle Swarm Op...
收藏 引用
International Conference on Audio, Language and Image Processing, ICALIP
作者: Changzhi Wang Zhicai Shi Fei Wu Juan Zhang Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China School of Electronic and Electrical Engineering Shanghai University of Engineering Science Shanghai China
Indoor Location information service (ILS) has been the hot topics of research in recent years. However, localization cost and positioning accuracy is still a challenge for indoor positioning system (IPS). RFID positio... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
Modeling and verifying of grid computing based on FSM
收藏 引用
Journal of Convergence Information Technology 2011年 第1期6卷 170-181页
作者: Gao, Honghao Wang, Shuoping 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
Many applications of grid computing are appearing to solve a scientific or technical problem by shaping and coordinating computational services across the network. The dynamic and complex interaction of grid computing... 详细信息
来源: 评论
A robust method of mark recognition for robot autonomous navigation
A robust method of mark recognition for robot autonomous nav...
收藏 引用
International Conference on Audio, Language and Image Processing, ICALIP
作者: Yi Liu Xiang Liu Yunyu Shi Fei Wu Juan Zhang Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China School of Electronic and Electrical Engineering Shanghai University of Engineering Science Shanghai China
The vision system of an autonomous robot can obtain and analyze the necessary environmental information used for autonomous decisions. The processing and recognition of the images captured through the autonomous robot... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Automatic Collaborative testing of Applications Integrating Text Features and Priority Experience Replay
Automatic Collaborative Testing of Applications Integrating ...
收藏 引用
IEEE International Conference on software Quality, Reliability and Security (QRS)
作者: Lizhi Cai Jin Wang Mingang Chen Jilong Wang School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai Development Center of Computer Software Technology Shanghai China
With the popularity of deep reinforcement learning(DRL), people have great interest in using deep reinforcement learning for application automated testing. However, most automated testing methods based on reinforcemen... 详细信息
来源: 评论
An Approach to Optimize Symbolic Execution in Ethereum Smart Contracts
An Approach to Optimize Symbolic Execution in Ethereum Smart...
收藏 引用
IEEE International Conference on software Quality, Reliability and Security Companion (QRS-C)
作者: Yi Liu Lizhi Cai Chenchen Chai Yuan Ma School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai Development Center of Computer Software Technology Shanghai China
As the application of smart contracts in blockchain technology becomes increasingly widespread, their security issues have emerged as a focal point of both research and practice. Although symbolic execution technology... 详细信息
来源: 评论
Contrastive Pseudo Learning for Open-World DeepFake Attribution
arXiv
收藏 引用
arXiv 2023年
作者: Sun, Zhimin Chen, Shen Yao, Taiping Yin, Bangjie Yi, Ran Ding, Shouhong Ma, Lizhuang Shanghai Jiao Tong University China Tencent YouTu Lab China Shanghai Key Laboratory of Computer Software Testing & Evaluating China
The challenge in sourcing attribution for forgery faces has gained widespread attention due to the rapid development of generative techniques. While many recent works have taken essential steps on GAN-generated faces,... 详细信息
来源: 评论
The Multi-version and Single-display Strategy in Undo Scheme
The Multi-version and Single-display Strategy in Undo Scheme
收藏 引用
International Conference on computer and Information Technology (CIT)
作者: Jiangming Yang Qiwei Zhang Ning Gu Genxing Yang Zhenyu Liu Department of Computing and Information Technology Fudan University China Software Testing and Evaluating Shanghai key Laboratory of Computer China
Consistency maintenance is one of the most significant challenges in groupware systems. In groupware systems, the effect of incorrect execution will be more extensive for it is done in distributed group editors, so th... 详细信息
来源: 评论