4098 search results - page 449 / 820 » Sound mobility models |
176
click to vote
DATE
2008
IEEE
16 years 2 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...
203
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...
153
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 ...
208
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...
222
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...