中文
相关论文

相关论文: The TESLA Requirements Database

200 篇论文

Database system architectures are undergoing revolutionary changes. Algorithms and data are being unified by integrating programming languages with the database system. This gives an extensible object-relational system where non-procedural…

数据库 · 计算机科学 2007-05-23 Jim Gray

Driven by the recent rapid increase in the number of materials databases published (open and commercial), I discuss here some perspectives on the growing need for standardized, interoperable, open databases. The field of computational…

材料科学 · 物理学 2019-11-14 François-Xavier Coudert

Machine learning is rapidly being used in database research to improve the effectiveness of numerous tasks included but not limited to query optimization, workload scheduling, physical design, etc. Currently, the research focus has been on…

数据库 · 计算机科学 2022-08-08 Chi Zhang , Olga Papaemmanouil , Josiah P. Hanna , Aditya Akella

The purpose of this research is to design database scheme of information system at XYZ University. By using database design methods (conceptual scheme, logical scheme, & physical scheme) the writer designs payroll information system. The…

数据库 · 计算机科学 2013-07-31 Leon Andretti Abdillah

In the past few years, we have envisioned an increasing number of businesses start driving by big data analytics, such as Amazon recommendations and Google Advertisements. At the back-end side, the businesses are powered by big data…

性能 · 计算机科学 2021-10-26 Ying Mao , Victoria Green , Jiayin Wang , Haoyi Xiong , Zhishan Guo

Relational databases play a central role in many information systems. Their schema contains structural (e.g. tables and columns) and behavioral (e.g. stored procedures or views) entity descriptions. Then, just like for ``normal'' software,…

软件工程 · 计算机科学 2024-04-15 Anne Etien , Nicolas Anquetil

Research shows that many of the challenges currently encountered with agile development are related to requirements engineering. Based on design science research, this paper investigates critical challenges that arise in agile development…

软件工程 · 计算机科学 2024-05-30 Amna Pir Muhammad , Eric Knauss , Odzaya Batsaikhan , Nassiba El Haskouri , Yi-Chun Lin , Alessia Knauss

Distributed ledgers are a new type of database technology that allows open access to data stored across distributed, decentralised, publicly maintained infrastructures. Current implementations of the such ledgers expect competition between…

分布式、并行与集群计算 · 计算机科学 2020-04-21 Phani Chitti

The area of Traffic Management (TM) is characterized by uncertainty, complexity, and imprecision. The complexity of software systems in the TM domain which contributes to a more challenging Requirements Engineering (RE) job mainly stems…

软件工程 · 计算机科学 2017-07-10 Mohammad Noaeen , Zahra Shakeri Hossein Abad , Behrouz Homayoun Far

The four LHC experiments at CERN have decided to use a commercial SCADA (Supervisory Control And Data Acquisition) product for the supervision of their DCS (Detector Control System). The selected SCADA, which is therefore used for the CMS…

仪器与探测器 · 物理学 2007-05-23 P. Gras , F. Drouhin , W. Funk , L. Gross , D. Vintache

Specialized hardware accelerators are becoming important for more and more applications. Thanks to specialization, they can achieve high performance and energy efficiency but their design is complex and time consuming. This problem is…

硬件体系结构 · 计算机科学 2021-04-06 Stephanie Soldavini , Christian Pilato

In this paper, we discuss an approach to system requirements engineering, which is based on using models of the responsibilities assigned to agents in a multi-agency system of systems. The responsibility models serve as a basis for…

软件工程 · 计算机科学 2012-09-25 Ian Sommerville , Russell Lock , Tim Storer

We describe a document database, developed for BTeV, which has now been adopted for use by other collaborations. A single web based database and archival system is used to maintain public and internal documents as well as documents for a…

高能物理 - 实验 · 物理学 2007-05-23 E. W. Vaandering

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…

系统与控制 · 电气工程与系统科学 2024-02-22 James S. Wheaton , Daniel R. Herber

The Relational Database Aspects of Argonnes ATLAS Control System Argonnes ATLAS (Argonne Tandem Linac Accelerator System) control system comprises two separate database concepts. The first is the distributed real-time database structure…

数据库 · 计算机科学 2007-05-23 D. E. R. Quock , F. H. Munson , K. J. Eder , S. L. Dean

The domain of analysis and conception of Decisional Information System (DIS) is, highly, applying new techniques and methods to succeed the process of the decision and minimizing the time of conception. Our objective in this paper is to…

其他计算机科学 · 计算机科学 2013-04-22 Sabri Aziza , Kjiri Laila

The ever-increasing amount, variety as well as generation and processing speed of today's data pose a variety of new challenges for developing Data-Intensive Software Systems (DISS). As with developing other kinds of software systems,…

软件工程 · 计算机科学 2019-06-03 Harald Foidl , Michael Felderer , Stefan Biffl

Deterministic databases enable scalable replicated systems by executing transactions in a predetermined order. However, existing designs fail to capture transaction dependencies, leading to insufficient scheduling, high abort rates, and…

数据库 · 计算机科学 2025-09-03 Junfang Huang , Yu Yan , Hongzhi Wang , Yingze Li , Jinghan Lin

Data is central to the development and evaluation of machine learning (ML) models. However, the use of problematic or inappropriate datasets can result in harms when the resulting models are deployed. To encourage responsible AI practice…

人机交互 · 计算机科学 2022-08-25 Amy K. Heger , Liz B. Marquis , Mihaela Vorvoreanu , Hanna Wallach , Jennifer Wortman Vaughan

In some areas of management and commerce, especially in Electronic commerce (E-commerce), that are accelerated by advances in Web technologies, it is essential to support the decision making process using formal methods. Among the problems…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Denis V. Popel , Nawar Al-Hakeem