咨询与建议

限定检索结果

文献类型

  • 166 篇 会议
  • 15 册 图书
  • 5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 129 篇 工学
    • 119 篇 计算机科学与技术...
    • 85 篇 软件工程
    • 5 篇 电气工程
    • 5 篇 信息与通信工程
    • 5 篇 控制科学与工程
    • 4 篇 电子科学与技术(可...
    • 2 篇 农业工程
    • 2 篇 生物医学工程(可授...
    • 1 篇 机械工程
    • 1 篇 光学工程
    • 1 篇 仪器科学与技术
    • 1 篇 矿业工程
    • 1 篇 石油与天然气工程
    • 1 篇 生物工程
    • 1 篇 网络空间安全
  • 22 篇 理学
    • 16 篇 数学
    • 3 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 生物学
  • 15 篇 管理学
    • 8 篇 图书情报与档案管...
    • 5 篇 管理科学与工程(可...
    • 4 篇 工商管理
    • 1 篇 公共管理
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 护理学(可授医学、...

主题

  • 18 篇 computer languag...
  • 12 篇 database languag...
  • 12 篇 query languages
  • 10 篇 logic programmin...
  • 9 篇 database systems
  • 9 篇 software enginee...
  • 9 篇 artificial intel...
  • 9 篇 functional progr...
  • 8 篇 parallel program...
  • 8 篇 computer program...
  • 7 篇 xml
  • 7 篇 programming lang...
  • 6 篇 computer science
  • 6 篇 software enginee...
  • 6 篇 mathematical log...
  • 6 篇 costs
  • 6 篇 semantics
  • 6 篇 computer program...
  • 6 篇 relational datab...
  • 6 篇 logics and meani...

机构

  • 2 篇 univ valladolid ...
  • 2 篇 carleton univ sc...
  • 2 篇 imdea software
  • 2 篇 department of co...
  • 2 篇 tallinn universi...
  • 2 篇 univ aarhus dept...
  • 2 篇 univ calabria di...
  • 2 篇 vienna univ tech...
  • 1 篇 philipps univ ma...
  • 1 篇 xian technol uni...
  • 1 篇 ibm corp almaden...
  • 1 篇 mechanical engin...
  • 1 篇 university paris...
  • 1 篇 department of in...
  • 1 篇 epfl
  • 1 篇 univ nottingham ...
  • 1 篇 dept. of informa...
  • 1 篇 university of te...
  • 1 篇 department of co...
  • 1 篇 the pennsylvania...

作者

  • 3 篇 schwartzbach mic...
  • 2 篇 bertossi leopold...
  • 2 篇 chakravarty manu...
  • 2 篇 zhao yidan
  • 2 篇 krennwallner tho...
  • 2 篇 moreton-fernande...
  • 2 篇 van gucht dirk
  • 2 篇 gonzalez-escriba...
  • 2 篇 cozman fabio g.
  • 2 篇 carro manuel
  • 2 篇 eiter thomas
  • 2 篇 moller anders
  • 2 篇 ianni giovambatt...
  • 2 篇 steffen bernhard
  • 2 篇 xiao qinkun
  • 2 篇 li kin fun
  • 2 篇 schindlauer roma...
  • 2 篇 brabrand claus
  • 2 篇 hanus michael
  • 2 篇 keller gabriele

语言

  • 183 篇 英文
  • 2 篇 其他
  • 1 篇 中文
检索条件"任意字段=10th International Symposium on Database Programming Languages"
186 条 记 录,以下是181-190 订阅
排序:
Developing a high-quality software tool for fault tree analysis
Developing a high-quality software tool for fault tree analy...
收藏 引用
international symposium on Software Reliability Engineering (ISSRE)
作者: J.B. Dugan K.J. Sullivan D. Coppit Department of Electrical Engineering University of Virginia Charlottesville VA USA Department of Computer Science University of Virginia Charlottesville VA USA
Sophisticated dependability analysis techniques are being developed in academia and research labs, but few have gained wide acceptance in industry. To be valuable, such techniques must be supported by usable, dependab... 详细信息
来源: 评论
Reasoning about extremal properties of events
Reasoning about extremal properties of events
收藏 引用
international Workshop on Temporal Representation and Reasoning (TIME)
作者: J.K. Deka Department of Computer Science and Engineering Indian Institute of Technology Guwahati India
this paper deals with a branching time temporal query language called Min-max CTL which is similar in syntax to the popular temporal logic, CTL according to E. M. Clarke (1986). Min-max CTL can express timing queries ... 详细信息
来源: 评论
Estimating effort by use case points: method, tool and case study
Estimating effort by use case points: method, tool and case ...
收藏 引用
international symposium on Software Metrics
作者: S. Kusumoto F. Matukawa K. Inoue S. Hanabusa Y. Maegawa Graduate School of Information Science and Technology Osaka University Toyonaka Osaka Japan Production Technology Department Hitachi Systems and Services Limited Ota Tokyo Japan
Use case point (UCP) method has been proposed to estimate software development effort in early phase of software project and used in a lot of software organizations. Intuitively, UCP is measured by counting the number... 详细信息
来源: 评论
Framework for Efficient Indexing and Searching of Scientific Metadata  10
Framework for Efficient Indexing and Searching of Scientific...
收藏 引用
IEEE/ACM international symposium on Cluster Computing and the Grid (CCGRID)
作者: Chaitali Gupta Madhusudhan Govindaraju Department of Computer Science State University of New York Binghamton Binghamton NY USA
A seamless and intuitive data reduction capability for the vast amount of scientific metadata generated by experiments is critical to ensure effective use of the data by domain specific scientists. the portal environm... 详细信息
来源: 评论
Automatic runtime calculation of communications for data-parallel expressions with periodic conditions
收藏 引用
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2019年 第5期31卷
作者: Moreton-Fernandez, Ana Gonzalez-Escribano, Arturo Univ Valladolid Dept Informat Valladolid Spain
Many real-world applications feature data accesses on periodic domains. Manually implementing the synchronizations and communications associated to the data dependences on each case is cumbersome and error-prone. It i... 详细信息
来源: 评论
Distributed Authority Management Method Based on Blockchains
Distributed Authority Management Method Based on Blockchains
收藏 引用
international symposium on Advanced Intelligent Systems
作者: Taisei Igarashi Yutaka Watanobe Graduate Department of Information Systems University of Aizu Fukushima Japan
In recent years, blockchain technology has become widespread, and there are now many related open source blockchain projects and services around the world. However, although blockchains are based on decentralized mech... 详细信息
来源: 评论