English
Related papers

Related papers: Reasoning About a Service-oriented Programming Par…

200 papers

Elder people are becoming a predominant aspect of our societies. As such, solutions both efficacious and cost-effective need to be sought. This paper proposes a service-oriented infrastructure approach to this problem. We propose an open…

Computers and Society · Computer Science 2014-01-16 Ning Gui , Vincenzo De Florio , Hong Sun , Chris Blondia

We describe a system for serverless computing where users, programs, and the underlying platform share a common representation of a computation: a deterministic procedure, run in an environment of well-specified data or the outputs of other…

Operating Systems · Computer Science 2025-11-04 Yuhan Deng , Akshay Srivatsan , Sebastian Ingino , Francis Chua , Yasmine Mitchell , Matthew Vilaysack , Keith Winstein

The focus of these lecture notes is on abstract models and basic ideas and results that relate to the operational semantics of programming languages largely conceived. The approach is to start with an abstract description of the computation…

Programming Languages · Computer Science 2025-10-15 Roberto M. Amadio

I propose an applications-first approach for adjusting how parallel and distributed computing concepts are incorporated into curricula. By focusing on practical applications that leverage parallelism and distributed systems, this approach…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-17 Michelle Strout

This paper describes the design principles of methodology of knowledge-oriented information systems based on ontological approach. Such systems implement technology subject-oriented extraction of knowledge from the set of natural language…

Artificial Intelligence · Computer Science 2018-02-21 A. V. Palagin , N. G. Petrenko , V. Yu. Velychko , K. S. Malakhov , O. V. Karun

Most current mobile agent systems are based on programming languages whose semantics are difficult to prove correct as they lack an adequate underlying formal theory. In recent years, the development of the theory of concurrent systems,…

Programming Languages · Computer Science 2008-10-27 Herve Paulino , Luis Lopes

Programming languages development has intensified in recent years. New ones are created; new features, often cross-paradigm, are featured in old ones. This new programming landscape makes language selection a more complex decision, both…

Software Engineering · Computer Science 2020-10-19 Laura M. Castro

A major driver behind the success of modern machine learning algorithms has been their ability to process ever-larger amounts of data. As a result, the use of distributed systems in both research and production has become increasingly…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-06-10 Fan Yang , Gabriel Barth-Maron , Piotr Stańczyk , Matthew Hoffman , Siqi Liu , Manuel Kroiss , Aedan Pope , Alban Rrustemi

The paper, based on authors' experience from several distributed systems integration projects, summarizes briefly practical designer's view on methodological requirements and overall system organization, including clues as to the…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-07-04 Jerzy Mieścicki , Wiktor B. Daszczuk , Waldemar Grabski , Artur Krystosik

Sequential programming and work-flow programming are two useful, but radically different, ways of describing computational processing. Of the two, it is sequential programming that we teach all programmers and support by programming…

Programming Languages · Computer Science 2011-08-24 William Harrison

Logic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact notation of functional programming, there are various proposals to map evaluable…

Programming Languages · Computer Science 2022-05-17 Michael Hanus

Cloud computing is a recent paradigm based around the notion of delivery of resources via a service model over the Internet. Despite being a new paradigm of computation, cloud computing owes its origins to a number of previous paradigms.…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-06-07 Jonathan Stuart Ward , Adam Barker

In this paper we describe the architecture of a Platform as a Service (PaaS) oriented to computing and data analysis. In order to clarify the choices we made, we explain the features using practical examples, applied to several known usage…

Microservice and serverless computing systems open up massive versatility and opportunity to distributed and datacenter-scale computing. In the meantime, the deployments of modern datacenter resources are moving to disaggregated…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-04-26 Xiaoyi Lu , Arjun Kashyap

An empirical study was conducted to analyse design strategies and knowledge used in object-oriented software design. Eight professional programmers experienced with procedural programming languages and either experienced or not experienced…

Human-Computer Interaction · Computer Science 2016-08-16 Françoise Détienne

The Logic Programming through Prolog has been widely used for supply persistence in many systems that need store knowledge. Some implementations of Prolog Programming Language used for supply persistence have bidirectional interfaces with…

Programming Languages · Computer Science 2017-05-02 José E. Zalacain Llanes

Early advances in the field of quantum computing have provided new opportunities to tackle intricate problems in areas as diverse as mathematics, physics, or healthcare. However, the technology required to construct such systems where…

Software Engineering · Computer Science 2024-05-08 Enrique Moguel , Jose Garcia-Alonso , Majid Haghparast , Juan M. Murillo

Object-oriented programming (OOP) is aimed at describing the structure and behaviour of objects by hiding the mechanism of their representation and access in primitive references. In this article we describe an approach, called…

Programming Languages · Computer Science 2010-09-28 Alexandr Savinov

As multi-agent LLM pipelines grow in complexity, existing serving paradigms fail to adapt to the dynamic serving conditions. We argue that agentic serving systems should be programmable and system-aware, unlike existing serving which…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-07 Saurabh Agarwal , Marco Laju , Jayanth Srinivasa , Myungjin Lee , Aditya Akella

In Method Engineering (ME) science, the key issue is the consideration of information system development methods as fragments. Numerous ME approaches have produced several definitions of method parts. Different in nature, these fragments…

Software Engineering · Computer Science 2009-11-04 Rebecca Deneckere , Adrian Iacovelli , Elena Kornyshova , Carine Souveyet
‹ Prev 1 4 5 6 7 8 10 Next ›