5577 search results - page 326 / 1116 » E2K Technology and Implementation |
223
click to vote
CADE
1998
Springer
15 years 11 months 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 ...
155
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— A CP-assisted (Cyclic Prefix) block transmission is widely accepted as a good choice for future mobile systems, taking advantage of low-cost, flexible, FFT-based (Fast Fourie...
205
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The ability to measure end-to-end Available Bandwidth (AB) on a network path is useful in several domains, including overlay-routing infrastructure, network monitoring,...
190
click to vote
RTAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...
185
click to vote
APSEC
2006
IEEE
16 years 24 days ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...