26496 search results - page 45 / 5300 » An Approach to Computing Ethics |
131
Voted
ESANN
2007
15 years 5 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...
99
Voted
IJBC
2007
15 years 3 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...
145
Voted
ICFP
2005
ACM
16 years 3 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...
229
Voted
SRDS
2010
IEEE
15 years 1 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 (...
108
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
