1368 search results - page 201 / 274 » Personality-Based Practical Reasoning |
137
click to vote
DAC
2007
ACM
15 years 6 months ago
2007
ACM
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...
108
click to vote
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
106
click to vote
ICEGOV
2007
ACM
15 years 6 months ago
2007
ACM
Electronic Governance (e-Governance) has received a tremendous interest world over. Significant amount of money is being put into making e-Governance a reality. A number of Projec...
119
click to vote
ADC
2004
Springer
15 years 6 months ago
2004
Springer
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...