搜索结果: 1-15 共查到“计算机软件 workshop”相关记录91条 . 查询时间(0.432 秒)
2017第二届IEEE空间大数据国际研讨会（The 2nd IEEE International Workshop on Big Spatial Data）
2017 第二届 IEEE空间大数据 国际研讨会
2017/11/27
It is all good to have access to large volume of data generated with high velocity which normally spans variety of domains and usually comes with levels of veracity. However, the importance of data be...
CCP4 Structure Solution Workshop在广州举行（图）
中国科学院广州生物医药与健康研究院 CCP4 Structure Solution Workshop 软件
2017/11/1
2017年10月23日至27日，由中国科学院广州生物医药与健康研究院、香港大学、广东省生物医药计算重点实验室、中国科学院超级计算广州分中心联合承办的“CCP4 Crystallography School and Workshop: From data processing to structure refinement ”在广州生物院举行。CCP4 是大分子X-射线晶体学的主要软件包之一，集成了...
2017 IEEE国际云网络物理系统自动化测试研讨会（IEEE International Workshop on Automation Testing of Cyber-Physical Systems in the Cloud）
2017 IEEE 国际云网络物理系统 自动化测试 研讨会
2017/6/29
Cyber-Physical System (CPS), a combination of computing, network and physical processes, have been widely applied as crucial services into various industries, including automobile industry, electric/e...
2017 IEEE国际可靠性，安全性和其他质量冲突与协同研讨会（IEEE International Workshop on Conflicts and Synergies among Reliability, Security, and other Qualities）
2017 IEEE国际 可靠性 安全性 其他质量 冲突 协同 研讨会
2017/6/29
The mastering of software quality is recognized as a key issue in software engineering. Further, it is becoming increasingly important as software currently provides the software qualities of systems ...
2017 IEEE国际组合测试及其应用研讨会（IEEE International Workshop on Combinatorial Testing and its Applications）
2017 IEEE 国际组合 测试 应用 研讨会
2017/6/29
Combinatorial methods are a promising modern approach to software testing. In particular, pairwise testing, which requires testing all pairs of possible values for any pair of input parameters, has sh...
Workshop on Employing Computational Intelligence Techniques for Testing and Validating Complex CPSs
Testing using computational intelligence technology seminars verification is complex independence the host
2017/6/29
Cyber-Physical Systems (CPSs) integrate digital technologies with physical processes. As compared to conventional software, CPSs include real-time processing units, networks, physical processes (such ...
第四届教育推荐系统国际研讨会（The 4th International Workshop on Educational Recommender Systems）
第四届 教育推荐系统 国际研讨会
2017/6/29
Recommender systems have become increasingly popular in recent years, helping us to make decisions about what products to buy, what movies to watch, what books to read or who to date. While these syst...
International Workshop on Temporal and Holistic User Modeling
International symposium on time the overall user modeling
2017/6/29
The importance of user modeling and personalization is taken for granted in several scenarios. According to this widespread paradigm, each user can be modeled through some (explicitly or implicitly ga...
2017反应性系统严格检验国际研讨会（International Workshop on Rigorous Examination of Reactive Systems）
2017 反应性系统 严格检验 国际研讨会
2017/6/29
The RERS Challenge 2017 is the 7th International Challenge on the Rigorous Examination of Reactive Systems and is co-located with the SPIN Symposium 2017. The event will be held on July 12th 2017 in S...
2017第四届机器学习公平，责任和透明度研讨会（4th Workshop on Fairness, Accountability, and Transparency in Machine Learning ）
2017 第四届 机器学习 公平 责任 透明度 研讨会
2017/6/29
This workshop aims to bring together a growing community of researchers, practitioners, and policymakers concerned with fairness, accountability, and transparency in machine learning. The past few yea...
第六届IEEE分布式应用建模与验证国际研讨会（The 6th IEEE International COMPSAC Workshop on Modeling and Verifying Distributed Applications）
第六届 IEEE 分布式应用建模 验证 国际研讨会
2017/6/23
Distributing applications and service applications among cloud systems offer many potential benefits. However, implementing robust, efficient, and flexible distributed applications is more complex tha...
第9届IEEE国际软件测试自动化研讨会（The 9th IEEE International COMPSAC Workshop on Software Test Automation）
第9届 IEEE 国际软件测试 自动化 研讨会
2017/6/23
Test automation aims to reduce the cost and improve the effectiveness of software testing by using various techniques and methods. Other benefits are consistency and accuracy, reduction of overall tes...
2017 IEEE国际自动化软件系统验证与确认研讨会（IEEE International Workshop on Verification and Validation of Adaptive Software Systems）
2017 IEEE 国际自动化软件系统 验证 确认 研讨会
2017/6/23
The complexity of software and software-enabled systems and the need to reduce and master this complexity has led the software quality community to look for inspiration in diverse fields such as robot...
2017 IEEE国际软件工程与知识管理研讨会（IEEE International Workshop on Software Engineering and Knowledge Management）
2017 IEEE 国际软件工程 知识管理 研讨会
2017/6/23
The SEKM 2017 workshop aims at bringing together experts in software engineering and knowledge management to discuss on relevant results in either software engineering or knowledge management or both....
2017年自组织自我管理云研讨会（Self Organizing Self Managing Clouds Workshop）(SOSeMC 2017)
2017年 自组织自我管理云 研讨会
2017/6/22
The ongoing adoption of Cloud Computing has lead to an increase in the level of complexity of the existing services and inherently new challenges for companies willing to migrate in order to benefit f...