Sciweavers

6740 search results - page 1086 / 1348
» Using Classification as a Programming Language
Sort
View
IFIP
2004
Springer
15 years 12 months ago
GPS-Based Route Discovery Algorithms for On-Demand Routing Protocols in MANETs
Abstract. This papers presents new Global Positioning System (GPS)based route discovery algorithms for on-demand routing in MANETs, called Position-based Selective Flooding (PSF). ...
Mehran Abolhasan, Tadeusz A. Wysocki
IFIP
2004
Springer
15 years 12 months ago
BER Estimation for HiperLAN/2
This paper presents a method to estimate the bit error rate (BER) of the wireless channel based on statistical analysis of the soft output of the receiver only. In HiperLAN/2 sever...
Lodewijk T. Smit, Gerard J. M. Smit, Johann Hurink...
IFIP
2004
Springer
15 years 12 months ago
Ensuring Termination by Typability
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
Yuxin Deng, Davide Sangiorgi
CP
2003
Springer
15 years 11 months ago
Box Constraint Collections for Adhoc Constraints
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey
IFIP
2003
Springer
15 years 11 months ago
Testing Mobile Wireless Applications
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
Ichiro Satoh
« Prev « First page 1086 / 1348 Last » Next »