English
Related papers

Related papers: From OCL to JSX: declarative constraint modeling i…

200 papers

Hosted large language models are increasingly accessed through remote APIs, but the API boundary still offers little direct evidence that a returned output actually corresponds to the client-visible request. Recent audits of shadow APIs…

Cryptography and Security · Computer Science 2026-03-17 Yongjie Guan

Vision-Language Models (VLMs) have shown significant progress in open-set challenges. However, the limited availability of 3D datasets hinders their effective application in 3D scene understanding. We propose LOC, a general language-guided…

Computer Vision and Pattern Recognition · Computer Science 2025-10-28 Yuhang Gao , Xiang Xiang , Sheng Zhong , Guoyou Wang

Nowadays, more and more applications require OSGi to have some form of real-time support, which is currently very limited. The resulting closed-system solutions lack of a standard management scheme which forbids standard, system-wide…

Software Engineering · Computer Science 2015-08-25 Ning Gui , Vincenzo De Florio , Hong Sun , Chris Blondia

Workflow and serverless frameworks have empowered new approaches to distributed application design by abstracting compute resources. However, their typically limited or one-size-fits-all support for advanced data flow patterns leaves…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-12-03 J. Gregory Pauloski , Valerie Hayot-Sasson , Logan Ward , Alexander Brace , André Bauer , Kyle Chard , Ian Foster

Context: Ubiquitous devices and pervasive environments are in permanent interaction in people's daily lives. In today's hyper-connected environments, it is necessary for these devices to interact with each other, transparently to the users.…

Software Engineering · Computer Science 2024-12-11 Oscar A. Testa , Efrain R. Fonseca C. , Germán Montejano , Oscar Dieste

We present X-Talk, an open-source framework that champions a decoupled, modular design for LLM-driven speech-to-speech (S2S) systems. While the dominant trend favors end-to-end (E2E) modeling to optimize information flow, these…

Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, removes variables and the links among them, and also causes a…

Programming Languages · Computer Science 2018-06-01 Joaquín Arias , Manuel Carro , Elmer Salazar , Kyle Marple , Gopal Gupta

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

With the increasing usage of JavaScript in web applications, there is a great demand to write JavaScript code that is reliable and maintainable. To achieve these goals, classes can be emulated in the current JavaScript standard version. In…

Software Engineering · Computer Science 2016-02-19 Leonardo Humberto Silva , Daniel Hovadick , Marco Tulio Valente , Alexandre Bergel , Nicolas Anquetil , Anne Etien

Emotion recognition in conversations (ERC) is a rapidly evolving task within the natural language processing community, which aims to detect the emotions expressed by speakers during a conversation. Recently, a growing number of ERC methods…

Computation and Language · Computer Science 2023-12-12 Tao Shi , Xiao Liang , Yaoyuan Liang , Xinyi Tong , Shao-Lun Huang

The Object Constraint Language (OCL) has been widely used in the modeling community to complement software models for precisely defining constraints and business rules for the modeled systems. There is a limited number of tools supporting…

Software Engineering · Computer Science 2025-03-04 Fitash Ul Haq , Jordi Cabot

Function as a Service (FaaS) paradigm is becoming widespread and is envisioned as the next generation of cloud systems that mitigate the burden for programmers and cloud solution architects. However, the FaaS abstraction only makes the…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-09-07 Pawissanutt Lertpongrujikorn , Mohsen Amini Salehi

The Distributed Constraint Optimization Problem (DCOP) formulation is a powerful tool to model cooperative multi-agent problems that need to be solved distributively. A core assumption of existing approaches is that DCOP solutions can be…

Artificial Intelligence · Computer Science 2025-02-21 Ben Rachmut , Stylianos Loukas Vasileiou , Nimrod Meir Weinstein , Roie Zivan , William Yeoh

This paper presents the ReXCL tool, which automates the extraction and classification processes in requirement engineering, enhancing the software development lifecycle. The tool features two main modules: Extraction, which processes raw…

Software Engineering · Computer Science 2025-04-11 Paheli Bhattacharya , Manojit Chakraborty , Santhosh Kumar Arumugam , Rishabh Gupta

We present RDCL 3D, a "model agnostic" web framework for the design and composition of NFV services and components. The framework allows editing and validating the descriptors of services and components both textually and graphically and…

Networking and Internet Architecture · Computer Science 2017-10-25 Stefano Salsano , Francesco Lombardo , Claudio Pisa , Pierluigi Greto , Nicola Blefari Melazzi

We propose a framework for the deployment and subsequent autonomic management of component-based distributed applications. An initial deployment goal is specified using a declarative constraint language, expressing constraints over aspects…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-06-25 Alan Dearle , Graham Kirby , Andrew McCarthy

The long-standing one-to-many problem of gold standard responses in open-domain dialogue systems presents challenges for automatic evaluation metrics. Though prior works have demonstrated some success by applying powerful Large Language…

Computation and Language · Computer Science 2024-05-31 Kun Zhao , Bohao Yang , Chen Tang , Chenghua Lin , Liang Zhan

Most of current Software-as-a-Service (SaaS) applications are developed as customizable service-oriented applications that serve a large number of tenants (users) by one application instance. The current rapid evolution of SaaS applications…

Software Engineering · Computer Science 2014-11-10 Ashraf A. Shahin

Over the past few years, Large Language Models of Code (Code LLMs) have started to have a significant impact on programming practice. Code LLMs are also emerging as building blocks for research in programming languages and software…

Object-oriented embodied navigation aims to locate specific objects, defined by category or depicted in images. Existing methods often struggle to generalize to open vocabulary goals without extensive training data. While recent advances in…

Robotics · Computer Science 2024-07-15 Meng Wei , Tai Wang , Yilun Chen , Hanqing Wang , Jiangmiao Pang , Xihui Liu