2123 search results - page 190 / 425 » Composition of Cyber-Physical Systems |
173
click to vote
FOSSACS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
241
click to vote
WAC
2004
Springer
15 years 12 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
160
click to vote
SBP
2010
Springer
15 years 10 months ago
2010
Springer
We propose a dynamical systems model that captures the daily fluctuations of human weight change, incorporating both physiological and psychological factors. The model consists of...
197
click to vote
ISMIR
2000
Springer
15 years 10 months ago
2000
Springer
Active musicians generally rely on extensive personal paper-based music information retrieval systems containing scores, parts, compositions, and arrangements of published and han...
177
click to vote
FORTE
1993
15 years 8 months ago
1993
In this paper, we propose an incremental construction approach for distributed system specifications. These specifications are structured as a parallel composition of subsystem sp...