11172 search results - page 666 / 2235 » Testing Physical Systems |
206
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— The joint cooperative processing of transmitted signal from several multiple-input multiple-output (MIMO) base station (BS) antenna heads is considered for users located within...
246
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 ...
228
Voted
CIKM
2004
Springer
15 years 11 months ago
2004
Springer
With the tremendous growth of system memories, memoryresident databases are increasingly becoming important in various domains. Newer memories provide a structured way of storing ...
220
click to vote
ACMICEC
2008
ACM
15 years 9 months ago
2008
ACM
This paper focuses on the problem of how to allow sharing of copyrighted content between a set of authorised devices and preventing unauthoried copying of content to other devices...
322
Voted
SYRCODIS
2008
15 years 8 months ago
2008
In the last few years, XML became a de-facto standard for the exchange of structured and semi-structured data. The database research community took this development into account b...