12981 search results - page 2567 / 2597 » Model Checking (Abstract) |
JOT
2008
14 years 9 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
JSAC
2008
14 years 9 months ago
2008
Abstract--In a downlink Orthogonal Frequency Division Multiple Access (OFDMA) system, optimally allocating sub-channels across mobile users can require excessive feedback of channe...
JSAC
2008
14 years 9 months ago
2008
Abstract--Applications involving the dissemination of information directly relevant to humans (e.g., service advertising, news spreading, environmental alerts) often rely on publis...
JCM
2006
14 years 9 months ago
2006
Abstract--One of the major challenges for the nextgeneration mobile systems is related to efficient mobility management issue. In this paper, we propose a new micromobility managem...
JCST
2006
14 years 9 months ago
2006
Abstract A framework for dialectal Chinese speech recognition is proposed and studied, in which a relatively small dialectal Chinese (or in other words Chinese influenced by the na...