中文
相关论文

相关论文: Recent Developments with the licas System

200 篇论文

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…

人机交互 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

数据库 · 计算机科学 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…

人机交互 · 计算机科学 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…

软件工程 · 计算机科学 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…

最优化与控制 · 数学 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…

数据库 · 计算机科学 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…

编程语言 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

软件工程 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

机器人学 · 计算机科学 2022-04-29 Nikita Smirnov , Sebastian Tschernuth , Walter Morales-Alvarez , Cristina Olaverri-Monreal

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…

机器学习 · 计算机科学 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…

机器学习 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

网络与互联网体系结构 · 计算机科学 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…

密码学与安全 · 计算机科学 2021-12-08 Lenin Leines-Vite , Juan Carlos Pérez-Arriaga , Xavier Limón