26496 search results - page 45 / 5300 » An Approach to Computing Ethics |
80
Voted
ESANN
2007
14 years 11 months ago
2007
Discovering interdependencies and causal relationships is one of the most relevant challenges raised by the information era. As more and better data become available, there is an u...
62
Voted
IJBC
2007
14 years 9 months ago
2007
f of the underlying abstract theorem avoids of referring to any results of applied algebraic topology and relies only on the Brouwer fixed point theorem. The second novelty is tha...
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
144
click to vote
SRDS
2010
IEEE
14 years 7 months ago
2010
IEEE
Entities (e.g., users, services) have to authenticate themselves to service providers (SPs) in order to use their services. An entity provides personally identifiable information (...
72
Voted
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
