Organizing the aggregate: Languages for spatial computing
As the number of computing devices embedded into engineered systems continues to rise,
there is a widening gap between the needs of the user to control aggregates of devices and …
there is a widening gap between the needs of the user to control aggregates of devices and …
A higher-order calculus of computational fields
The complexity of large-scale distributed systems, particularly when deployed in physical
space, calls for new mechanisms to address composability and reusability of collective …
space, calls for new mechanisms to address composability and reusability of collective …
Adaptive distributed monitors of spatial properties for cyber–physical systems
Cyber–physical systems increasingly feature highly-distributed and mobile deployments of
devices spread over large physical environments: in these contexts, it is generally very …
devices spread over large physical environments: in these contexts, it is generally very …
Current trends and future research directions for interactive music
M Toro - arXiv preprint arXiv:1810.04276, 2018 - arxiv.org
In this review, it is explained and compared different software and formalisms used in music
interaction: sequencers, computer-assisted improvisation, meta-instruments, score …
interaction: sequencers, computer-assisted improvisation, meta-instruments, score …
Aggregate processes as distributed adaptive services for the industrial internet of things
Abstract The Industrial Internet of Things (IIoT) promises to bring many benefits, including
increased productivity, reduced costs, and increased safety to new generation …
increased productivity, reduced costs, and increased safety to new generation …
PALOMA: A process algebra for located markovian agents
C Feng, J Hillston - International Conference on Quantitative Evaluation of …, 2014 - Springer
We present a novel stochastic process algebra that allows the expression of models
representing systems comprised of populations of agents distributed over space, where the …
representing systems comprised of populations of agents distributed over space, where the …
A calculus of computational fields
A number of recent works have investigated the notion of “computational fields” as a means
of coordinating systems in distributed, dense and mobile environments such as pervasive …
of coordinating systems in distributed, dense and mobile environments such as pervasive …
Spatial P systems
We present Spatial P systems, a variant of P systems which embodies the concept of space
and position inside a membrane. Objects in membranes are associated with positions …
and position inside a membrane. Objects in membranes are associated with positions …
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
We present a vision of distributed system coordination as a set of activities affecting the
space-time fabric of interaction events. In the tuple space setting that we consider …
space-time fabric of interaction events. In the tuple space setting that we consider …
From P systems to morphogenetic systems: an overview and open problems
Morphogenetic (M) systems are an abstract model of computation inspired by
morphogenetic processes in living cells and organisms. They were created as a …
morphogenetic processes in living cells and organisms. They were created as a …