631 search results - page 31 / 127 » Deriving Specifications from Requirements: An Example |
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
FM
2006
Springer
14 years 3 days ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
CVPR
2003
IEEE
14 years 10 months ago
2003
IEEE
We wish to determine the epipolar geometry of a stereo camera pair from image measurements alone. This paper describes a solution to this problem which does not require a parametr...
ESOP
2006
Springer
14 years 3 days ago
2006
Springer
We present a sound and complete method for reasoning about contextual equivalence in the untyped, imperative object calculus of Abadi and Cardelli [1]. Our method is based on bisim...
IMAGING
2000
13 years 9 months ago
2000
Tone reproduction is a key component in image quality and historically tone correction has been performed on a global basis for a given device or image. Several recent investigati...