English
Related papers

Related papers: System Support for Managing Invalid Bindings

200 papers

We study the dynamic software update problem for programs interacting with an environment that is not necessarily updated. We argue that such updates should be backward compatible. We propose a general definition of backward compatibility…

Software Engineering · Computer Science 2015-09-14 Jun Shen , Rida A. Bazzi

This paper proposes risk-averse and risk-agnostic formulations to robust design in which solutions that satisfy the system requirements for a set of scenarios are pursued. These scenarios, which correspond to realizations of uncertain…

Optimization and Control · Mathematics 2025-11-07 Luis G. Crespo , Bret Stanford , Natalia Alexandrov

Cloud computing has emerged as a crucial solution for managing data- and compute-intensive workflows, offering scalability to address dynamic demands. However, security concerns persist, especially for workflows involving sensitive data and…

Cryptography and Security · Computer Science 2025-01-14 Nafiseh Soveizi , Dimka Karastoyanova

Shorter product life cycles and increasing individualization of production leads to an increased reconfiguration demand in the domain of industrial automation systems, which will be dominated by cyber-physical production systems in the…

Artificial Intelligence · Computer Science 2021-07-09 Timo Müller , Benjamin Lindemann , Tobias Jung , Nasser Jazdi , Michael Weyrich

Mixed Reality is increasingly used in mobile settings beyond controlled home and office spaces. This mobility introduces the need for user interface layouts that adapt to varying contexts. However, existing adaptive systems are designed…

Human-Computer Interaction · Computer Science 2024-09-20 Zhipeng Li , Christoph Gebhardt , Yves Inglin , Nicolas Steck , Paul Streli , Christian Holz

To use heterogeneous hardware, programmers needed sufficient technical skills such as OpenMP, CUDA, and OpenCL. Therefore, I have proposed environment-adaptive software that enables high-performance operation by automatically converting and…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-07-01 Yoji Yamato

Elasticity is a cloud property that enables applications and its execution systems to dynamically acquire and release shared computational resources on demand. Moreover, it unfolds the advantage of economies of scale in the cloud through a…

Software Engineering · Computer Science 2017-02-27 Carlos Mera-Gómez , Francisco Ramírez , Rami Bahsoon , Rajkumar Buyya

A context-aware language model uses location, user and/or domain metadata (context) to adapt its predictions. In neural language models, context information is typically represented as an embedding and it is given to the RNN as an…

Computation and Language · Computer Science 2018-05-08 Aaron Jaech , Mari Ostendorf

Context-Oriented Programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the context. In previous work we proposed ML_CoDa, a context-oriented…

Programming Languages · Computer Science 2016-06-21 Pierpaolo Degano , Gian-Luigi Ferrari , Letterio Galletta

Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis explores all behaviors of a concurrent program up to some…

Logic in Computer Science · Computer Science 2015-07-01 Mohamed Faouzi Atig , Ahmed Bouajjani , Shaz Qadeer

Multi-robot coordination is crucial for autonomous systems, yet real-world deployments often encounter various failures. These include both temporary and permanent disruptions in sensing and communication, which can significantly degrade…

Robotics · Computer Science 2025-08-11 Peihan Li , Jiazhen Liu , Yuwei Wu , Lifeng Zhou

Imagine interconnected objects with embedded artificial intelligence (AI), empowered to sense the environment, see it, hear it, touch it, interact with it, and move. As future networks of intelligent objects come to life, tremendous new…

Ensuring that critical IoT systems function safely and smoothly depends a lot on finding anomalies quickly. As more complex systems, like smart healthcare, energy grids and industrial automation, appear, it is easier to see the shortcomings…

Artificial Intelligence · Computer Science 2025-10-07 Raghav Sharma , Manan Mehta

Developing efficient and maintainable software systems is both hard and time consuming. In particular, non-functional performance requirements involve many design and implementation decisions that can be difficult to take early during…

Programming Languages · Computer Science 2022-09-05 Linnea Stjerna , David Broman

Current parameter-efficient fine-tuning (PEFT) methods build adapters widely agnostic of the context of downstream task to learn, or the context of important knowledge to maintain. As a result, there is often a performance gap compared to…

Machine Learning · Computer Science 2025-03-11 Yibo Yang , Xiaojie Li , Zhongzhu Zhou , Shuaiwen Leon Song , Jianlong Wu , Liqiang Nie , Bernard Ghanem

Dynamically Adaptive Systems modify their behav- ior and structure in response to changes in their surrounding environment and according to an adaptation logic. Critical sys- tems increasingly incorporate dynamic adaptation capabilities;…

Software Engineering · Computer Science 2012-05-28 Alexandre Bartel , Benoit Baudry , Freddy Munoz , Jacques Klein , Tejeddine Mouelhi , Yves Le Traon

Model-based Reinforcement Learning and Control have demonstrated great potential in various sequential decision making problem domains, including in robotics settings. However, real-world robotics systems often present challenges that limit…

Machine Learning · Computer Science 2023-10-24 Achkan Salehi , Steffen Rühl , Stephane Doncieux

Enterprise Applications (EA) are complex software systems for supporting the business of companies. Evolution of an EA should not affect its availability, e.g., because of a temporal shutdown, business operations may be affected. One…

Software Engineering · Computer Science 2018-03-02 Thomas Vogel , Jens Bruhn , Guido Wirtz

Recommender Systems are tools that improve how users find relevant information in web systems, so they do not face too much information. In order to generate better recommendations, the context of information should be used in the…

Information Retrieval · Computer Science 2020-07-10 Igor André Pegoraro Santana , Marcos Aurelio Domingues

Information Fusion Systems are now widely used in different fusion contexts, like scientific processing, sensor networks, video and image processing. One of the current trends in this area is to cope with distributed systems. In this…

Distributed, Parallel, and Cluster Computing · Computer Science 2009-06-26 Eric Benoit , Marc-Philippe Huget , Patrice Moreaux , Olivier Passalacqua