咨询与建议

限定检索结果

文献类型

  • 4,365 篇 会议
  • 406 篇 期刊文献
  • 22 篇 学位论文
  • 15 册 图书

馆藏范围

  • 4,808 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,968 篇 工学
    • 2,606 篇 计算机科学与技术...
    • 2,375 篇 软件工程
    • 290 篇 控制科学与工程
    • 247 篇 电气工程
    • 149 篇 信息与通信工程
    • 47 篇 电子科学与技术(可...
    • 46 篇 机械工程
    • 41 篇 建筑学
    • 38 篇 土木工程
    • 26 篇 生物工程
    • 23 篇 材料科学与工程(可...
    • 20 篇 航空宇航科学与技...
    • 18 篇 仪器科学与技术
    • 15 篇 光学工程
    • 12 篇 环境科学与工程(可...
    • 11 篇 化学工程与技术
    • 10 篇 交通运输工程
  • 415 篇 理学
    • 294 篇 数学
    • 49 篇 系统科学
    • 43 篇 物理学
    • 37 篇 生物学
    • 22 篇 统计学(可授理学、...
    • 15 篇 化学
  • 362 篇 管理学
    • 193 篇 图书情报与档案管...
    • 192 篇 管理科学与工程(可...
    • 74 篇 工商管理
  • 44 篇 教育学
    • 43 篇 教育学
  • 25 篇 法学
    • 24 篇 社会学
  • 17 篇 医学
    • 13 篇 临床医学
  • 11 篇 经济学
    • 11 篇 应用经济学
  • 9 篇 文学
  • 5 篇 农学
  • 4 篇 军事学
  • 1 篇 艺术学

主题

  • 1,686 篇 object oriented ...
  • 859 篇 object oriented ...
  • 444 篇 application soft...
  • 436 篇 computer languag...
  • 305 篇 java
  • 268 篇 programming
  • 236 篇 software systems
  • 233 篇 computer science
  • 207 篇 programming prof...
  • 188 篇 software enginee...
  • 176 篇 computer archite...
  • 161 篇 unified modeling...
  • 140 篇 object oriented ...
  • 135 篇 object-oriented ...
  • 118 篇 database systems
  • 96 篇 computational mo...
  • 93 篇 prototypes
  • 90 篇 real time system...
  • 89 篇 concurrent compu...
  • 88 篇 hardware

机构

  • 9 篇 software composi...
  • 8 篇 ibm
  • 8 篇 carnegie mellon ...
  • 8 篇 univ bern softwa...
  • 8 篇 swiss fed inst t...
  • 8 篇 univ texas austi...
  • 7 篇 purdue universit...
  • 6 篇 cwi
  • 6 篇 ibm thomas j. wa...
  • 6 篇 school of comput...
  • 6 篇 ibm corp thomas ...
  • 6 篇 university of il...
  • 5 篇 school of comput...
  • 5 篇 university of te...
  • 5 篇 georgia inst tec...
  • 5 篇 univ waterloo wa...
  • 5 篇 ibm t.j. watson ...
  • 5 篇 department of co...
  • 5 篇 victoria univers...
  • 5 篇 siemens ag

作者

  • 13 篇 noble james
  • 12 篇 aldrich jonathan
  • 11 篇 de meuter wolfga...
  • 10 篇 biddle robert
  • 10 篇 cook william r.
  • 9 篇 ricci alessandro
  • 9 篇 de champeaux den...
  • 9 篇 yonezawa akinori
  • 9 篇 nierstrasz oscar
  • 9 篇 johnson ralph
  • 9 篇 chambers c
  • 8 篇 coad peter
  • 8 篇 madsen ole lehrm...
  • 8 篇 abi-antoun marwa...
  • 8 篇 salvaneschi guid...
  • 8 篇 vitek jan
  • 8 篇 s.s. yau
  • 7 篇 hirschfeld rober...
  • 7 篇 visser eelco
  • 7 篇 ancona davide

语言

  • 4,688 篇 英文
  • 107 篇 其他
  • 12 篇 中文
  • 1 篇 日文
检索条件"任意字段=Conference on Object-Oriented Programming Systems, Languages, and Applications"
4808 条 记 录,以下是341-350 订阅
排序:
Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of object-oriented languages, Programs and systems, ICOOOLPS 2015
Proceedings of the 10th Workshop on Implementation, Compilat...
收藏 引用
10th Workshop on Implementation, Compilation, Optimization of object-oriented languages, Programs and systems, ICOOOLPS 2015
The proceedings contain 6 papers. The topics discussed include: building debuggers and other tools: we can 'have it all';trace-based debugging for advanced-dispatching programming languages;call-target-specifi...
来源: 评论
Categories of Ontologies' applications in the Realm of Enterprise Modeling  17
Categories of Ontologies' Applications in the Realm of Enter...
收藏 引用
17th IEEE conference on Business Informatics
作者: Kaczmarek, Monika Univ Duisburg Essen Informat Syst & Enterprise Modeling D-45141 Essen Germany
The field of enterprise modeling (EM) is facing a number of challenges. Some of them result out of the application of informal or semi-formal modeling languages having usually semantics similar to object-oriented prog... 详细信息
来源: 评论
LEARNING CROSS-LINGUAL INFORMATION WITH MULTILINGUAL BLSTM FOR SPEECH SYNTHESIS OF LOW-RESOURCE languages
LEARNING CROSS-LINGUAL INFORMATION WITH MULTILINGUAL BLSTM F...
收藏 引用
IEEE International conference on Acoustics, Speech and Signal Processing
作者: Quanjie Yu Peng Liu Zhiyong Wu Shiyin Kang Helen Meng Lianhong Cai Tsinghua-CUHK Joint Research Center for Media Sciences Technologies and Systems Graduate School at Shenzhen Tsinghua University Shenzhen 518055 China Department of Systems Engineering and Engineering Management The Chinese University of Hong Kong Shatin N.T. Hong Kong SAR China
Bidirectional long short-term memory (BLSTM) based speech synthesis has shown great potential in improving the quality of the synthetic speech. However, for low-resource languages, it is difficult to obtain a high qua... 详细信息
来源: 评论
The oprop verification tool: object propositions in action
The oprop verification tool: Object propositions in action
收藏 引用
ACM SIGPLAN International conference on systems, programming, languages and applications: Software for Humanity, SPLASH 2015
作者: Nistor, Ligia School of Computer Science Carnegie Mellon University United States
We have recently introduced object propositions as a modular verification technique that combines abstract predicates and fractional permissions. The Oprop tool implements the theory of object propositions and verifie... 详细信息
来源: 评论
How to model curricula and learnflows by Petri nets - a survey
How to model curricula and learnflows by Petri nets - a surv...
收藏 引用
International conference on Emerging eLearning Technologies and applications (ICETA)
作者: Ana Juhásova Igor Kazlov Gabriel Juhás Ludovít Molnár BIREGAL s.r.o. Bratislava Slovakia Slovenska Technicka Univerzita Bratislava SK Interes.Institute s.r.o. Bratislava Slovakia
Petri nets represent a prominent formal method for modeling distributed systems both visually and with sound mathematics. They are very successful in modeling different workflow processes. In particular, Petri nets ca... 详细信息
来源: 评论
Expression-Based Aliasing for OO-languages  1
收藏 引用
3rd International Workshop on Formal Techniques for Safety-Critical systems (FTSCS)
作者: Caltais, Georgiana ETH Dept Comp Sci Zurich Switzerland
Alias analysis has been an interesting research topic in verification and optimization of programs. The undecidability of determining whether two expressions in a program may reference to the same object is the main s... 详细信息
来源: 评论
ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access  2015
ShamDroid: Gracefully Degrading Functionality in the Presenc...
收藏 引用
ACM SIGPLAN International conference on object-oriented programming, systems, languages, and applications (OOPSLA)
作者: Brutschy, Lucas Ferrara, Pietro Tripp, Omer Pistoia, Marco Swiss Fed Inst Technol Dept Comp Sci Zurich Switzerland IBM Thomas J Watson Res Ctr Yorktown Hts NY USA
Given a program whose functionality depends on access to certain external resources, we investigate the question of how to gracefully degrade functionality when a subset of those resources is unavailable. The concrete... 详细信息
来源: 评论
A metrics-based comparative study on object-oriented programming languages  27
A metrics-based comparative study on object-oriented program...
收藏 引用
27th International conference on Software Engineering and Knowledge Engineering, SEKE 2015
作者: Wu, Di Chen, Lin Zhou, Yuming Xu, Baowen State Key Laboratory for Novel Software Technology Nanjing University Nanjing China
There has been a long debate on which programming language can help write better object-oriented programs. However, to date little response is given to this issue with empirical evidence. In this paper, we perform a c... 详细信息
来源: 评论
A More Practical Automatic Dressing Method for Clothes Animation
A More Practical Automatic Dressing Method for Clothes Anima...
收藏 引用
International conference on Intelligent Human-Machine systems and Cybernetics, IHMSC
作者: Hanwen Li Zilong Liu Wenting Wang Northwest University for Nationalities of Mathematics and Computer Institute Lanzhou China Department of Safety Technology Sales Company of GanSu Petroleum Kunlun Gas LanZhou China
With its more realistic simulation effects, the dynamic-based three dimensional clothes animation technique has very broad applications in e-commerce, virtual reality. As an essential part of clothes animation, the dr... 详细信息
来源: 评论
Using Archival Diplomatics and object-oriented programming to Build Preservation objects in the Cloud  2
Using Archival Diplomatics and Object-Oriented Programming t...
收藏 引用
Digital Heritage International Congress
作者: Jansen, Adam Univ British Columbia Sch Lib Archival & Informat Studies Vancouver BC Canada
The use of Cloud Service Providers to store and manage records has introduced a new challenge to establishing the authenticity of digital records. Not only are these records removed from their systems of creation, but... 详细信息
来源: 评论