1298 search results - page 233 / 260 » Exploring second life |
CSFW
2002
IEEE
14 years 23 days ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
HICSS
2002
IEEE
14 years 23 days ago
2002
IEEE
One trend in day-to-day computing involves moving seamlessly from large powerful workstations to small handheld devices. A second trend is continuous collaboration with colleagues...
ICDCS
2002
IEEE
14 years 23 days ago
2002
IEEE
Data mining systems aim to discover patterns and extract useful information from facts recorded in databases. A widely adopted approach is to apply machine learning algorithms to ...
ISCA
2002
IEEE
14 years 22 days ago
2002
IEEE
Many emerging processor microarchitectures seek to manage technological constraints (e.g., wire delay, power, and circuit complexity) by resorting to nonuniform designs that provi...
SIGECOM
2010
ACM
14 years 19 days ago
2010
ACM
We designed and built the Gates Hillman Prediction Market (GHPM) to predict the opening day of the Gates and Hillman Centers, the new computer science buildings at Carnegie Mellon...