4434 search results - page 738 / 887 » On the Composition of Hybrid Systems |
170
click to vote
ENTCS
2010
15 years 6 months ago
2010
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
180
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: New analysis methods are being developed to integrate data from transcriptome, proteome, interactome, metabolome, and other investigative approaches. At the same time,...
191
click to vote
CVGIP
2006
15 years 6 months ago
2006
In this paper, we detail an anatomically inspired, physically based model of the human torso designed for the visual simulation of respiration using a mixed system of rigid and de...
157
click to vote
JAR
2008
15 years 6 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
190
click to vote
JWSR
2006
15 years 6 months ago
2006
Web/Gridservices'metadataandsemanticsarebecomingincreasingimportantforservicesharing and effective reuse. In this paper we present a generic framework for engineering and man...