咨询与建议

限定检索结果

文献类型

  • 670 篇 会议
  • 286 篇 期刊文献
  • 19 册 图书

馆藏范围

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

日期分布

学科分类号

  • 591 篇 工学
    • 428 篇 计算机科学与技术...
    • 345 篇 软件工程
    • 128 篇 信息与通信工程
    • 79 篇 电气工程
    • 68 篇 电子科学与技术(可...
    • 61 篇 控制科学与工程
    • 41 篇 光学工程
    • 38 篇 生物工程
    • 34 篇 机械工程
    • 32 篇 生物医学工程(可授...
    • 22 篇 仪器科学与技术
    • 22 篇 动力工程及工程热...
    • 22 篇 土木工程
    • 21 篇 建筑学
    • 18 篇 网络空间安全
    • 17 篇 安全科学与工程
    • 16 篇 交通运输工程
    • 15 篇 环境科学与工程(可...
  • 213 篇 理学
    • 108 篇 数学
    • 49 篇 物理学
    • 45 篇 生物学
    • 29 篇 统计学(可授理学、...
    • 23 篇 系统科学
  • 153 篇 管理学
    • 95 篇 管理科学与工程(可...
    • 64 篇 图书情报与档案管...
    • 48 篇 工商管理
  • 39 篇 医学
    • 36 篇 临床医学
    • 28 篇 基础医学(可授医学...
    • 16 篇 药学(可授医学、理...
  • 24 篇 法学
  • 15 篇 经济学
    • 15 篇 应用经济学
  • 6 篇 教育学
  • 5 篇 农学
  • 3 篇 军事学
  • 2 篇 文学
  • 1 篇 哲学

主题

  • 49 篇 software enginee...
  • 34 篇 computer science
  • 30 篇 software
  • 20 篇 computer archite...
  • 20 篇 semantics
  • 19 篇 context
  • 19 篇 protocols
  • 18 篇 computational mo...
  • 18 篇 unified modeling...
  • 17 篇 application soft...
  • 17 篇 monitoring
  • 16 篇 runtime
  • 16 篇 data mining
  • 16 篇 wireless sensor ...
  • 16 篇 software testing
  • 16 篇 artificial intel...
  • 16 篇 testing
  • 15 篇 java
  • 14 篇 software systems
  • 14 篇 wireless communi...

机构

  • 17 篇 software systems...
  • 15 篇 school of comput...
  • 15 篇 alibaba group
  • 9 篇 college of compu...
  • 9 篇 shandong provinc...
  • 9 篇 school of comput...
  • 8 篇 school of softwa...
  • 8 篇 school of comput...
  • 7 篇 software enginee...
  • 7 篇 peking universit...
  • 7 篇 key laboratory o...
  • 6 篇 kingdee research...
  • 6 篇 faculty of elect...
  • 6 篇 shandong branch ...
  • 6 篇 state key labora...
  • 6 篇 department of co...
  • 6 篇 service oriented...
  • 5 篇 institute of com...
  • 5 篇 automated softwa...
  • 5 篇 national enginee...

作者

  • 12 篇 sheldon s. willi...
  • 12 篇 padma iyenghar
  • 11 篇 elke pulvermuell...
  • 10 篇 vahid garousi
  • 10 篇 ghasem mirjalily
  • 9 篇 zündorf albert
  • 9 篇 andrade rossana ...
  • 9 篇 liming zhu
  • 9 篇 clemens westerka...
  • 8 篇 lu qinghua
  • 8 篇 juergen wuebbelm...
  • 8 篇 zhang liang-jie
  • 8 篇 zhang haijun
  • 7 篇 xu xiwei
  • 7 篇 zhu liming
  • 7 篇 qinghua lu
  • 6 篇 len bass
  • 6 篇 ladan tahvildari
  • 6 篇 kaklamani dimitr...
  • 6 篇 jamshidi p.

语言

  • 932 篇 英文
  • 31 篇 其他
  • 12 篇 中文
  • 1 篇 德文
检索条件"机构=Research Group on Computer Networks and Software Engineering"
975 条 记 录,以下是81-90 订阅
排序:
An integrated verification environment for JML: Architecture and early results
An integrated verification environment for JML: Architecture...
收藏 引用
ESEC/FSE 2007: 6th Joint Meeting - Sixth International Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2007
作者: Chalin, Patrice James, Perry R. Karabotsos, George Dependable Software Research Group Dept. of Computer Science and Software Engineering Concordia University Montréal Canada
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Java is prohibitively high: e.g., almos... 详细信息
来源: 评论
Validating mobility management solutions for interworking UMTS and IEEE 802.11 networks
Validating mobility management solutions for interworking UM...
收藏 引用
2010 17th International Conference on Telecommunications, ICT 2010
作者: Nogueira, Antonia Diana B. Ramos, Luana P. De Castro, Miguel F. Andrade, Rossana M. C. Computer Science Department GREat - Research Group on Computer Networks Software Engineering and Systems Federal University of Ceará Campus do Pici - Bloco 942-A 60.455-760 - Fortaleza-CE Brazil
An important step towards seamless heterogeneous systems is the integration between WLAN and 3G cellular systems. Their interoperability has been frequently discussed in literature, however, there is still room for re... 详细信息
来源: 评论
ScrumBut, but does it matter? A mixed-method study of the planning process of a multi-team scrum organization
ScrumBut, but does it matter? A mixed-method study of the pl...
收藏 引用
2013 ACM / IEEE International Symposium on Empirical software engineering and Measurement, ESEM 2013
作者: Heikkila, Ville T. Paasivaara, Maria Lassenius, Casper Department of Computer Science and Engineering Software Process Research Group Aalto University Helsinki Finland
Context: Proponents of the Scrum software development method use the term 'Scrum But' to refer to harmful changes to Scrum. Scrum has been increasingly adopted in large software development organizations. This... 详细信息
来源: 评论
Automatic inference of abstract type behavior
Automatic inference of abstract type behavior
收藏 引用
25th IEEE/ACM International Conference on Automated software engineering, ASE'10
作者: Balint, Mihai Department of Computer and Software Engineering LOOSE Research Group Politehnica University Timįsoara Romania
Type hierarchies are an integral part of the object oriented software reuse machinery. software flexibility can be increased through type inheritance which, if used in accordance with Liskov Substitution Principle (LS... 详细信息
来源: 评论
Reuse of Off-the-Shelf Components  1
收藏 引用
丛书名: Lecture Notes in computer Science
1000年
作者: Maurizio Morisio
software reuse as an umbrella concept has been around for several decades. Over time, new techniques and approaches have been proposed to implement the concept, from libraries of reusable assets to product lines, to g... 详细信息
来源: 评论
Temporal software change prediction using neural networks
Temporal software change prediction using neural networks
收藏 引用
19th International Conference on software engineering and Knowledge engineering, SEKE 2007
作者: Amoui, Mehdi Salehie, Mazeiar Tahvildari, Ladan Software Technologies Applied Research Group Department of Electrical and Computer Engineering University of Waterloo ON Canada
software change prediction plays a key role in software maintenance and evolution. It is primarily utilized to know "where" the most change-prone entities are, and how the change will be propagated through a... 详细信息
来源: 评论
The use of roles and measurement to enact project plans in MVP-S  4th
The use of roles and measurement to enact project plans in M...
收藏 引用
4th European Workshop on software Process Technology, EWSPT 1995
作者: Lott, Christopher Hoisl, Barbara Rombach, H. Dieter Research Group for Software Engineering Department of Computer Science University of Kaiserslautem Kaiserslautern67653 Germany
software development organizations are beginning to recognize that measurement is a prerequisite for systematic process improvement, and have started to measure their products and processes in order to understand, ana... 详细信息
来源: 评论
H2-MARL: Multi-Agent Reinforcement Learning for Pareto Optimality in Hospital Capacity Strain and Human Mobility during Epidemic
arXiv
收藏 引用
arXiv 2025年
作者: Luo, Xueting Deng, Hao Yang, Jihong Shen, Yao Guo, Huanhuan Sun, Zhiyuan Liu, Mingqing Wei, Jiming Zhao, Shengjie School of Computer Science and Technology Tongji University Shanghai201804 China China Land Surveying and Planning Institute Beijing100035 China College of Architecture and Urban Planning Tongji University Shanghai200092 China Chongqing Institute of Planning and Natural Resources Investigation and Monitoring Chongqing401121 China Li-Fi Research and Development Centre University of Cambridge CambridgeCB3 0FA United Kingdom Guangdong Urban-rural Planning and Design Research Institute Technology Group Co. Ltd. Guangzhou510290 China Engineering Research Center of Key Software Technologies for Smart City Perception and Planning Ministry of Education Shanghai201804 China
The necessity of achieving an effective balance between minimizing the losses associated with restricting human mobility and ensuring hospital capacity has gained significant attention in the aftermath of COVID-19. Re... 详细信息
来源: 评论
Network operator independent resilient overlay for mission critical applications (ROMCA)
Network operator independent resilient overlay for mission c...
收藏 引用
2009 4th International Conference on Communications and Networking in China, CHINACOM 2009
作者: Zhang, Xian Phillips, Chris Networks Research Group Department of Electronic Engineering and Computer Science University of London London United Kingdom
This paper proposes a Resilient Overlay for Mission Critical Applications (ROMCA);a novel operator-independent overlay architecture providing a resilient and reliable service across wide-area networks. One feature of ... 详细信息
来源: 评论
A metric for measuring BPEL process context-independency
A metric for measuring BPEL process context-independency
收藏 引用
IEEE International Conference on Service-Oriented Computing and Applications, SOCA' 09
作者: Khoshkbarforoushha, A. Jamshidi, P. Nikravesh, A. Khoshnevis, S. Shams, F. Automated Software Engineering Research Group Electrical and Computer Engineering Faculty Shahid Beheshti University GC Iran
BPEL provides a workflow-oriented composition model for service-oriented solutions that facilitates the system integration through orchestration and choreography of services. In some cases, BPEL process designs can be... 详细信息
来源: 评论