3706 search results - page 448 / 742 » System Description: E-KRHyper |
180
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
217
click to vote
MMB
2001
Springer
15 years 11 months ago
2001
Springer
This paper provides a performance evaluation of the TETRAPOL random access protocol. The results are based on a Markovian model which is also presented. The Markovian model is use...
142
click to vote
ICCD
2000
IEEE
15 years 11 months ago
2000
IEEE
When proposing new architectural enhancements, it is also important to account for the hardware complexity. To achieve this goal, we propose to model the new design in a hardware ...
154
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
An effective image reproduction pipeline, spanning image capture, processing and display, must be designed to account for the properties of the human observer. In designing an ima...
141
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper a multijoint robot for sewer inspection tasks is presented. In order to increase the operating scope the robot has been made able to run round or over obstacles, to ...