Organizing the aggregate: Languages for spatial computing

J Beal, S Dulman, K Usbeck, M Viroli… - Formal and practical …, 2013‏ - igi-global.com
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 …

Space–time programming

J Beal, M Viroli - … Transactions of the Royal Society A …, 2015‏ - royalsocietypublishing.org
Computation increasingly takes place not on an individual device, but distributed throughout
a material or environment, whether it be a silicon surface, a network of wireless devices, a …

Self-adaptation to device distribution in the internet of things

J Beal, M Viroli, D Pianini, F Damiani - ACM Transactions on …, 2017‏ - dl.acm.org
A key problem when coordinating the behaviour of spatially situated networks, like those
typically found in the Internet of Things (IoT), is adaptation to changes impacting network …

A calculus of computational fields

M Viroli, F Damiani, J Beal - Advances in Service-Oriented and Cloud …, 2013‏ - Springer
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 …

Training students to work effectively in partially distributed teams

R Ocker, MB Rosson, D Kracaw, SR Hiltz - ACM Transactions on …, 2009‏ - dl.acm.org
Information technology teams are often partially distributed teams (PDTs). A PDT consists of
two or more subteams that are separated geographically. This articles describes research …

[PDF][PDF] Analysis of non-stationary flow interaction with simple form objects

I Tipans, J Viba, M Irbe, SK Vutukuru - 2019‏ - dspace.emu.ee
The paper is devoted to the analysis of a non-stationary rigid body interaction in a fluid flow.
Initially, an approximate method for determining the forces due to fluid interaction with the …

Self-adaptation to device distribution changes

J Beal, M Viroli, D Pianini… - 2016 IEEE 10th …, 2016‏ - ieeexplore.ieee.org
A key problem when coordinating the behaviour of devices in situated networks (eg,
pervasive computing, smart cities, Internet of Things, wireless sensor networks) is adaptation …

[PDF][PDF] Towards a unified model of spatial computing

J Beal, M Viroli, F Damiani - 7th Spatial Computing Workshop …, 2014‏ - spatial-computing.org
In spatial computing, there is a fundamental tension between discrete and continuous
models of computation: computational devices are generally discrete, yet it is often useful to …

Operational semantics of Proto

M Viroli, J Beal, K Usbeck - Science of Computer Programming, 2013‏ - Elsevier
The Proto spatial computing language in Beal and Bachrach (2006)[1] simplifies the creation
of scalable, robust, distributed programs by abstracting a network of locally communicating …

F-calculus: A universal programming language of self-stabilizing computational fields

Y Nishiwaki - 2016 IEEE 1st International Workshops on …, 2016‏ - ieeexplore.ieee.org
This paper proposes a new programming language F-calculus (digamma-calculus). F-
calculus is an effective tool to construct self-stabilizing computational fields. A computational …