Sciweavers

1147 search results - page 81 / 230
» Termination in language-based systems
Sort
View
VTC
2007
IEEE
130views Communications» more  VTC 2007»
14 years 4 months ago
Cross-Correlation Analysis of Generalized Distributed Antenna Systems with Cooperative Diversity
— In this paper, geometry-based channel models are proposed to describe the topology of generalized distributed antenna systems with cooperative diversity (GDAS-CD). The system a...
Yifan Chen, Chau Yuen, Yan Zhang, Zhenrong Zhang
SAINT
2005
IEEE
14 years 3 months ago
Design and Evaluation of a Location-Based Virtual City System for Mobile Phones
We are developing a virtual city system with a model that consists of virtual architectural objects and virtual creatures, geographically overlaid onto the real world. People who ...
Hiroyuki Tarumi, Seiko Tokuda, Tomohiro Yasui, Kaz...
ICC
2000
IEEE
143views Communications» more  ICC 2000»
14 years 2 months ago
An Analytical Approach for Closed-Loop Power Control Error Estimations in CDMA Cellular Systems
—This paper proposes an analytical study which aims at evaluating the received power statistics in DS-CDMA cellular systems which use a closed-loop power control scheme to compen...
Andrea Abrardo, Giuliano Benelli, Giovanni Giamben...
ECOOPWEXCEPTION
2000
Springer
14 years 1 months ago
A Fully Object-Oriented Exception Handling System: Rationale and Smalltalk Implementation
This paper motivates and presents the specification and the implementation of an exception handling system for an dynamically typed object-oriented language. A full object-oriented...
Christophe Dony
CTRS
1987
14 years 1 months ago
Confluence of Conditional Rewrite Systems
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar