6355 search results - page 1181 / 1271 » From Logic to Games |
152
click to vote
ISCA
2008
IEEE
16 years 24 days ago
2008
IEEE
As CMOS technology scales and more transistors are packed on to the same chip, soft error reliability has become an increasingly important design issue for processors. Prior resea...
194
click to vote
SAINT
2008
IEEE
16 years 23 days ago
2008
IEEE
In the ubiquitous computing environment, we believe that P2P-based context-aware application utilizing sensing data is important. However, since sensors are not placed under the c...
198
click to vote
TPHOL
2008
IEEE
16 years 23 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
182
click to vote
GEOS
2007
Springer
16 years 16 days ago
2007
Springer
Spatio-temporal network is defined by a set of nodes, and a set of edges, where the properties of nodes and edges may vary over time. Such networks are encountered in a variety of...
170
click to vote
ICN
2007
Springer
16 years 16 days ago
2007
Springer
—Peer to peer is an important way for files sharing. In existing P2P systems, users need to query and retrieve files, and have to know some knowledge, such as file names, keyword...