1302 search results - page 179 / 261 » Soundness in the Public-Key Model |
178
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper considers a network composed of robotic agents and static nodes performing spatial estimation of a dynamic physical processes. The physical process is modeled as a s...
161
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
181
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—In the multi-user MIMO uplink channel, the presence of multiple receive antennas enables the base station to serve a number of users simultaneously, thus increasing over...
135
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
188
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...