959 search results - page 54 / 192 » Possible and Necessary h-Indices |
HUC
1999
Springer
14 years 1 months ago
1999
Springer
Systems must provide for mobile applications to be aware of the context in which they are being used. This is necessary to permit adaptation to heterogeneity of hosts and networks...
IFIP
1999
Springer
14 years 1 months ago
1999
Springer
We describe a new method for design error diagnosis in digital circuits, that doesn’t use any error model. A diagnostic specific pre-analysis of the circuit extracts a subcircui...
EUROMICRO
1998
IEEE
14 years 1 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
ROBOCUP
1999
Springer
14 years 1 months ago
1999
Springer
- This paper describes the method employed to track and identify each robot during a Robocup match. Also, the playing ball is tracked with almost no extra processing effort. To tra...
ADAEUROPE
1998
Springer
14 years 1 months ago
1998
Springer
This paper describes an automated approach for generating Ada bindings from Java class files. We start with the set of Java features that require a visible Ada binding, and an Ada ...