Sciweavers

22560 search results - page 106 / 4512
» Development of Transportation Systems
Sort
View
VTC
2007
IEEE
15 years 10 months ago
Q-Learning-based Hybrid ARQ for High Speed Downlink Packet Access in UMTS
Abstract-In this paper, a Q-learning-based hybrid automatic repeat request (Q-HARQ) scheme is proposed to achieve efficient resource utilization for high speed downlink packet acc...
Chung-Ju Chang, Chia-Yuan Chang, Fang-Ching Ren
FLAIRS
2007
15 years 6 months ago
The Optimisation of Unitising Designs
This paper describes the design and development of an application used to determine the most suitable way in which to pack a large quantity of small manufactured product items ont...
Andrew Shewring, Hans W. Guesgen
CCS
2008
ACM
15 years 6 months ago
Cryptographically verified implementations for TLS
We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the T...
Karthikeyan Bhargavan, Cédric Fournet, Rica...
SASO
2010
IEEE
15 years 2 months ago
Experience Report in Developing and Applying a Method for Self-Organisation to Agile Manufacturing
The design and implementation of distributed, self-organising and self-adaptive systems are challenging. In this article we report on our experience gained during the development o...
Giovanna Di Marzo Serugendo, Regina Frei
VTC
2007
IEEE
113views Communications» more  VTC 2007»
15 years 10 months ago
A Data Dissemination Strategy for Cooperative Vehicular Systems
— Cooperative systems in transportation can bring new intelligence for vehicles, roadside systems, operators and individuals by creating a communications platform allowing vehicl...
Olivia Brickley, Chong Shen, Martin Klepal, Amir T...