293 search results - page 1 / 59 » From Systems to Components: Constructive Methods for Product... |
QEST
2010
IEEE
13 years 2 months ago
2010
IEEE
FORTE
2009
13 years 2 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
ESEC
1999
Springer
13 years 9 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
WOSP
2010
ACM
13 years 11 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
3DIM
1997
IEEE
13 years 9 months ago
1997
IEEE
In this article we present a method for automatically constructing a solid (in the CAD sense) model of an unknown object from range images. The model acquisition system provides f...