1147 search results - page 83 / 230 » Termination in language-based systems |
ICCAD
1994
IEEE
14 years 2 months ago
1994
IEEE
{ Mobile and personal communication systems form key market areas for the electronics industry of the nineties. Stringent requirements in terms of
exibility, performance and power...
MOBICOM
1995
ACM
14 years 1 months ago
1995
ACM
In this paper, we describe a simulation environment which is used to examine, validate, and predict the performance of mobile wireless network systems. This simulation environment...
AIML
2006
13 years 11 months ago
2006
We see a systematic set of cut-free axiomatisations for all the basic normal modal logics formed by some combination the axioms d, t, b, 4, 5. They employ a form of deep inference ...
SEBD
2004
13 years 11 months ago
2004
In this paper we give an overview of the coDB semantically well-founded P2P DB system. A network of databases, possibly with different schemas, are interconnected by means of GLAV ...
ICC
2009
IEEE
13 years 7 months ago
2009
IEEE
Land Mobile Satellite (LMS) systems can exploit multiple-input-multiple-output (MIMO) techniques in order to achieve high transmission rates. This paper evaluates theoretically the...