English
Related papers

Related papers: Dynamic Package Interfaces - Extended Version

200 papers

Decentralized applications (dApps) consist of smart contracts that run on blockchains and clients that model collaborating parties. dApps are used to model financial and legal business functionality. Today, contracts and clients are written…

Programming Languages · Computer Science 2023-05-16 David Richter , David Kretzler , Pascal Weisenburger , Guido Salvaneschi , Sebastian Faust , Mira Mezini

Deformable object manipulation is a long-standing challenge in robotics. While existing approaches often focus narrowly on a specific type of object, we seek a general-purpose algorithm, capable of manipulating many different types of…

Robotics · Computer Science 2024-05-03 Siwei Chen , Yiqing Xu , Cunjun Yu , Linfeng Li , David Hsu

We introduce an object-oriented framework for parallel programming, which is based on the observation that programming objects can be naturally interpreted as processes. A parallel program consists of a collection of persistent processes…

Programming Languages · Computer Science 2014-04-21 Edward Givelberg

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

Computer-use agents (CUAs) powered by large language models (LLMs) have emerged as a promising approach to automating computer tasks, yet they struggle with the existing human-oriented OS interfaces - graphical user interfaces (GUIs). GUIs…

Operating Systems · Computer Science 2026-03-26 Yuan Wang , Mingyu Li , Haibo Chen

The Distributed object computing is a paradigm that allows objects to be distributed across a heterogeneous network, and allows each of the components to interoperate as a unified whole. A new generation of distributed applications, such as…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-02-18 Usha Batra , Deepak Dahiya , Sachin Bhardwaj

Object-oriented programming has been considered a most promising method in program development and maintenance. An important feature of object-oriented programs (OOPs) is their reusability which can be achieved through the inheritance of…

Programming Languages · Computer Science 2010-06-15 Santosh Kumar Pani , Priya Arundhati

Heterogeneous distributed systems, including the Internet of Things (IoT) or distributed cyber-physical systems (CPS), often suffer a lack of interoperability and security, which hinders the wider deployment of such systems. Specifically,…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-11-21 Dongha Kim , Chanhee Lee , Hokeun Kim

Complex systems are not entirely decomposable, hence interdependences arise at the interfaces in complex projects. When changes occur, significant risks arise at these interfaces as it is hard to identify, manage and visualise the systemic…

Systems and Control · Electrical Eng. & Systems 2024-06-03 Jennifer Whyte , Ranjith Soman , Rafael Sacks , Neda Mohammadi , Nader Naderpajouh , Wei-Ting Hong , Ghang Lee

Understanding or comprehending source code is one of the core activities of software engineering. Understanding object-oriented source code is essential and required when a programmer maintains, migrates, reuses, documents or enhances…

Software Engineering · Computer Science 2016-01-29 Ra'Fat AL-msie'deen

Context. An extension method is a method declared in a package other than the package of its host class. Thanks to extension methods, developers can adapt to their needs classes they do not own: adding methods to core classes is a typical…

Programming Languages · Computer Science 2017-08-08 Guillermo Polito , Camille Teruel , Stéphane Ducasse , Luc Fabresse

Visual localization and mapping is a crucial capability to address many challenges in mobile robotics. It constitutes a robust, accurate and cost-effective approach for local and global pose estimation within prior maps. Yet, in highly…

Computer Vision and Pattern Recognition · Computer Science 2018-07-11 Guoxiang Zhou , Berta Bescos , Marcin Dymczyk , Mark Pfeiffer , José Neira , Roland Siegwart

The fundamental unit of large scale software construction is the component. A component is the fundamental user interface object in Java. Everything you see on the display in a java application is a component. The ability to let users drag…

Software Engineering · Computer Science 2011-03-09 B. Jalender , A. Govardhan , P. Premchand , C. Kiranmai , G. Suresh Reddy

Let $\pi_1=(d_1^{(1)}, \ldots,d_n^{(1)})$ and $\pi_2=(d_1^{(2)},\ldots,d_n^{(2)})$ be graphic sequences. We say they \emph{pack} if there exist edge-disjoint realizations $G_1$ and $G_2$ of $\pi_1$ and $\pi_2$, respectively, on vertex set…

Combinatorics · Mathematics 2021-01-01 Peter L. Erdos , Michael Ferrara , Stephen G. Hartke

The dynamic mode decomposition (DMD) is a simple and powerful data-driven modeling technique that is capable of revealing coherent spatiotemporal patterns from data. The method's linear algebra-based formulation additionally allows for a…

This article focuses on presenting the cooperative tool DIMS, it is a platform that can manage the participants's daily life, by providing flexibility and speed in the organization's tasks. The main interest lies in the possibility of…

Other Computer Science · Computer Science 2009-11-18 Patrick Nourrissier , Sahbi Sidhom

Object queries are essential in information seeking and decision making in vast areas of applications. However, a query may involve complex conditions on objects and sets, which can be arbitrarily nested and aliased. The objects and sets…

Programming Languages · Computer Science 2020-12-25 Yanhong A. Liu , Jon Brandvein , Scott D. Stoller , Bo Lin

JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of the BIP component framework rooted in rigorous operational…

Software Engineering · Computer Science 2017-08-17 Anastasia Mavridou , Valentin Rutz , Simon Bliudze

We propose a conceptual integration of deductive program verification into existing user interfaces for software debugging. This integration is well-represented in the "Debug Adapter Protocol", a widely-used and generic technology to…

Logic in Computer Science · Computer Science 2021-08-09 Gidon Ernst , Johannes Blau , Toby Murray

Programming distributed applications free from communication deadlocks and races is complex. Preserving these properties when applications are updated at runtime is even harder. We present DIOC, a language for programming distributed…

Programming Languages · Computer Science 2015-04-01 Mila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro