313 search results - page 44 / 63 » Addressing Moral Problems Through Practical Reasoning |
IASTEDSEA
2004
13 years 9 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
FC
2010
Springer
13 years 11 months ago
2010
Springer
Key management is the Achilles’ heel of cryptography. This work presents a novel Key-Lifecycle Management System (KLMS), which addresses two issues that have not been addressed ...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
We address the problem of estimating controller delay from high-level specifications during behavioral synthesis. Typically, the critical path of a synthesised behavioral design g...
SC
2009
ACM
14 years 2 months ago
2009
ACM
Current visualization tools lack the ability to perform fullrange spatial and temporal analysis on terascale scientific datasets. Two key reasons exist for this shortcoming: I/O ...
SP
2007
IEEE
14 years 1 months ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...