A systematic review on the engineering of software for ubiquitous systems

AS Guinea, G Nain, Y Le Traon - Journal of Systems and Software, 2016 - Elsevier
Context: Software engineering for ubiquitous systems has experienced an important and
rapid growth, however the vast research corpus makes it difficult to obtain valuable …

Conversational Concurrency

T Garnock-Jones - arXiv preprint arXiv:2409.04055, 2024 - arxiv.org
Concurrent computations resemble conversations. In a conversation, participants direct
utterances at others and, as the conversation evolves, exploit the known common context to …

Tuple-based coordination in large-scale situated systems

R Casadei, M Viroli, A Ricci, G Audrito - International Conference on …, 2021 - Springer
Abstract Space and time are key elements for many computer-based systems and often
elevated to first-class abstractions. In tuple-based coordination, Linda primitives have been …

A CAPable distributed programming model

F Myter, C Scholliers, W De Meuter - … on New Ideas, New Paradigms, and …, 2018 - dl.acm.org
Developers of modern distributed systems continuously face the impossibility result proved
by the CAP theorem. In a nutshell, the theorem states that a partition-tolerant system can …

Programming and reasoning about actors that share state

SAM CALDWELL, T GARNOCK-JONES… - Journal of Functional …, 2024 - cambridge.org
Actor languages realize concurrency via message passing, which most of the time is easy to
use. Empirical code inspection provides evidence, however, that on occasion, programmers …

Rancang Bangun Aplikasi Pendataan Sensus Ekonomi Berbasis Mobile

C Prianto, N Lutfiasih - JUMANJI (Jurnal Masyarakat …, 2019 - jumanji.unjani.ac.id
Abstract Badan Pusat Statistik (BPS) merupakan sebuah institusi pemerintah yang
mempunyai hak untuk melakukan kegiatan statistik yaitu berupa sensus dan survei. BPS …

Programming urban-area applications by exploiting public transportation

D Harnie, EG Boix, T D'hondt, WD Meuter - ACM Transactions on …, 2014 - dl.acm.org
The evolution of smartphones has given rise to urban-area applications: applications that
communicate in a city by means of the public (moving) infrastructure (eg, buses and trams) …

Reasoning About Actors that Share State

S Caldwell - 2023 - search.proquest.com
Concurrent programming is notoriously difficult. That challenge has prompted researchers to
investigate approaches to organizing and understanding concurrent behavior. The recent …

Automated Replication of Tuple Spaces via Static Analysis and Transformation of Go Programs

A Uwimbabazi - 2022 - iris.gssi.it
Coordination languages for the tuple spaces can o er significant advantages in the
specification and implementation of distributed systems. Replication can further improve the …

Collective adaptive systems as coordination media: the case of tuples in space-time

R Casadei, M Viroli, A Ricci - 2020 IEEE International …, 2020 - ieeexplore.ieee.org
Coordination is a fundamental problem in the engineering of collective adaptive systems
(CAS). Prominent approaches in this context promote adaptivity and collective behaviour by …