Sciweavers

5550 search results - page 796 / 1110
» Different Approaches to Proof Systems
Sort
View
VTC
2006
IEEE
16 years 26 days ago
Semi-Analytical Model of Interference in CDMA-TDD Using Random Time Slot Hopping
— In this paper, a semi-analytical approach for the performance analysis of the random time slot (TS) hopping (RTSH) algorithm applied to code division multiple access time divis...
Ellina Foutekova, Christine Evers, Harald Haas
180
Voted
CCGRID
2005
IEEE
16 years 15 days ago
GangSim: a simulator for grid scheduling studies
Large distributed Grid systems pose new challenges in job scheduling due to complex workload characteristics and system characteristics. Due to the numerous parameters that must b...
Catalin Dumitrescu, Ian T. Foster
209
Voted
WMTE
2005
IEEE
16 years 13 days ago
Supporting Pervasive Learning Environments: Adaptability and Context Awareness in Mobile Learning
In the mobile learning context, it is helpful to consider context awareness and adaptivity as two sides of the same coin. The purpose of the adaptivity and context awareness is to...
Antti Syvänen, Russell Beale, Mike Sharples, ...
SIGIR
2005
ACM
16 years 13 days ago
Using query term order for result summarisation
We report on two experiments performed to test the importance of Term Order in automatic summarisation. Experiment one was undertaken as part of DUC 2004 to which three systems we...
Shao Fen Liang, Siobhan Devlin, John Tait
218
Voted
PROMAS
2005
Springer
16 years 10 days ago
Organization and Mobility in Mobile Agent Computing
Abstract. A mobile agent system for organizing multiple mobile agents is presented. It provides two unique two mechanisms for dynamically organizing mobile agents, which may be run...
Ichiro Satoh