中文
相关论文

相关论文: DRAFT : Task System and Item Architecture (TSIA)

200 篇论文

Big Data technology is described. Big data is a popular term used to describe the exponential growth and availability of data, both structured and unstructured. There is constructed dataspace architecture. Dataspace has focused solely - and…

数据库 · 计算机科学 2019-05-07 Nataliya Shakhovska , Yurii Bolubash

Requirements engineering plays a critical role in developing software systems. One of the most difficult tasks in this process is identifying functional requirements. A critical problem in many projects is missing requirements until late in…

软件工程 · 计算机科学 2020-04-02 Sabah Al-Fedaghi

In this paper we consider a general system of activities that can, but do not have to, occur. This system is governed by a set containing two types of constraints: precedence and response. A precedence constraint dictates that an activity…

组合数学 · 数学 2025-02-21 Mark Dukes , Anton Sohn

Autonomous and intelligent systems (AIS) facilitate a wide range of beneficial applications across a variety of different domains. However, technical characteristics such as unpredictability and lack of transparency, as well as potential…

计算机与社会 · 计算机科学 2024-04-23 Lukas D. Pöhler , Klaus Diepold , Wendell Wallach

We present Trust<T>, a general, type- and memory-safe alternative to locking in concurrent programs. Instead of synchronizing multi-threaded access to an object of type T with a lock, the programmer may place the object in a Trust<T>. The…

性能 · 计算机科学 2024-08-22 Noaman Ahmad , Ben Baenen , Chen Chen , Jakob Eriksson

This article presents a model for describing the architecture of software-intensive systems, based on the use of multiple, concurrent views. This use of multiple views allows to address separately the concerns of the various stakeholders of…

软件工程 · 计算机科学 2020-06-11 Philippe Kruchten

Service oriented architecture (SOA) is one of the latest software architectures. This architecture is created in direction of the business requirements and removed the gap between softwares and businesses. The software testing is the rising…

软件工程 · 计算机科学 2012-12-14 Ebrahim Shamsoddin-Motlagh

Current Serverless abstractions (e.g., FaaS) poorly support non-functional requirements (e.g., QoS and constraints), are provider-dependent, and are incompatible with other cloud abstractions (e.g., databases). As a result, application…

分布式、并行与集群计算 · 计算机科学 2024-10-23 Pawissanutt Lertpongrujikorn , Hai Duc Nguyen , Mohsen Amini Salehi

AI agents are increasingly used to solve complex, multi-step tasks, but existing multi-agent frameworks remain brittle as workflows grow in scale and depth. Small errors at intermediate stages can propagate through agent interactions, while…

人工智能 · 计算机科学 2026-05-26 Andy Xu , Yu-Wing Tai

Systems-of-Systems (SoS) result from the collaboration of independent Constituent Systems (CSs) to achieve particular missions. CSs are not totally known at design time, and may also leave or join SoS at runtime, which turns the SoS…

软件工程 · 计算机科学 2019-05-24 Ahmad Mohsin , Naeem Khalid Janjua , Syed MS Islam , Valdemar Vicente Graciano Neto

The Internet of Things supports various industrial applications. The cooperation and coordination of smart things are a promising strategy for satisfying requirements that are beyond the capacity of a single smart thing. One of the major…

软件工程 · 计算机科学 2021-03-10 Frédéric Lemoine , Tatiana Aubonnet , Noëmie Simoni

The Iterated Immediate Snapshot model (IIS), due to its elegant geometrical representation, has become standard for applying topological reasoning to distributed computing. Its modular structure makes it easier to analyze than the more…

分布式、并行与集群计算 · 计算机科学 2014-05-21 Zohir Bouzid , Eli Gafni , Petr Kuznetsov

Software architecture decision-making is critical to the success of a software system as software architecture sets the structure of the system, determines its qualities, and has far-reaching consequences throughout the system life cycle.…

软件工程 · 计算机科学 2016-10-31 Sandun Dasanayake , Jouni Markkula , Sanja Aaramaa , Markku Oivo

One of the main factors driving object-oriented software development in the Web- age is the need for systems to evolve as user requirements change. A crucial factor in the creation of adaptable systems dealing with changing requirements is…

仪器与探测器 · 物理学 2009-09-25 Florida Estrella , Richard McClatchey , Norbert Toth , Zsolt Kovacs , Jean-Marie Le Goff

Scenario-Based Programming is a methodology for modeling and constructing complex reactive systems from simple, stand-alone building blocks, called scenarios. These scenarios are designed to model different traits of the system, and can be…

软件工程 · 计算机科学 2020-10-13 Guy Katz , Assaf Marron , Aviran Sadon , Gera Weiss

This article presents a Unified Architecture for automated point tagging of Building Automation System data, based on a combination of data-driven approaches. Advanced energy analytics applications-including fault detection and diagnostics…

计算机与社会 · 计算机科学 2020-09-16 Sakshi Mishra , Andrew Glaws , Dylan Cutler , Stephen Frank , Muhammad Azam , Farzam Mohammadi , Jean-Simon Venne

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

Function-as-a-Service (FaaS) is a cloud service model enabling developers to offload event-driven executable snippets of code. The execution and management of such functions becomes a FaaS provider's responsibility, hereby included their…

软件工程 · 计算机科学 2020-04-03 Vladimir Yussupov , Jacopo Soldani , Uwe Breitenbücher , Antonio Brogi , Frank Leymann

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

Automata over infinite objects are a well-established model with applications in logic and formal verification. Traditionally, acceptance in such automata is defined based on the set of states visited infinitely often during a run. However,…

形式语言与自动机理论 · 计算机科学 2025-09-22 Antonio Casares
‹ 上一页 1 8 9 10 下一页 ›