中文
相关论文

相关论文: A new architecture for making highly scalable appl…

200 篇论文

The C Object System (Cos) is a small C library which implements high-level concepts available in Clos, Objc and other object-oriented programming languages: uniform object model (class, meta-class and property-metaclass), generic functions,…

编程语言 · 计算机科学 2010-03-15 Laurent Deniau

This paper explores the issues around the construction of large-scale complex systems which are built as 'systems of systems' and suggests that there are fundamental reasons, derived from the inherent complexity in these systems, why our…

The idea of using unfolding as a way of computing a program semantics has been applied successfully to logic programs and has shown itself a powerful tool that provides concrete, implementable results, as its outcome is actually source…

编程语言 · 计算机科学 2017-08-29 José María Rey-Poza , Julio Mariño-Carballo

It is undeniable that most developers today are building distributed applications. However, most of these applications are developed by composing existing systems together through unspecified APIs exposed to the application developer.…

分布式、并行与集群计算 · 计算机科学 2018-02-09 Christopher S. Meiklejohn , Peter Van Roy

After compilers and operating systems, TSIAs are the third advance in application support. A compiler supports a high level application definition in a programming language. An operating system supports a high level interface to the…

编程语言 · 计算机科学 2021-08-23 Burkhard D. Burow

Reasoning is an essential skill to enable Large Language Models (LLMs) to interact with the world. As tasks become more complex, they demand increasingly sophisticated and diverse reasoning capabilities for sequential decision-making,…

人工智能 · 计算机科学 2025-04-25 Christopher Zhang Cui , Xingdi Yuan , Ziang Xiao , Prithviraj Ammanabrolu , Marc-Alexandre Côté

As modern system of systems (SoS) become increasingly adaptive and human centred, traditional architectures often struggle to support interoperability, reconfigurability, and effective human system interaction. This paper addresses these…

人工智能 · 计算机科学 2025-01-15 Muhammad Ashfaq , Ahmed R. Sadik , Tommi Mikkonen , Muhammad Waseem , Niko Mäkitalo

Pattern languages are well-established in the software architecture community. Many different aspects of creating a software architecture are addressed by such languages. Thus, several pattern languages have to be considered when building a…

软件工程 · 计算机科学 2021-04-21 Frank Leymann , Johanna Barzen

While the engineering of operating systems is well understood, their formal structure and properties are not. The latter needs a clear definition of the purpose of an OS and an identification of the core. In this paper I offer definitions…

操作系统 · 计算机科学 2012-02-20 Abhijat Vichare

Eliciting scalability requirements during agile software development is complicated and poorly described in previous research. This article presents a lightweight artifact for eliciting scalability requirements during agile software…

软件工程 · 计算机科学 2021-11-10 Gunnar Brataas , Antonio Martini , Geir Kjetil Hanssen , Georg Ræder

Algorithms play a crucial role in many technological systems that control or affect various aspects of our lives. As a result, providing explanations for their decisions to address the needs of users and organisations is increasingly…

软件工程 · 计算机科学 2023-05-29 Trung Dong Huynh , Niko Tsakalakis , Ayah Helal , Sophie Stalla-Bourdillon , Luc Moreau

With the large language model showing human-like logical reasoning and understanding ability, whether agents based on the large language model can simulate the interaction behavior of real users, so as to build a reliable virtual…

信息检索 · 计算机科学 2024-03-05 Chenwei Zhang , Wenran Lu , Chunhe Ni , Hongbo Wang , Jiang Wu

Emergence is the way complex systems arise out of a multiplicity of relatively simple interactions between primitives. Since programming problems become more and more complexes and transverses, our vision is that application development…

编程语言 · 计算机科学 2011-10-24 O. Cugnon de Sevricourt , V. Tariel

A new form of caching, namely application-level caching, has been recently employed in web applications to improve their performance and increase scalability. It consists of the insertion of caching logic into the application base code to…

软件工程 · 计算机科学 2020-11-03 Jhonny Mertz , Ingrid Nunes

It is well known that software needs to change to meet new requirements. The synchronization of software architecture models and implementation is of high importance to keep the architecture documents useful and the software evolution…

软件工程 · 计算机科学 2014-09-24 Holger Krahn , Bernhard Rumpe

Applications in science and engineering often require huge computational resources for solving problems within a reasonable time frame. Parallel supercomputers provide the computational infrastructure for solving such problems. A…

分布式、并行与集群计算 · 计算机科学 2007-05-23 Rajesh Sudarsan , Calvin J. Ribbens

The mechanism of communication between users and devices is called interface. From time to time changes in interface significantly improve our work with computers even without any serious changes in programs themselves. Main ideas in PCs…

人机交互 · 计算机科学 2014-01-09 Sergey Andreyev

Pervasive services may be defined as services that are available "to any client (anytime, anywhere)". Here we focus on the software and network infrastructure required to support pervasive contextual services operating over a wide area. One…

分布式、并行与集群计算 · 计算机科学 2010-06-25 Graham Kirby , Alan Dearle , Ron Morrison , Mark Dunlop , Richard Connor , Paddy Nixon

Context and context-awareness provides computing environments with the ability to usefully adapt the services or information they provide. It is the ability to implicitly sense and automatically derive the user needs that separates…

信息检索 · 计算机科学 2007-05-23 Paul Prekop , Mark Burnett

With the establishment of cloud computing as the environment of choice for most modern applications, auto-scaling is an economic matter of great importance. For applications like stream computing that process ever changing amounts of data,…

分布式、并行与集群计算 · 计算机科学 2015-06-18 Andre Abrantes D. P. Souza , Marco A. S. Netto