中文
相关论文

相关论文: The TESLA Requirements Database

200 篇论文

We discuss the new layout of a cavity chain (superstructure) allowing, we hope, significant cost reduction of the RF system of both linacs of the TESLA linear collider. The proposed scheme increases the fill factor and thus makes an…

加速器物理 · 物理学 2009-10-31 J. Sekutowicz , M. Ferrario , C. Tang

Demand response has been implemented by distribution system operators to reduce peak demand and mitigate contingency issues on distribution lines and substations. Specifically, the campus based commercial buildings make the major…

最优化与控制 · 数学 2018-12-21 Zheming Liang , Desong Bian , Xiaohu Zhang , Di Shi , Ruisheng Diao , Zhiwei Wang

Design patterns are well practices to share software development experiences. These patterns allow enhancing reusability, readability and maintainability of architecture and code of software applications. As simulation applies computerized…

软件工程 · 计算机科学 2020-08-24 Maamar El Amine Hamri

The requirements elicited from stakeholders are typically informal, incomplete, ambiguous, and inconsistent. It is the task of Requirements Engineering to transform them into an eligible (formal, sufficiently complete, unambiguous,…

软件工程 · 计算机科学 2016-05-10 Feng-Lin Li , Alexander Borgida , Giancarlo Guizzardi , Jennifer Horkoff , Lin Liu , John Mylopoulos

Testing a database application is a challenging process where both the database and the user interaction have to be considered in the design of test cases. This paper describes a specification-based approach to guide the design of test…

软件工程 · 计算机科学 2023-04-26 Raquel Blanco , Javier Tuya , Ruben V. Seco

Developing distributed systems presents significant challenges, primarily due to the complexity introduced by non-deterministic concurrency and faults. To address these, we propose a specification-driven development framework. Our method…

软件工程 · 计算机科学 2025-09-16 Hua Guo , Yunhong Ji , Xuan Zhou

The introduction of machine learning (ML) components in software projects has created the need for software engineers to collaborate with data scientists and other specialists. While collaboration can always be challenging, ML introduces…

软件工程 · 计算机科学 2022-02-14 Nadia Nahar , Shurui Zhou , Grace Lewis , Christian Kästner

In the rapidly evolving AI era with large language models (LLMs) at the core, making LLMs more trustworthy and efficient, especially in output generation (inference), has gained significant attention. This is to reduce plausible but faulty…

数据库 · 计算机科学 2024-12-25 Kyoungmin Kim , Anastasia Ailamaki

The growth in variety and volume of OLTP (Online Transaction Processing) applications poses a challenge to OLTP systems to meet performance and cost demands in the existing hardware landscape. These applications are highly interactive…

数据库 · 计算机科学 2017-01-17 Vivek Shah

Upgrades to the LHCb computing infrastructure in the first long shutdown of the LHC have allowed for high quality decay information to be calculated by the software trigger making a separate offline event reconstruction unnecessary.…

Querying is one of the basic functionality expected from a database system. Query efficiency is adversely affected by increase in the number of participating tables. Also, querying based on syntax largely limits the gamut of queries a…

数据库 · 计算机科学 2011-04-08 Gowri Shankar Ramaswamy , F Sagayaraj Francis

The development of large, software-intensive systems is a complex undertaking that we generally tackle by a divide and conquer strategy. Companies thereby face the challenge of coordinating individual aspects of software development, in…

软件工程 · 计算机科学 2023-08-16 Michael Unterkalmsteiner , Tony Gorschek , Robert Feldt , Eriks Klotins

The aim of this paper is to propose a rigorous and complete design framework for complex system based on system engineering (SE) principles. The SE standard EIA-632 is used to guide the approach. Within this framework, two aspects are…

软件工程 · 计算机科学 2012-12-19 Romaric Guillerm , Hamid Demmou , Nabil Sadou

Within the big data tsunami, relational databases and SQL are still there and remain mandatory in most of cases for accessing data. On the one hand, SQL is easy-to-use by non specialists and allows to identify pertinent initial data at the…

数据库 · 计算机科学 2018-02-09 Marie Le Guilly , Jean-Marc Petit , Vasile-Marian Scuturici

Traditional requirements engineering tools do not readily access the SysML-defined system architecture model, often resulting in ad-hoc duplication of model elements that lacks the connectivity and expressive detail possible in a…

软件工程 · 计算机科学 2025-12-05 James S. Wheaton , Daniel R. Herber

Discrete-event (DE) systems are concurrent programs where components communicate via tagged events, where tags are drawn from a totally ordered set. Reactors are an emerging model of computation based on DE and realized in the open-source…

分布式、并行与集群计算 · 计算机科学 2024-05-21 Peter Donovan , Erling Jellum , Byeonggil Jun , Hokeun Kim , Edward A. Lee , Shaokai Lin , Marten Lohstroh , Anirudh Rengarajan

Process modeling is a suitable tool for improving the business processes. Successful process modeling strongly depends on correct requirements engineering. In this paper, we proposed a combination approach for requirements elicitation for…

软件工程 · 计算机科学 2017-05-12 Masoud Nosrati

Database systems use query processing subsystems for enabling efficient query-based data retrieval. An essential aspect of designing any query-intensive application is tuning the query system to fit the application's requirements and…

数据库 · 计算机科学 2020-09-22 Dimitrios Vasilas , Marc Shapiro , Bradley King , Sara Hamouda

The ability to collect and analyze large amounts of data is a growing problem within the scientific community. The growing gap between data and users calls for innovative tools that address the challenges faced by big data volume, velocity…

It is natural for humans to collaborate while dealing with complex problems. In this article I consider this process of collaboration in the context of information seeking. The study and discussion presented here are driven by two…

信息检索 · 计算机科学 2009-08-06 Chirag Shah