English
Related papers

Related papers: Recent Developments with the licas System

200 papers

Combining and summarizing meta-data from various kinds of data sources is one possible solution to the data fragmentation we are suffering from. Multiple projects have addressed this issue already. This paper presents a new approach named…

Human-Computer Interaction · Computer Science 2013-04-05 Karl Voit

Large Language Model (LLM)-based agents increasingly interact, collaborate, and delegate tasks to one another autonomously with minimal human interaction. Industry guidelines for agentic system governance emphasize the need for users to…

Cryptography and Security · Computer Science 2025-09-01 Georgios Syros , Anshuman Suri , Jacob Ginesin , Cristina Nita-Rotaru , Alina Oprea

Collaborative web applications such as Facebook, Flickr and Yelp present new challenges for storing and querying large amounts of data. As users and developers are focused more on performance than single copy consistency or the ability to…

Databases · Computer Science 2009-09-15 Michael Armbrust , Armando Fox , David Patterson , Nick Lanham , Beth Trushkowsky , Jesse Trutna , Haruki Oh

As AI agents move from chat interfaces to systems that read private data, call tools, and execute multi-step workflows, guardrails become a last line of defense against concrete deployment harms. In these settings, guardrail failures are no…

The observation that novice users seldom consult online help was made over twenty years ago. This observation still holds nowadays, although online help to the use of software for the general public has greatly improved in usability during…

Human-Computer Interaction · Computer Science 2007-08-31 Antonio Capobianco , Noëlle Carbonell

Life Cycle Assessment (LCA) is increasingly used to quantify and regulate the environmental impacts of Information and Communication Technology (ICT) systems. Since direct biosphere measurements are complicated to perform, we claim that the…

Pushed by market forces, software development has become fast-paced. As a consequence, modern development projects are assembled from 3rd-party components. Security & privacy assurance techniques once designed for large, controlled updates…

Software Engineering · Computer Science 2021-03-08 Ivan Pashchenko , Riccardo Scandariato , Antonino Sabetta , Fabio Massacci

In this paper, we study stabilizability of discrete-time switched linear systems where the switching signal is considered as an arbitrary disturbance (and not a control variable). We characterize feedback stabilization via necessary and…

Optimization and Control · Mathematics 2025-06-05 Thiago Alves Lima , Matteo Della Rossa , Antoine Girard

Life cycle assessment (LCA) plays a critical role in assessing the environmental impacts of a product, technology, or service throughout its entire life cycle. Nonetheless, many existing LCA tools and methods lack adequate metadata…

Databases · Computer Science 2024-05-17 Kourosh Malek , Max Dreger , Zirui Tang , Qingshi Tu

Dynamic software adaptability is one of the central features leveraged by autonomic computing. However, developing software that changes its behavior at run time adapting to the operational conditions is a challenging task. Several…

Programming Languages · Computer Science 2012-04-02 Guido Salvaneschi , Carlo Ghezzi , Matteo Pradella

This paper describes a novel approach for the flexible development of dependable automation services applied to a case study taken from requirements of energy automation systems. It shows first how the use of a custom compositional recovery…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-10-04 Vincenzo De Florio , Susanna Donatelli , Giovanna Dondossola

This abstract describes the first public demonstration of feedback control and coordination of multiple physical systems over a dynamic multi-hop low-power wireless network with update intervals of tens of milliseconds. Our running system…

Networking and Internet Architecture · Computer Science 2019-06-14 Fabian Mager , Dominik Baumann , Romain Jacob , Lothar Thiele , Sebastian Trimpe , Marco Zimmerling

Software systems are increasingly used in application domains characterised by uncertain environments, evolving requirements and unexpected failures; sudden system malfunctioning raises serious issues of security, safety, loss of comfort or…

Software Engineering · Computer Science 2019-04-04 Simos Gerasimou , Thomas Vogel , Ada Diaconescu

The paper proclaims a summary of Li-Fi technology. It is an efficient data communication mechanism involving visible light as a medium of transmission. This monograph introduces the concept of Li-Fi and its working model. Furthermore, it…

Networking and Internet Architecture · Computer Science 2016-10-20 Mihir Chauhan , Aditya Kulai

Communication between vehicles with varying degrees of automation is increasingly challenging as highly automated vehicles are unable to interpret the non-verbal signs of other road users. The lack of understanding on roads leads to lower…

Modern civilian and military systems have created a demand for sophisticated intelligent autonomous machines capable of operating in uncertain dynamic environments. Such systems are realizable thanks in large part to major advances in…

Machine Learning · Computer Science 2023-01-16 Nicholas Conlon , Aastha Acharya , Nisar Ahmed

Cascades are a common type of machine learning systems in which a large, remote model can be queried if a local model is not able to accurately label a user's data by itself. Serving stacks for large language models (LLMs) increasingly use…

Machine Learning · Computer Science 2024-04-03 Florian Hartmann , Duc-Hieu Tran , Peter Kairouz , Victor Cărbune , Blaise Aguera y Arcas

Mobility-as-a-Service (MaaS) is a paradigm that encourages the shift from private cars to more sustainable alternative mobility services. MaaS provides services that enhances and enables multiple modes of transport to operate seamlessly and…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-22 Igor Mikolasek , Saeedeh Ghanadbashi , Nima Afraz , Fatemeh Golpayegani

Small satellites and autonomous vehicles have greatly evolved in the last few decades. Hundreds of small satellites have been launched with increasing functionalities, in the last few years. Likewise, numerous autonomous vehicles have been…

Networking and Internet Architecture · Computer Science 2018-04-18 André G. C. Guerra , António Sérgio Ferreira , Maria Costa , Diego Nodar-López , Fernando Aguado Agelet

Security has become paramount in modern software services as more and more security breaches emerge, impacting final users and organizations alike. Trends like the Microservice Architecture bring new security challenges related to…

Cryptography and Security · Computer Science 2021-12-08 Lenin Leines-Vite , Juan Carlos Pérez-Arriaga , Xavier Limón