English
Related papers

Related papers: Proceedings Foundations for Interface Technologies

200 papers

Technology advances in areas such as sensors, IoT, and robotics, enable new collaborative applications (e.g., autonomous devices). A primary requirement for such collaborations is to have a secure system which enables information sharing…

Cryptography and Security · Computer Science 2020-11-04 Amani Abu Jabal , Elisa Bertino , Jorge Lobo , Dinesh Verma , Seraphin Calo , Alessandra Russo

Complex systems, from the human brain to the global economy, are made of multiple elements that interact in such ways that the behaviour of the `whole' often seems to be more than what is readily explainable in terms of the `sum of the…

Neurons and Cognition · Quantitative Biology 2021-09-28 Pedro A. M. Mediano , Fernando E. Rosas , Andrea I Luppi , Robin L. Carhart-Harris , Daniel Bor , Anil K. Seth , Adam B. Barrett

The logic of information flows (LIF) is a general framework in which tasks of a procedural nature can be modeled in a declarative, logic-based fashion. The first contribution of this paper is to propose semantic and syntactic definitions of…

Logic in Computer Science · Computer Science 2022-09-15 Heba Aamer , Bart Bogaerts , Dimitri Surinx , Eugenia Ternovska , Jan Van den Bussche

Responsible prompt engineering has emerged as a critical framework for ensuring that generative artificial intelligence (AI) systems serve society's needs while minimizing potential harms. As generative AI applications become increasingly…

Computers and Society · Computer Science 2025-04-24 Christian Djeffal

This overview of integrated information theory (IIT) emphasizes IIT's "consciousness-first" approach to what exists. Consciousness demonstrates to each of us that something exists--experience--and reveals its essential properties--the…

Neurons and Cognition · Quantitative Biology 2025-12-23 Giulio Tononi , Melanie Boly

Classic firewall systems are built to filter traffic based on IP addresses, source and destination ports and protocol types. The modern networks have grown to a level where the possibility for users' mobility is a must. In such networks,…

Cryptography and Security · Computer Science 2011-08-08 Nenad Stojanovski , Marjan Gusev

Software-intensive Systems-of-Systems (SoS) refer to an arrangement of managerially and operationally independent systems(i.e., constituent systems), which work collaboratively towards the achievement of global missions. Because some SoS…

Software Engineering · Computer Science 2020-07-15 Cristiane Aparecida Lana , Milena Guessi , Pablo Oliveira Antonino , Dieter Rombach , Elisa Yumi NakagawaA

In this study, we introduce FEET, a standardized protocol designed to guide the development and benchmarking of foundation models. While numerous benchmark datasets exist for evaluating these models, we propose a structured evaluation…

Machine Learning · Computer Science 2024-11-05 Simon A. Lee , John Lee , Jeffrey N. Chiang

Graphical User Interface (GUI) agents, powered by Large Foundation Models, have emerged as a transformative approach to automating human-computer interaction. These agents autonomously interact with digital systems or software applications…

This paper lays down the research agenda for a domain-specific foundation model for operating systems (OSes). Our case for a foundation model revolves around the observations that several OS components such as CPU, memory, and network…

Industrial designers have long sought a natural and intuitive way to achieve the targeted control of prototype models -- using simple natural language instructions to configure and adjust the models seamlessly according to their intentions,…

Computation and Language · Computer Science 2025-06-16 Yu-Zhe Shi , Mingchen Liu , Hanlu Ma , Qiao Xu , Huamin Qu , Kun He , Lecheng Ruan , Qining Wang

FLASH is a publicly available high performance application code which has evolved into a modular, extensible software system from a collection of unconnected legacy codes. FLASH has been successful because its capabilities have been driven…

Software Engineering · Computer Science 2014-09-10 A. Dubey , L. B. Reid , K. Weide , K. Antypas , M. K. Ganapathy , K. Riley , D. Sheeler , A. Siegal

As a consequence to the hype of Grid computing, such systems have seldom been designed using formal techniques. The complexity and rapidly growing demand around Grid technologies has favour the use of classical development techniques,…

Software Engineering · Computer Science 2007-05-23 David Manset , Richard McClatchey , Flavio Oquendo , Herve Verjus

Artificial Intelligence (AI) is rapidly integrating into various aspects of our daily lives, influencing decision-making processes in areas such as targeted advertising and matchmaking algorithms. As AI systems become increasingly…

Artificial Intelligence · Computer Science 2025-03-11 Md. Tanzib Hosain , Mehedi Hasan Anik , Sadman Rafi , Rana Tabassum , Khaleque Insia , Md. Mehrab Siddiky

Grid computing (GC) systems are large-scale virtual machines, built upon a massive pool of resources (processing time, storage, software) that often span multiple distributed domains. Concurrent users interact with the grid by adding new…

Programming Languages · Computer Science 2014-04-02 Carlos Alberto Ramírez Restrepo , Jorge A. Pérez , Jesús Aranda , Juan Francisco Díaz-Frias

Secure software architecture is increasingly important in a data-driven world. When security is neglected sensitive information might leak through unauthorized access. To mitigate this software architects needs tools and methods to quantify…

Software Engineering · Computer Science 2024-01-17 Rasmus Carl Rønneberg

Detecting feature interactions is imperative for accurately predicting performance of highly-configurable systems. State-of-the-art performance prediction techniques rely on supervised machine learning for detecting feature interactions,…

Software Engineering · Computer Science 2018-01-23 Sergiy Kolesnikov , Norbert Siegmund , Christian Kästner , Sven Apel

The concept of intelligent system has emerged in information technology as a type of system derived from successful applications of artificial intelligence. The goal of this paper is to give a general description of an intelligent system,…

Computers and Society · Computer Science 2022-12-20 Martin Molina

Object Oriented Design methodology is an emerging software development approach for complex systems with huge set of requirements. Unlike procedural approach, it captures the requirements as a set of data rather than services, encapsulated…

Software Engineering · Computer Science 2014-02-12 Poornima. U. S. , Suma. V , Vasanth Kumar. H

To harness the potential of advanced computing technologies, efficient (real time) analysis of large amounts of data is as essential as are front-line simulations. In order to optimise this process, experts need to be supported by…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-07-03 Jovana Knežević , Ralf-Peter Mundani , Ernst Rank