1349 search results - page 163 / 270 » Towards a theory of events |
HYBRID
1995
Springer
14 years 1 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
ENTCS
2007
13 years 10 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
INFFUS
2010
13 years 8 months ago
2010
This paper introduces design principles for modular Bayesian fusion systems which can (i) cope with large quantities of heterogeneous information and (ii) can adapt to changing co...
SSS
2010
Springer
13 years 8 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
HUC
2009
Springer
13 years 7 months ago
2009
Springer
We present two studies of participatory sensing in the wild, in which groups of young people used sensors to collect environmental data along with contextual information such as p...