English
Related papers

Related papers: Recent Developments with the licas System

200 papers

Aliasing is a known source of challenges in the context of imperative object-oriented languages, which have led to important advances in type systems for aliasing control. However, their large-scale adoption has turned out to be a…

Programming Languages · Computer Science 2016-07-26 Philipp Haller , Alexandre Loiko

Large Language Models (LLMs) are increasingly used as core dependencies in software systems. However, the hosted LLM services evolve continuously through provider-side updates without explicit version changes. These silent updates can…

Software Engineering · Computer Science 2026-05-01 Mohd Sameen Chishti , Damilare Peter Oyinloye , Jingyue Li

Recent advances in language models (LMs) have driven significant progress in various software engineering tasks. However, existing LMs still struggle with complex programming scenarios due to limitations in data quality, model architecture,…

Software Engineering · Computer Science 2026-01-09 Zhao Tian

In this work, three of many ICT-specific challenges of LCA are discussed. First, the inconsistency versus uncertainty is reviewed with regard to the meta-technological nature of ICT. As an example, the semiconductor technologies are used to…

Computers and Society · Computer Science 2014-06-03 Reza Farrahi Moghaddam , Fereydoun Farrahi Moghaddam , Thomas Dandres , Yves Lemieux , Réjean Samson , Mohamed Cheriet

Modern day system developers have some serious problems to contend with. The systems they develop are becoming increasingly complex as customers demand richer functionality delivered in ever shorter timescales. They have to manage a huge…

Software Engineering · Computer Science 2015-05-04 Tony Clark , Paul Sammut , James Willans

Developing Internet of Things (IoT) systems has to cope with several challenges mainly because of the heterogeneity of the involved sub-systems and components. With the aim of conceiving languages and tools supporting the development of IoT…

Software Engineering · Computer Science 2020-11-03 Felicien Ihirwe , Davide Di Ruscio , Silvia Mazzini , Pierluigi Pierini , Alfonso Pierantonio

This study examines the performance of today's open-source, locally hosted large-language models (LLMs) in handling complex competitive programming tasks with extended problem descriptions and contexts. Building on the original Framework…

Software Engineering · Computer Science 2025-09-22 Kadin Matotek , Heather Cassel , Md Amiruzzaman , Linh B. Ngo

With the advances in computational technologies over the last decade, large organizations have been investing in Information Technology to automate their internal processes to cut costs and efficiently support their business projects.…

Other Computer Science · Computer Science 2012-03-26 Youssef Bassil , Paul Semaan

The open source software (OSS) assessment has become important given the increased adoption of OSS in commercial product development. Researchers proposed many OSS assessment models. However, little is known about the industrial relevance…

Software Engineering · Computer Science 2022-12-02 Sai Pranav Koyyada , Denim Deshmukh Deepika Badampudi , Vida Ahmadi , Muhammad Usman

Large language models (LLMs) have revolutionized how we interact with machines. However, this technological advancement has been paralleled by the emergence of "Mallas," malicious services operating underground that exploit LLMs for…

Computation and Language · Computer Science 2024-08-12 Garrett Crumrine , Izzat Alsmadi , Jesus Guerrero , Yuvaraj Munian

The rise of the Internet of Things and Cyber-Physical Systems has introduced new challenges on ensuring secure and robust communication. The growing number of connected devices increases network complexity, leading to higher latency and…

Cryptography and Security · Computer Science 2025-09-03 Marco Stadler , Michael Vierhauser , Michael Riegler , Daniel Waghubinger , Johannes Sametinger

JISA is a software library, written in Java, aimed at providing an easy, flexible and standardised means of creating experimental control software for physical sciences researchers. Specifically, with an emphasis on enabling measurement…

Instrumentation and Detectors · Physics 2023-08-28 William Alexander Wood , Thomas Marsh , Henning Sirringhaus

Operating Systems are built upon a set of abstractions to provide resource management and programming APIs for common functionality, such as synchronization, communication, protection, and I/O. The process abstraction is the bridge across…

Operating Systems · Computer Science 2022-05-26 Rodrigo Siqueira , Nelson Lago , Fabio Kon , Dejan Milojičić

Autoscaling system can reconfigure cloud-based services and applications, through various configurations of cloud software and provisions of hardware resources, to adapt to the changing environment at runtime. Such a behavior offers the…

Software Engineering · Computer Science 2018-04-26 Tao Chen , Rami Bahsoon , Xin Yao

This paper describes a new modelling language for the effective design of Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown from a useful tool for the addition of meta-data to play a central role in…

Programming Languages · Computer Science 2019-10-02 Irene Córdoba , Juan de Lara

Expectations regarding the future growth of Internet of Things (IoT)-related technologies are high. These expectations require the realization of a sustainable general purpose application framework that is capable to handle these kinds of…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-08-17 Alexandre Da Silva Veith , Julio C. S. dos Anjos , Edison Pignaton de Freitas , Thomas Lampoltshammer , Claudio Geyer

All Control Systems that grow to any size have a variety of data that are stored in different formats on different nodes in the network. Examples include sensor value and status, archived sensor data, device oriented support data and…

Accelerator Physics · Physics 2007-05-23 Matthias Clausen , Ron MacKenzie , Robert Sass , Kenneth Underwood , Greg White

In the era of (multi-modal) large language models, most operational processes can be reformulated and reproduced using LLM agents. The LLM agents can perceive, control, and get feedback from the environment so as to accomplish the given…

Artificial Intelligence · Computer Science 2024-12-31 Yingxuan Yang , Qiuying Peng , Jun Wang , Ying Wen , Weinan Zhang

The beginning of the 21st century has seen many projects on distributed hash tables, both research and commercial. One of their aims has been to replace the first generation of file sharing software with scalable peer-to-peer architectures.…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-07-17 Kari Visala

Artificial Intelligence (AI) technologies are moving from customized deployments in specific domains towards generic solutions horizontally permeating vertical domains and industries. For instance, decisions on when to perform maintenance…

Software Engineering · Computer Science 2022-10-14 Carolina Fortuna , Din Mušić , Gregor Cerar , Andrej Čampa , Panagiotis Kapsalis , Mihael Mohorčič