Sciweavers

17129 search results - page 305 / 3426
» Applied Computing
Sort
View
TGC
2007
Springer
16 years 22 days ago
Computational Soundness of Equational Theories (Tutorial)
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
Steve Kremer
CIG
2006
IEEE
16 years 21 days ago
ChessBrain II - A Hierarchical Infrastructure for Distributed Inhomogeneous Speed-Critical Computation
—The ChessBrain project currently holds an official Guinness World Record for the largest number of computers used to play one single game of chess. In this paper, we cover the l...
Colin Frayn, Carlos Justiniano, Kevin Lew
BIRTHDAY
2010
Springer
15 years 6 months ago
From the Internet of Computers to the Internet of Things
Abstract. This paper1 discusses the vision, the challenges, possible usage scenarios and technological building blocks of the "Internet of Things". In particular, we cons...
Friedemann Mattern, Christian Floerkemeier
COMPUTER
2010
68views more  COMPUTER 2010»
15 years 4 months ago
Parallelism via Multithreaded and Multicore CPUs
Angela C. Sodan, Jacob Machina, Arash Deshmeh, Kev...
107
Voted
COMPUTER
2010
78views more  COMPUTER 2010»
15 years 4 months ago
Advancing the Design of Technology-Mediated Social Participation Systems
E. H. Chi, S. Munson, G. Fischer, S. Vieweg, C. Pa...