Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Distributed Runtime Verification by Aggregate Computing   Runtime verification is a computing analysis paradigm based on observing a
system at runtime (to check its expected behaviour) by means of monitors
generated from formal specifications. Distributed runtime verification is
runtime verification in connection with distributed systems: it comprises both
monitoring of distributed systems and using distributed systems for monitoring.
Aggregate computing is a programming paradigm based on a reference computing
machine that is the aggregate collection of devices that cooperatively carry
out a computational process: the details of behaviour, position and number of
devices are largely abstracted away, to be replaced with a space-filling
computational environment. In this position paper we argue, by means of simple
examples, that aggregate computing is particularly well suited for implementing
distributed monitors. Our aim is to foster further research on how to generate
aggregate computing monitors from suitable formal specifications.

18
The categories of this paper are: econ
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
22
The categories of this paper are: chao-dyn
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
27
The categories of this paper are: comp-gas
31
The categories of this paper are: ao-sci
17
The categories of this paper are: q-fin
14
The categories of this paper are: math-ph
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc
15
The categories of this paper are: nucl-ex
16
The categories of this paper are: stat
35
The categories of this paper are: mtrl-th
6
The categories of this paper are: astro-ph