631 search results - page 22 / 127 » Deriving Specifications from Requirements: An Example |
TC
1998
13 years 8 months ago
1998
Data integrity policies often require that quality and integrity metadata be generated and communicated to potential users. However, in data warehouses, federations, and other mul...
FMCAD
2000
Springer
13 years 10 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
TROB
2008
13 years 6 months ago
2008
In this paper, we address the problem of determining the 2D relative pose of pairs of communicating robots from (i) robot-to-robot distance measurements and (ii) displacement estim...
CASES
2007
ACM
13 years 10 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
ICIP
2009
IEEE
13 years 4 months ago
2009
IEEE
In this paper, we introduce a method to estimate the object's pose from multiple video cameras. We derive a centralized solution to pose estimation from multiple video camera...