English
Related papers

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

200 papers

Recent work shows Large Language Models (LLMs) struggle to understand natural language constraints for various text generation tasks in zero- and few-shot settings. While, in the code domain, there is wide usage of constraints in code…

Software Engineering · Computer Science 2025-03-25 Mehant Kammakomati , Sameer Pimparkhede , Srikanth Tamilselvam , Prince Kumar , Pushpak Bhattacharyya

The main objectives of SaaS application are to make the management and control of software easier and take the management strain away from consumers. However, it also leads to software services available globally and this has been realized…

Software Engineering · Computer Science 2016-06-21 Nadir K. Salih , Tianyi Zang

The Infrastructure-as-a-Service (IaaS) model of cloud computing is a promising approach towards building elastically scaling systems. Unfortunately, building such applications today is a complex, repetitive and error-prone endeavor, as IaaS…

Software Engineering · Computer Science 2014-11-11 Rostyslav Zabolotnyi , Philipp Leitner , Waldemar Hummer , Schahram Dustdar

Modern regex languages have strayed far from well-understood traditional regular expressions: they include features that fundamentally transform the matching problem. In exchange for these features, modern regex engines at times suffer from…

Programming Languages · Computer Science 2024-07-24 Aurèle Barrière , Clément Pit-Claudel

The Shapes Constraint Language (SHACL) is a recent W3C recommendation language for validating RDF data. Specifically, SHACL documents are collections of constraints that enforce particular shapes on an RDF graph. Previous work on the topic…

Logic in Computer Science · Computer Science 2020-11-06 Paolo Pareti , George Konstantinidis , Fabio Mogavero , Timothy J. Norman

Correctness constraints provide a foundation for automated debugging within object-oriented systems. This paper discusses a new approach to incorporating correctness constraints into Java development environments. Our approach uses the…

Software Engineering · Computer Science 2007-05-23 David J. Murray , Dale E. Parson

Current Serverless abstractions (e.g., FaaS) poorly support non-functional requirements (e.g., QoS and constraints), are provider-dependent, and are incompatible with other cloud abstractions (e.g., databases). As a result, application…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-23 Pawissanutt Lertpongrujikorn , Hai Duc Nguyen , Mohsen Amini Salehi

Implementing even a conceptually simple web application requires an inordinate amount of time. FORWARD addresses three problems that reduce developer productivity: (a) Impedance mismatch across the multiple languages used at different tiers…

Databases · Computer Science 2014-06-17 Yupeng Fu , Kian Win Ong , Yannis Papakonstantinou

This paper investigates the efficacy of Next.js as a framework addressing the challenges posed by React.js, particularly in performance, SEO, and equitable web accessibility. By constructing identical websites and web applications in both…

Networking and Internet Architecture · Computer Science 2025-02-25 Swostik Pati , Yasir Zaki

The field of Web development is entering the HTML5 and CSS3 era and JavaScript is becoming increasingly influential. A large number of JavaScript frameworks have been recently promoted. Practitioners applying the latest technologies need to…

Software Engineering · Computer Science 2013-06-10 Daniel Graziotin , Pekka Abrahamsson

HPC and Cloud have evolved independently, specializing their innovations into performance or productivity. Acceleration as a Service (XaaS) is a recipe to empower both fields with a shared execution platform that provides transparent access…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-01-10 Torsten Hoefler , Marcin Copik , Pete Beckman , Andrew Jones , Ian Foster , Manish Parashar , Daniel Reed , Matthias Troyer , Thomas Schulthess , Dan Ernst , Jack Dongarra

We propose the use of Soft Constraints as a natural way to model Service Oriented Architecture. In the framework, constraints are used to model components and connectors and constraint aggregation is used to represent their interactions.…

Artificial Intelligence · Computer Science 2009-06-23 Stefano Bistarelli , Francesco Santini

Soft constraints extend classical constraints to represent multiple consistency levels, and thus provide a way to express preferences, fuzziness, and uncertainty. While there are many soft constraint solving formalisms, even distributed…

Programming Languages · Computer Science 2018-02-27 S. Bistarelli , U. Montanari , F. Rossi

Though Explainable AI (XAI) has made significant advancements, its inclusion in edge and IoT systems is typically ad-hoc and inefficient. Most current methods are "coupled" in such a way that they generate explanations simultaneously with…

Machine Learning · Computer Science 2026-05-26 Samaresh Kumar Singh , Joyjit Roy

The JSC language is a superset of JavaScript designed to ease the development of large web applications. This language extends JavaScripts own object system by isolating code in a class declaration, simplifying multiple inheritance and…

Programming Languages · Computer Science 2009-12-16 Artur Ventura

To model combinatorial decision problems involving uncertainty and probability, we introduce scenario based stochastic constraint programming. Stochastic constraint programs contain both decision variables, which we can set, and stochastic…

Artificial Intelligence · Computer Science 2009-03-09 S. Armagan Tarim , Suresh Manandhar , Toby Walsh

Jjodel is a cloud-based reflective platform designed to address the challenges of Model-Driven Engineering (MDE), particularly the cognitive complexity and usability barriers often encountered in existing model-driven tools. This article…

Software Engineering · Computer Science 2025-02-14 Antonio Bucchiarone , Juri Di Rocco , Damiano Di Vincenzo , Alfonso Pierantonio

An important factor in guaranteeing the quality of a system is developing a conceptual model that reflects the knowledge about its domain as well as knowledge about the functions it has to perform. In software engineering, conceptual…

Software Engineering · Computer Science 2022-06-07 Sabah Al-Fedaghi

Developments in semantic web technologies have promoted ontological encoding of knowledge from diverse domains. However, modelling many practical domains requires more expressive representations schemes than what the standard description…

Artificial Intelligence · Computer Science 2017-04-05 Arjun Bhardwaj , Sangeetha

In the past decade, the modeling community has produced many feature-rich modeling editors and tool prototypes not only for modeling standards but particularly also for many domain-specific languages. More recently, however, web-based…

Software Engineering · Computer Science 2023-07-06 Dominik Bork , Philip Langer , Tobias Ortmayr