English
Related papers

Related papers: Fancy Some Chips for Your TeaStore? Modeling the C…

200 papers

The Adaptable TeaStore specification provides a microservice-based case study for implementing self-adaptation through a control loop. We argue that implementations of this specification should be informed by key properties of…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-12-30 Eddy Truyen

Modern cloud-native systems require adapting dynamically to changing operational conditions, including service outages, traffic surges, and evolving user requirements. While existing benchmarks provide valuable testbeds for performance and…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-12-30 Simon Bliudze , Giuseppe De Palma , Saverio Giallorenzo , Ivan Lanese , Gianluigi Zavattaro , Brice Arléon Zemtsop Ndadji

Smart systems are characterised by their ability to analyse measured data in live and to react to changes according to expert rules. Therefore, such systems exploit appropriate data models together with actions, triggered by domain-related…

Software Engineering · Computer Science 2017-04-28 Ludovic Mouline , Thomas Hartmann , François Fouquet , Yves Le Traon , Johann Bourcier , Olivier Barais

The Adaptable TeaStore has recently been proposed as a reference model for adaptable microservice architectures. It includes different configurations, as well as scenarios requiring to transition between them. We describe an implementation…

Programming Languages · Computer Science 2025-12-30 Giuseppe De Palma , Saverio Giallorenzo , Ivan Lanese , Gianluigi Zavattaro

Component-based development is challenging in a distributed setting, for starters considering programming a task may involve the assembly of loosely-coupled remote components. In order for the task to be fulfilled, the supporting…

Programming Languages · Computer Science 2020-09-18 Zorica Savanović , Letterio Galletta , Hugo Torres Vieira

The development of self-adaptive software requires the engineering of proper feedback loops where an adaptation logic controls the underlying software. The adaptation logic often describes the adaptation by using runtime models representing…

Software Engineering · Computer Science 2018-05-23 Thomas Vogel , Holger Giese

Special technologies need to be used to take advantage of, and overcome, the challenges associated with acquiring, transforming, storing, processing, and distributing spoken language resources in organisations. This paper introduces an…

Computation and Language · Computer Science 2007-05-23 Rodney J. Clarke , Dali Dong , Philip C. Windridge

Fast-evolving artificial intelligence (AI) algorithms such as large language models have been driving the ever-increasing computing demands in today's data centers. Heterogeneous computing with domain-specific architectures (DSAs) brings…

Hardware Architecture · Computer Science 2024-03-06 Zhuoping Yang , Shixin Ji , Xingzhen Chen , Jinming Zhuang , Weifeng Zhang , Dharmesh Jani , Peipei Zhou

Developers who primarily engage with software often struggle to incorporate custom hardware into their applications, even though specialized silicon can provide substantial benefits to machine learning and AI, as well as to the application…

Hardware Architecture · Computer Science 2025-12-12 Jeongeun Kim , Christopher Torng

Recently, hardware technology has rapidly evolved pertaining to domain-specific applications/architectures. Soon, processors may be composed of a large collection of vendor-independent IP specialized for application-specific algorithms,…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-09-14 Dawson Fox , Jose M Monsalve Diaz , Xiaoming Li

When programming resource-scarce embedded smart devices, the designer often requires both the low-level system programming features of a language such as C and higher level capability typical of a language like Java. The choice of a…

Programming Languages · Computer Science 2019-10-09 Vincenzo De Florio , Chris Blondia

Concurrent Constraint Programming (CCP) is a declarative model for concurrency where agents interact by telling and asking constraints (pieces of information) in a shared store. Some previous works have developed (approximated) declarative…

Logic in Computer Science · Computer Science 2017-02-13 Moreno Falaschi , Maurizio Gabbrielli , Carlos Olarte , Catuscia Palamidessi

Everyday devices like light bulbs and kitchen appliances are now embedded with so many features and automated behaviors that they have become complicated to actually use. While such "smart" capabilities can better support users' goals, the…

Human-Computer Interaction · Computer Science 2024-05-08 Evan King , Haoxiang Yu , Sahil Vartak , Jenna Jacob , Sangsu Lee , Christine Julien

In this paper we demonstrate an approach to model structure and behavior of distributed systems, to map those models to a lightweight execution engine by using a functional programming language and to systematically define and execute tests…

Software Engineering · Computer Science 2014-09-24 Borislav Gajanovic , Hans Grönninger , Bernhard Rumpe

To design peer-to-peer (P2P) software systems is a challenging task, because of their highly decentralized nature, which may cause unexpected emergent global behaviors. The last fifteen years have seen many P2P applications to come out and…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-07-14 Michele Amoretti , Francesco Zanichelli

Artificial Intelligence (AI) applications in automation systems are usually distributed systems whose development and integration involve several experts. Each expert uses its own domain-specific modeling language and tools to model the…

Artificial Intelligence · Computer Science 2023-06-22 Marvin Schieseck , Philip Topalis , Alexander Fay

Adaptive Computing is an application-agnostic outer loop framework to strategically deploy simulations and experiments to guide decision making for scale-up analysis. Resources are allocated over successive batches, which makes the…

Modeling processes are the activities of capturing and representing processes and control of their dynamic behavior. Desired features of the model include capture of relevant aspects of a real phenomenon, understandability, and completeness…

Software Engineering · Computer Science 2017-07-28 Sabah Al-Fedaghi , Haya Alahmad

This short paper describes early experiments to validate the capabilities of a component-based platform to observe and control a software architecture in the small. This is part of a whole process for resilient computing, i.e. targeting the…

Software Engineering · Computer Science 2012-04-06 Miruna Stoicescu , Jean-Charles Fabre , Matthieu Roy

An application is a logical image of the world on a computer. A scalable application is an application that allows one to update that logical image at run time. To put it in operational terms: an application is scalable if a client can…

Human-Computer Interaction · Computer Science 2007-05-23 Harry Fitié
‹ Prev 1 2 3 10 Next ›