软件工程类 | SCI期刊/国际会议约稿信息8条

2018 年 3 月 23 日 Call4Papers Call4Papers
软件工程

Middleware 2018

ACM/IFIP/USENIX International Middleware Conference

摘要截稿: 2018-05-11
全文截稿: 2018-05-18
开会时间: 2018-12-10
会议难度: ★★★★
CCF分类: B类
会议地点: Rennes, France
网址:http://2018.middleware-conference.org/
The annual ACM/IFIP/USENIX Middleware conference is a major forum for the discussion of innovations and recent scientific advances of middleware systems with a focus on the design, implementation, deployment, and evaluation of distributed systems, platforms and architectures for computing, storage, and communication. Highlights of the conference will include a high quality single-track technical program, invited speakers, an industrial track, panel discussions involving academic and industry leaders, poster and demonstration presentations, a doctoral symposium, tutorials and workshops.

Original submissions of research papers on a diversity of topics are sought, particularly those identifying new research directions. The topics of the conference include, but are not limited to:
-Platforms and Usage Models
-Systems and Engineering Issues
-Design Principles and Programming Support
-Original papers of three types are sought



软件工程

QOD 2018

Workshop on Quality of Open Data

全文截稿: 2018-05-27
开会时间: 2018-07-18
会议难度: ★★
CCF分类: 无
会议地点: Berlin, Germany
网址:http://bis.ue.poznan.pl/bis2018/workshops/qod/
The goal of this workshop is to bring together different communities working on quality of information in Wikipedia, DBpedia, Wikidata and other open knowledge bases. The workshop calls for sharing research experience and knowledge related to quality assessment in open data. We invite papers that provide methodologies and techniques, which can help to verify and enrich various community based services in different languages.

Topics of interest
-Quality management in open knowledge bases.
-Large-scale information extraction
-Multilingual entity recognition tasks
-Enriching open databases with NLP methods
-Quality assessment of Wikipedia articles
-Improving quality of DBpedia, Wikidata and other semantic databases
-Enrichment of multilingual open knowledge bases
-Analysis of references and citation data



软件工程

FACS 2018

International Conference on Formal Aspects of Component Software

摘要截稿: 2018-06-08
全文截稿: 2018-06-15
开会时间: 2018-10-10
会议难度: ★★★
CCF分类: 无
会议地点: Pohang, Korea
网址:http://sevlab.postech.ac.kr/facs18/
Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones.

FACS 2018 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.



软件工程

OpenSHMEM 2018

Workshop on OpenSHMEM and Related Technologies

全文截稿: 2018-06-15
开会时间: 2018-08-21
会议难度: ★★
CCF分类: 无
会议地点: Maryland, Baltimore, USA
网址:https://www.csm.ornl.gov/workshops/openshmem2018/
The OpenSHMEM Workshop is an annual event dedicated to the promotion and advancement of the OpenSHMEM programming interface and to help shape its future direction. It is the premier venue to discuss and present the latest developments, implementation technologies, tools, trends, recent research ideas and results related to OpenSHMEM. This year's workshop will explore the ongoing evolution of OpenSHMEM to interoperate with other programming models and heterogeneous architectures. The focus will be on future extensions to improve OpenSHMEM on current and upcoming architectures keeping in mind the trend towards heterogeneity. Although this is an OpenSHMEM specific workshop, we welcome ideas used for other PGAS languages/APIs that may be applicable to OpenSHMEM.  

Topics of interest for paper submissions include (but are not limited to) the following areas as they relate specifically to OpenSHMEM:
-Extensions to support non-volatile, high-bandwidth, and other types of memory
-Scalable massive multithreading support
-Experiences with applications from any domain, especially dynamic and irregular applications
-Extensions to the current specification, including fault-tolerance
-Hybrid programming models: OpenSHMEM combined with task-based models (e.g. OCR, HPX, ParSEC, etc.) or heterogeneous models (e.g. OpenCL, OpenACC, CUDA, OpenMP, etc.)
-Low-level communication layers to support OpenSHMEM or other PGAS languages/APIs
-Big data and I/O support
-Experiences implementing OpenSHMEM on new architectures
-Power / Energy studies
-Static analysis, and verification tools
-Performance analysis tools for OpenSHMEM and/or other PGAS languages/APIs
-Auto-tuning or optimization strategies
-Runtime environments and schedulers
-Benchmarks, performance evaluation, and validation suites



软件工程

RV 2018

International Conference on Runtime Verification

摘要截稿: 2018-06-18
全文截稿: 2018-06-25
开会时间: 2018-11-10
会议难度: ★★★
CCF分类: 无
会议地点: Limassol, Cyprus
网址:https://rv2018.isp.uni-luebeck.de/
Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair.

