2123 search results - page 308 / 425 » Composition of Cyber-Physical Systems |
125
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
151
Voted
FMICS
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
156
click to vote
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
Image smoothing, segmentation and registration are three key processing steps in many computer vision applications. In this paper, we present a novel framework for achieving all t...
107
click to vote
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper ...
121
click to vote
ICIW
2007
IEEE
15 years 8 months ago
2007
IEEE
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...