Sciweavers

123 search results - page 16 / 25
» ifip 2004
Sort
View
IFIP
2004
Springer
15 years 3 months ago
Multicode Multirate Compact Assignment of OVSF Codes for QoS Differentiated Terminals
—Orthogonal variable spreading factor (OVSF) codes are used in both universal terrestrial radio access–frequency division duplex (UTRA-FDD) and time division duplex (UTRA-TDD) ...
Yang Yang, Tak-Shing Peter Yum
IFIP
2004
Springer
15 years 3 months ago
Pattern-Matching Spi-Calculus
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
Christian Haack, Alan Jeffrey
IFIP
2004
Springer
15 years 3 months ago
Realization of tai-chi motion using a humanoid robot
Even though in recent years research and development of humanoid robots has increased, the major topics of research generally focus on how to make a robot perform specific motions...
Takenori Wama, Masayuki Higuchi, Hajime Sakamoto, ...
IFIP
2004
Springer
15 years 3 months ago
Formal Analysis of a Fair Payment Protocol
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
Jan Cederquist, Muhammad Torabi Dashti
IFIP
2004
Springer
15 years 3 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