Topics of interest to the conference include:
-specification languages
-monitor construction techniques
-program instrumentation
-logging, recording, and replay
-combination of static and dynamic analysis
-specification mining and machine learning over runtime traces
-metrics and statistical information gathering
-program/system execution visualization
-fault localization, containment, recovery and repair
-integrated vehicle health management (IVHM)



软件工程

IEEE Software

Large-Scale Agile Development: Call for Papers

全文截稿: 2018-08-01
影响因子: 2.19
中科院JCR分区:
  • 大类 : 工程技术 - 4区
  • 小类 : 计算机:软件工程 - 3区
网址: https://www.computer.org/software-magazine/
Since the formulation of the Agile Manifesto in 2001, agile methods have transformed software development. Scrum is now the common framework for development in most countries, and other methods such as Extreme Programming and elements of lean software development such as Kanban are in widespread use.

Agile development methods were made for small, colocated development teams. They were originally thought to work for web systems but are now used in a range of domains, including mission-critical systems. Large projects with a number of teams that develop complex systems have started using agile methods. Practitioners have suggested new methods to handle development in the large.

As developers use agile techniques on large-scale projects, new challenges arise. Methods designed for single teams of five to nine developers are now used in projects or programs with tens of teams and hundreds of developers. This can involve integration with numerous existing systems and affect thousands of users.

To date, there has been little research-based advice on how to manage agile development at scale. For this theme issue, we seek contributions on how to deal with the challenges and assumptions in agile development that break when you use agile methods in large software development projects and programs. Topics of interest include, but aren’t restricted to,

- architectural work;
- customer involvement;
- coordination;
- frameworks for handling large-scale applications—for example, SAFe (Scaled Agile Framework), LeSS (Large-Scale Scrum), Nexus, and Scrum at Scale;
- DevOps in the large;
- knowledge management;
- release planning;
- project and portfolio management; and
- uncertainty management.



软件工程

IEEE Software

Building Long-Lived Adaptive Systems: Call for Papers

全文截稿: 2018-08-08
影响因子: 2.19
中科院JCR分区:
  • 大类 : 工程技术 - 4区
  • 小类 : 计算机:软件工程 - 3区
网址: https://www.computer.org/software-magazine/
Modern software operates in a complex ecosystem of libraries, models, protocols, and devices. Ecosystems change over time in response to new technologies or paradigms, as a consequence of repairing discovered vulnerabilities (security, logical, or performance-related), or because of varying resource availability and reconfiguration of the underlying execution platform. When these changes occur, applications might no longer work as expected because their assumptions on how the ecosystem should behave might have been inadvertently violated.
Ensuring that applications can seamlessly continue to operate correctly and usefully in the face of such changes is a formidable challenge. Failure to adapt to ecosystem evolution in an effective and timely way can result in technically inferior and potentially vulnerable systems. Moreover, the lack of automated mechanisms to restructure and transform applications when changes do occur leads to high software maintenance costs and premature obsolescence of otherwise functionally sound systems.

Successfully adapting applications to an evolving ecosystem requires mechanisms to infer the impact of such evolution on application behavior and performance, automatically trigger transformations that beneficially exploit these changes, and validate that these transformations are correct. To do so requires the ability to

- extract whole-system specifications over the entire software stack that can be used to define application-centric descriptions of the resources provided by the ecosystem;
- leverage new programming abstractions, program analyses, and compilation methodologies to correlate application behavior with salient ecosystem changes;
- develop semantics-preserving program transformations designed with adaptation in mind; and
- exploit new runtime systems structured to facilitate the efficient integration of these transformations.

This IEEE Software theme issue will serve as a primary source for the latest research results on foundational and practical advances in the design and implementation of long-lived, survivable, and complex software systems that are robust to changes in the physical and logical resources provided by their ecosystem. We invite contributions related to, but not limited to,

- resource-aware program abstractions and analyses,
- resource-aware self-adaptation,
- automated software patching and code repair,
- design intent inference and exploitation,
- automated software evolution,
- semantic approaches for future-proof code and adaptation mechanisms,
- transplantation of legacy systems to new software and hardware architectures,
- long-term and resource-aware assurances and evaluation,
- long-lived cyber-physical systems,
- process and infrastructure in support of long-lived adaptation, and
- industrial-scale case studies and experience reports.



软件工程

SoCPaR 2018

International Conference on Soft Computing and Pattern Recognition

全文截稿: 2018-09-30
开会时间: 2018-12-13
会议难度: ★★
CCF分类: 无
会议地点: Porto, Portugal
网址:http://www.mirlabs.net/socpar18/
We welcome your participation and contribution to the 9th International Conference on Soft Computing and Pattern Recognition (SoCPaR 2017) to be held in Marrakech, Morocco during December 11-13, 2017.

