English
Related papers

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

200 papers

Large language models (LLMs) have revolutionized Text-to-SQL generation, allowing users to query structured data using natural language with growing ease. Yet, real-world deployment remains challenging, especially in complex or unseen…

Computation and Language · Computer Science 2026-05-01 Smit Jivani , Sarvam Maheshwari , Sunita Sarawagi

High-dimensional, heterogeneous data with complex feature interactions pose significant challenges for traditional predictive modeling approaches. While Projection to Latent Structures (PLS) remains a popular technique, it struggles to…

Machine Learning · Computer Science 2025-10-21 Farwa Abbas , Hussain Ahmad , Claudia Szabo

Transforming constraint models is an important task in re- cent constraint programming systems. User-understandable models are defined during the modeling phase but rewriting or tuning them is manda- tory to get solving-efficient models. We…

Artificial Intelligence · Computer Science 2010-02-17 Raphael Chenouard , Laurent Granvilliers , Ricardo Soto

SHACL is a W3C-proposed language for expressing structural constraints on RDF graphs. In recent years, SHACL's popularity has risen quickly. This rise in popularity comes with questions related to its place in the semantic web, particularly…

Logic in Computer Science · Computer Science 2022-06-29 Bart Bogaerts , Maxime Jakubowski , Jan Van den Bussche

The use of programming languages such as Java and C in Open Source Software (OSS) has been well studied. However, many other popular languages such as XSL or XML have received minor attention. In this paper, we discuss some trends in OSS…

Programming Languages · Computer Science 2011-02-14 Siim Karus , Harald Gall

Atomic commits, which address a single development concern, are a best practice in software development. In practice, however, developers often produce tangled commits that mix unrelated changes, complicating code review and maintenance.…

Artificial Intelligence · Computer Science 2025-11-06 Bo Hou , Xin Tan , Kai Zheng , Fang Liu , Yinghao Zhu , Li Zhang

Recent advancements in explainable machine learning provide effective and faithful solutions for interpreting model behaviors. However, many explanation methods encounter efficiency issues, which largely limit their deployments in practical…

Machine Learning · Computer Science 2023-03-07 Yu-Neng Chuang , Guanchu Wang , Fan Yang , Quan Zhou , Pushkar Tripathi , Xuanting Cai , Xia Hu

Languages like F#, C#, and recently also Scala, provide "Async" programming models which aim to make asynchronous programming easier by avoiding an inversion of control that is inherent in callback-based programming models. This paper…

Programming Languages · Computer Science 2015-11-03 Philipp Haller , Heather Miller

Cloud computing is a Technology that has come out in the last decade and that is transforming the IT industry in huge. The Cloud computing is playing a vital role as a backbone component of the Internet of Things (IoT). In a Cloud Computing…

Software Engineering · Computer Science 2019-05-28 Dhanamma Jagli , Seema Purohit , N. Subhash Chandra

The widespread adoption of cloud computing has resulted in the proliferation of open source cloud computing frameworks that give more control to enterprises over their data and networks. Though the benefits of open source software are…

Software Engineering · Computer Science 2018-05-16 Irum Rauf , Elena Troubitsyna

The Shapes Constraint Language (SHACL) has been recently introduced as a W3C recommendation to define constraints that can be validated against RDF graphs. Interactions of SHACL with other Semantic Web technologies, such as ontologies or…

Artificial Intelligence · Computer Science 2020-08-10 Paolo Pareti , George Konstantinidis , Timothy J. Norman , Murat Şensoy

We study the problem of Open-Vocabulary Constructs(OVCs) -- ones not known beforehand -- in the context of converting natural language (NL) specifications into formal languages (e.g., temporal logic or code). Models fare poorly on OVCs due…

Software Engineering · Computer Science 2025-09-11 Mohammad Saqib Hasan , Sayontan Ghosh , Dhruv Verma , Geoff Kuenning , Erez Zadok , Scott A. Smolka , Niranjan Balasubramanian

Product Lines (PL) have proved an effective approach to reuse-based systems development. Several modeling languages were proposed so far to specify PL. Although they can be very different, these languages show two common features: they…

Software Engineering · Computer Science 2023-09-29 Camille Salinesi , Raul Mazo , Daniel Diaz , Olfa Djebbi

Since the advent of LISP, the fifth generation programming language has developed for decades. However, compared with the fourth generation programming language, the fifth generation programming language has not been widely used because of…

Programming Languages · Computer Science 2022-06-03 Han Jipeng , Lichen Zhihang

Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calculate the solutions. This paper focuses on efficient model…

Artificial Intelligence · Computer Science 2010-02-16 Raphael Chenouard , Laurent Granvilliers , Ricardo Soto

Rapid growth of datacenter (DC) scale, urgency of cost control, increasing workload diversity, and huge software investment protection place unprecedented demands on the operating system (OS) efficiency, scalability, performance isolation,…

Operating Systems · Computer Science 2019-01-04 Chen Zheng , Lei Wang , Sally A. McKee , Lixin Zhang , Hainan Ye , Jianfeng Zhan

A wide range of analysis and testing techniques targeting modern web apps rely on the automated exploration of their state space by firing events that mimic user interactions. However, finding out which elements are actionable in web apps…

Human-Computer Interaction · Computer Science 2021-11-25 Davood Mazinanian , Mohammad Bajammal , Ali Mesbah

The web ecosystem is rapidly evolving with changing business and functional models. Cloud platforms are available in a SaaS, PaaS and IaaS model designed around commoditized Linux based servers. 10 billion users will be online and accessing…

Software Engineering · Computer Science 2018-09-24 Shaun C. D'Souza

JavaScript is prevalent in web and server apps, handling sensitive data. JS testing methods lag behind other languages. Insitu concolic testing for JS is effective but slow and complex. Our method enhances tracing with V8 Sparkplug baseline…

Software Engineering · Computer Science 2024-05-14 Zhe Li , Fei Xie

The global economic recession and the shrinking budget of IT projects have led to the need of development of integrated information systems at a lower cost. Today, the emerging phenomenon of cloud computing aims at transforming the…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-03-02 B. Kamala , B. Priya , J. M. Nandhini