780 search results - page 116 / 156 » Compositional Quantitative Reasoning |
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
The development of national broadband infrastructures has been recognized as an important part of the vision of the information society, as well as of the modernization of the pub...
ICDE
2007
IEEE
14 years 2 months ago
2007
IEEE
Three dimensional motion capture facility is a powerful tool for quantitative and qualitative assessment of multijoint external movements. Electro-myograph (EMG) signals give the ...
ISVLSI
2007
IEEE
14 years 2 months ago
2007
IEEE
Although RTL power macromodeling is a mature research topic, it is not yet broadly accepted in the industrial environment. One of the main reasons impairing its widespread use as ...
SRDS
2007
IEEE
14 years 2 months ago
2007
IEEE
Various intrusion tolerant certification authority (CA) systems have been recently proposed to provide attack resistant certificate update/query services. However, it is difficult...
KES
2007
Springer
14 years 2 months ago
2007
Springer
According to widely accepted guidelines for self-regulation, the capital requirements of a bank should relate to the level of risk with respect to three different categories. Amon...