After the success of the 8th International Conference on Soft Computing and Pattern Recognition (SoCPaR 2017), SoCPaR 2018 is organized to bring together worldwide leading researchers and practitioners interested in advancing the state of the art in Soft Computing and Pattern Recognition, for exchanging knowledge that encompasses a broad range of disciplines among various distinct communities. It is hoped that researchers and practitioners will bring new prospects for collaboration across disciplines and gain inspiration to facilitate novel breakthroughs. The themes for this conference are thus focused on "Innovating and Inspiring Soft Computing and Intelligent Pattern Recognition".

The conference is expected to provide an opportunity for the researchers to meet and discuss the latest solutions, scientific results and methods in solving intriguing problems in the fields of soft Computing and Pattern Recognition. The conference programme will include workshops, special sessions and tutorials, along with prominent keynote speakers and regular paper presentations in parallel tracks. The General Chairs, along with the entire team cordially invite you to submit your latest research results and to take part in the upcoming conference, to be held during December 13-15, 2018 in Porto, Portugal.




广




登录查看更多
0

相关内容

International Middleware会议是讨论中间件设计、构造和使用方面的重要创新和最新进展的论坛。中间件是位于应用程序和底层平台(操作系统;数据库;硬件)之间的分布式系统软件,和/或将分布式应用程序、数据库或设备连接在一起。它的主要作用是协调和实现不同层或组件之间的通信,同时将分布的大部分复杂性隔离为一个单一的、经过充分测试和理解的系统抽象。 官网链接:http://www.middleware-conference.org/
【快讯】KDD2020论文出炉,216篇上榜, 你的paper中了吗?
专知会员服务
50+阅读 · 2020年5月16日
【CCL 2019】2019信息检索趋势,山东大学教授任昭春博士
专知会员服务
29+阅读 · 2019年11月12日
2019年机器学习框架回顾
专知会员服务
35+阅读 · 2019年10月11日
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
CCF推荐 | 国际会议信息6条
Call4Papers
9+阅读 · 2019年8月13日
计算机 | 中低难度国际会议信息8条
Call4Papers
9+阅读 · 2019年6月19日
计算机 | IUI 2020等国际会议信息4条
Call4Papers
6+阅读 · 2019年6月17日
人工智能 | SCI期刊专刊/国际会议信息7条
Call4Papers
7+阅读 · 2019年3月12日
人工智能 | SCI期刊专刊信息3条
Call4Papers
5+阅读 · 2019年1月10日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
医学 | 顶级SCI期刊专刊/国际会议信息4条
Call4Papers
5+阅读 · 2018年12月28日
人工智能 | 国际会议信息10条
Call4Papers
5+阅读 · 2018年12月18日
人工智能类 | 国际会议/SCI期刊专刊信息9条
Call4Papers
4+阅读 · 2018年7月10日
人工智能 | 国际会议/SCI期刊约稿信息9条
Call4Papers
3+阅读 · 2018年1月12日
A Survey on Edge Intelligence
Arxiv
51+阅读 · 2020年3月26日
A Survey of Deep Learning for Scientific Discovery
Arxiv
29+阅读 · 2020年3月26日
Arxiv
110+阅读 · 2020年2月5日
Arxiv
35+阅读 · 2019年11月7日
The Measure of Intelligence
Arxiv
7+阅读 · 2019年11月5日
Arxiv
5+阅读 · 2015年9月14日
VIP会员
相关资讯
CCF推荐 | 国际会议信息6条
Call4Papers
9+阅读 · 2019年8月13日
计算机 | 中低难度国际会议信息8条
Call4Papers
9+阅读 · 2019年6月19日
计算机 | IUI 2020等国际会议信息4条
Call4Papers
6+阅读 · 2019年6月17日
人工智能 | SCI期刊专刊/国际会议信息7条
Call4Papers
7+阅读 · 2019年3月12日
人工智能 | SCI期刊专刊信息3条
Call4Papers
5+阅读 · 2019年1月10日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
医学 | 顶级SCI期刊专刊/国际会议信息4条
Call4Papers
5+阅读 · 2018年12月28日
人工智能 | 国际会议信息10条
Call4Papers
5+阅读 · 2018年12月18日
人工智能类 | 国际会议/SCI期刊专刊信息9条
Call4Papers
4+阅读 · 2018年7月10日
人工智能 | 国际会议/SCI期刊约稿信息9条
Call4Papers
3+阅读 · 2018年1月12日
相关论文
A Survey on Edge Intelligence
Arxiv
51+阅读 · 2020年3月26日
A Survey of Deep Learning for Scientific Discovery
Arxiv
29+阅读 · 2020年3月26日
Arxiv
110+阅读 · 2020年2月5日
Arxiv
35+阅读 · 2019年11月7日
The Measure of Intelligence
Arxiv
7+阅读 · 2019年11月5日
Arxiv
5+阅读 · 2015年9月14日
Top
微信扫码咨询专知VIP会员