English
Related papers

Related papers: ZjsComponent: A Pragmatic Approach to Modular, Reu…

200 papers

Recent advancements in AI foundation models have made it possible for them to be utilized off-the-shelf for creative tasks, including ideating design concepts or generating visual prototypes. However, integrating these models into the…

Human-Computer Interaction · Computer Science 2024-06-26 David Chuan-En Lin , Nikolas Martelaro

Service-oriented computing has emerged as the new area to address software as a service. This paper proposes a model for component based development for service-oriented systems and have created best practice guidelines on software…

Software Engineering · Computer Science 2016-09-08 Muthu Ramachandran , T. R. Gopalakrsihnan Nair , R. Selvarani

This experience report presents a model-driven approach to legacy system modernization that inserts an enriched, technology-agnostic intermediate model between the legacy codebase and the modern target platform, and reports on its…

Software Engineering · Computer Science 2026-02-05 Tobias Böhm , Jens Guan Su Tien , Mohini Nonnenmann , Tom Schoonbaert , Bart Carpels , Andreas Biesdorf

The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for…

Logic in Computer Science · Computer Science 2023-02-03 Tobias Kappé , Farhad Arbab , Carolyn Talcott

We propose here to look at how abstract a model of a usable system can be, but still say something useful and interesting, so this paper is an exercise in abstraction and formalisation, with usability-of-design as an example target use. We…

Human-Computer Interaction · Computer Science 2024-03-14 Steve Reeves

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

Designing component-based constraint solvers is a complex problem. Some components are required, some are optional and there are interdependencies between the components. Because of this, previous approaches to solver design and…

Artificial Intelligence · Computer Science 2011-10-31 Ian P. Gent , Chris Jefferson , Lars Kotthoff , Ian Miguel

We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally…

Software Engineering · Computer Science 2021-10-06 Benjamin Lion , Farhad Arbab , Carolyn Talcott

We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally…

Systems and Control · Electrical Eng. & Systems 2022-03-28 Benjamin Lion , Farhad Arbab , Carolyn Talcott

We propose a platform for distributed multimedia applications which simplifies the development process and at the same time ensures application portability, flexibility and performance. The platform is implemented using the Netscape…

Multimedia · Computer Science 2009-08-24 Ovidiu Ratoi , Piroska Haller , Ioan Salomie , Bela Genge

A web application prototype is described, aimed at the generation of synthetic seismograms for user-defined earthquake models. The web application graphical user interface hides the complexity of the underlying computational engine, which…

Geophysics · Physics 2014-07-10 Franco Vaccari

We present a technique for automatically weaving structural invariant checks into an existing collection of classes. Using variations on existing design patterns, we use a concise specification to generate from this collection a new set of…

Programming Languages · Computer Science 2013-01-21 John Lasseter , John Cipriano

The fast-growing Web API landscape brings clients more options than ever before---in theory. In practice, they cannot easily switch between different providers offering similar functionality. We discuss a vision for developing Web APIs…

Software Engineering · Computer Science 2018-03-14 Ruben Verborgh , Michel Dumontier

Multimodality can make (especially mobile) device interaction more efficient. Sensors and communication capabilities of modern smartphones and tablets lay the technical basis for its implementation. Still, mobile platforms do not make…

Human-Computer Interaction · Computer Science 2014-06-13 Andreas Möller , Stefan Diewald , Luis Roalter , Matthias Kranz

Modern frameworks for development of graphical interfaces are using the native controls of the operating system. Because of that they are using operating system events model for inter-component communication. We consider a method to…

Software Engineering · Computer Science 2007-05-23 Vaghinak Petrosyan

In software engineering, a great number of new approaches are being actively researched, and a lot of tools are being developed based on them. These tools require a framework for their creation and an opportunity to be used by potential…

Software Engineering · Computer Science 2021-10-04 Zarina Kurbatova , Yaroslav Golubev , Vladimir Kovalenko , Timofey Bryksin

This paper describes an implemented system which is designed to support the deployment of applications offering distributed services, comprising a number of distributed components. This is achieved by creating high level placement and…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-06-24 Alan Dearle , Graham Kirby , Andrew McCarthy , Juan-Carlos Diaz y Carballo

The rise of Node.js in 2010, followed by frameworks like Angular, React, and Vue.js, has accelerated the growth of low code development platforms. These platforms harness modern UIX paradigms, component-based architectures, and the SaaS…

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

Automatic or assisted workflow composition is a field of intense research for applications to the world wide web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving…

Artificial Intelligence · Computer Science 2007-05-23 Patrick Albert , Laurent Henocque , Mathias Kleiner

This paper introduces Jasper, a web programming framework which allows web applications to be developed in an essentially platform indepedent manner and which is also suited to a formal treatment. It outlines Jasper conceptually and shows…

Software Engineering · Computer Science 2012-12-07 James Smith
‹ Prev 1 3 4 5 6 7 10 Next ›