中文
相关论文

相关论文: Recent Developments with the licas System

200 篇论文

Autonomous systems are becoming increasingly prevalent in new vehicles. Due to their environmental friendliness and their remarkable capability to significantly enhance road safety, these vehicles have gained widespread recognition and…

机器人学 · 计算机科学 2025-07-04 Reem Alhabib , Poonam Yadav

Mobility as a Service (MaaS) is revolutionizing the transportation industry by offering convenient, efficient and integrated transportation solutions. However, the extensive use of user data as well as the integration of multiple service…

密码学与安全 · 计算机科学 2023-10-18 Zineb Garroussi , Antoine Legrain , Sébastien Gambs , Vincent Gautrais , Brunilde Sansò

Autonomic computing has been proposed recently as a way to address the difficult management of applications whose complexity is constantly increasing. Autonomous applications will have to be especially flexible and be able to monitor…

网络与互联网体系结构 · 计算机科学 2009-09-29 Simon Patarin , Mesaac Makpangou

This paper introduces a new attack on recent messaging systems that protect communication metadata. The main observation is that if an adversary manages to compromise a user's friend, it can use this compromised friend to learn information…

密码学与安全 · 计算机科学 2018-10-25 Sebastian Angel , David Lazar , Ioanna Tzialla

In this report, we examine Jif, a Java extension which augments the language with features related to security. Jif adds support for security labels to Java's type system such that the developer can specify confidentiality and integrity…

编程语言 · 计算机科学 2014-12-31 Kyle Pullicino

Hybrid systems are increasingly used in critical applications such as medical devices, infrastructure systems, and autonomous vehicles. Lince is an academic tool for specifying and simulating such systems using a C-like language with…

计算机科学中的逻辑 · 计算机科学 2025-11-19 Reydel Arrieta , José Proença , Patrick Meumeu Yomsi

The growing complexity of software systems as well as changing conditions in their operating environment demand systems that are more flexible, adaptive and dependable. The service-oriented computing paradigm is in widespread use to support…

软件工程 · 计算机科学 2010-11-12 Jorge Fox

In this extended abstract, we propose a novel research topic in the field of agentic AI, which we refer to as self-coding information systems. These systems will be able to dynamically adapt their structure or behavior by evaluating…

软件工程 · 计算机科学 2026-03-06 Rodrigo Falcão , Frank Elberzhager , Karthik Vaidhyanathan

The increasing complexity and unpredictability of many ICT scenarios let us envision that future systems will have to dynamically learn how to act and adapt to face evolving situations with little or no a priori knowledge, both at the level…

人工智能 · 计算机科学 2021-10-05 Marco Lippi , Stefano Mariani , Matteo Martinelli , Franco Zambonelli

Integrated Sensing and Communications (ISAC) enables efficient spectrum utilization and reduces hardware costs for beyond 5G (B5G) and 6G networks, facilitating intelligent applications that require both high-performance communication and…

Actions may not proceed as planned; they may be interrupted, resumed or overridden. This is a challenge to handle in a natural language understanding system. We describe extensions to an existing implementation for the control of autonomous…

人工智能 · 计算机科学 2016-08-02 Steve Doubleday , Sean Trott , Jerome Feldman

Transportation systems are currently being transformed by advances in information and communication technologies. The development of autonomous transportation holds the promise of providing revolutionary improvements in speed, efficiency,…

计算机与社会 · 计算机科学 2016-09-20 Daniel Lee , Sebastian Pokutta

Asynchronous Many-Task Systems (AMTs) exhibit different communication patterns from traditional High-Performance Computing (HPC) applications, characterized by asynchrony, concurrency, and multithreading. Existing communication libraries…

分布式、并行与集群计算 · 计算机科学 2025-03-20 Jiakun Yan , Marc Snir

As large language models (LLMs) increasingly integrate into every aspect of our work and daily lives, there are growing concerns about user privacy, which push the trend toward local deployment of these models. There are a number of…

机器学习 · 计算机科学 2026-02-10 Jie Xiao , Qianyi Huang , Xu Chen , Chen Tian

This paper formalises the literature on emerging design patterns and paradigms for Large Language Model (LLM)-enabled multi-agent systems (MAS), evaluating their practical utility across various domains. We define key architectural…

多智能体系统 · 计算机科学 2026-01-08 Harri Renney , Maxim N Nethercott , Nathan Renney , Peter Hayes

Autonomic Computing (AC) is a promising approach for developing intelligent and adaptive self-management systems at the deep network edge. In this paper, we present the problems and challenges related to the use of AC for IoT devices. Our…

网络与互联网体系结构 · 计算机科学 2025-09-25 Wojciech Kalka , Ruitao Xue , Kamil Faber , Aleksander Slominski , Devki Jha , Rajiv Ranjan , Tomasz Szydlo

Enabled and driven by modern advances in wireless telecommunication and artificial intelligence, the convergence of communication, computing, and control is becoming inevitable in future industrial applications. Analytical and optimizing…

系统与控制 · 电气工程与系统科学 2022-11-07 Bin Han , Hans D. Schotten

Integrating Large Language Models (LLMs) into autonomous agents marks a significant shift in the research landscape by offering cognitive abilities that are competitive with human planning and reasoning. This paper explores the…

软件工程 · 计算机科学 2025-07-21 Junda He , Christoph Treude , David Lo

The ability to negotiate contracts for a wide range of aspects and to provide services conforming to them is a most pressing need in service-oriented architectures. High-level models of contracts are making their way into the area, but…

软件工程 · 计算机科学 2012-09-11 Gordon J. Pace , Anders P. Ravn

While the current generation of mobile and fixed communication networks has been standardized for mobile broadband services, the next generation is driven by the vision of the Internet of Things and mission critical communication services…

信号处理 · 电气工程与系统科学 2018-08-08 Xiaolin Jiang , Hossein S. Ghadikolaei , Gabor Fodor , Eytan Modiano , Zhibo Pang , Michele Zorzi , Carlo Fischione