2123 search results - page 26 / 425 » Composition of Cyber-Physical Systems |
DEDS
2008
13 years 9 months ago
2008
The paper addresses the problem of designing a component that combined with a known part of a system, called the context FSM, is a reduction of a given specification FSM. We study...
PE
2000
Springer
13 years 9 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
CVPR
2007
IEEE
14 years 11 months ago
2007
IEEE
Recent work in matting, hole filling, and compositing allows image elements to be mixed in a new composite image. Previous algorithms for matting foreground elements have assumed ...
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
CONCUR
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...