81 search results - page 13 / 17 » Trading computing power with ReGTime |
CADE
1998
Springer
14 years 3 days ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
VLSID
2006
IEEE
14 years 8 months ago
2006
IEEE
SoC design methodologies are under constant revision due to adoption of fast shrinking process technologies at nanometer levels. Nanometer process geometries exhibit new complex d...
EWSN
2008
Springer
14 years 7 months ago
2008
Springer
Sensors networks instrument the physical space using motes that run network embedded programs thus acquiring, processing, storing and transmitting sensor data. The motes commercial...
WIMOB
2008
IEEE
14 years 2 months ago
2008
IEEE
—Cross-layer design has been proposed as a promising paradigm to tackle various problems of wireless communication systems. Recent research has led to a variety of protocols that...
DEXAW
2005
IEEE
14 years 1 months ago
2005
IEEE
A peer-to-peer complementary currency can be a powerful tool for promoting exchanges that make use of underutilized computing resources in a trusted way. i-WAT[11] is a proposed s...