811 search results - page 52 / 163 » Integrating Formal Description Techniques |
WETICE
2006
IEEE
14 years 3 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
ATAL
2006
Springer
14 years 1 months ago
2006
Springer
Hybrid architectures have been developed to preserve the responsiveness of reactive layers while also providing the benefits of higher level deliberative capabilities. The challen...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
This paper describes a systematic approach that facilitates yield improvement of integrated circuits at the post-manufacture stage. A new Configurable Analogue Transistor (CAT) st...
SIGGRAPH
1989
ACM
14 years 2 months ago
1989
ACM
We analyse some recent approaches to the global illumination problem by introducing the corresponding reflection operators, and we demonstrate the advantages of a two-pass method....
JIRS
2006
13 years 10 months ago
2006
The paper considers a technique for computation of the inverse kinematic model of the human arm. The approach is based on measurements of the hand position and orientation as well ...