2123 search results - page 359 / 425 » Composition of Cyber-Physical Systems |
95
Voted
LCTRTS
2010
Springer
15 years 7 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
109
Voted
ISVC
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we present a system for performing real-time occlusion-aware interactions in a mixed reality environment. Our system consists of 16 ceiling-mounted cameras observing...
APLAS
2006
ACM
15 years 6 months ago
2006
ACM
Abstract. The Scheme language report advocates language design as the composition of a small set of orthogonal constructs, instead of a large accumulation of features. In this pape...
114
click to vote
MPC
2010
Springer
15 years 5 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
91
Voted
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...