12774 search results - page 2221 / 2555 » A Framework for Proof Systems |
187
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
161
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Operating rooms are regarded as the most costly hospital facilities. Due to rising costs and decreasing reimbursements, it is necessary to optimize the efficiency of the operating...
161
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This study examines the effect of Indonesia’s telecommunications policy on Internet access and the digital divide. The study finds that current government policy had minimal imp...
198
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— We consider the problem of joint end-to-end rate optimization and radio resource management in wireless OFDMA-based mesh networks. Radio units equipped with multiple radio inte...
160
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— An experimental design approach is used to determine which factors (design parameters) of Spectrally Modulated, Spectrally Encoded (SMSE) waveforms have the greatest im...