3108 search results - page 323 / 622 » The Elements of Computer Credibility |
170
click to vote
IEEEARES
2006
IEEE
16 years 21 days ago
2006
IEEE
We present a new approach to integrated security and dependability evaluation, which is based on stochastic modelling techniques. Our proposal aims to provide operational measures...
148
click to vote
ISCAS
2006
IEEE
16 years 20 days ago
2006
IEEE
- The novel CORDIC-based architecture of the these weights (combiner unit). The implementation of the Triangular Systolic Array for QRD of large size complex combiner unit is rathe...
186
click to vote
LAWEB
2006
IEEE
16 years 20 days ago
2006
IEEE
This work describes an approach for the semi-automatic learning object metadata markup of course’s web pages and their posterior extraction into Scorm Packages. This is identifi...
154
click to vote
TPHOL
2006
IEEE
16 years 20 days ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
182
click to vote
CEC
2005
IEEE
16 years 8 days ago
2005
IEEE
AbstractSelf-Assembly is a powerful autopoietic mechanism ubiquitous throughout the natural world. It may be found at the molecular scale and also at astronomical scales. Self-asse...