Sciweavers

2482 search results - page 301 / 497
» Characterizing Programming Systems Allowing Program Self-ref...
Sort
View
VTC
2007
IEEE
129views Communications» more  VTC 2007»
15 years 8 months ago
Hybrid Model of Least Squares Handover Algorithms in Wireless Networks
Abstract— An adaptive handover algorithm for wireless comn systems is addressed in this extended abstract. Moving from the Generalized Extended Least Square handover algorithm in...
Claudia Rinaldi, Fortunato Santucci, Carlo Fischio...
89
Voted
UM
2005
Springer
15 years 8 months ago
Temporal Blurring: A Privacy Model for OMS Users
Stereotypes and clustering are some techniques for creating user models from user behavior. Yet, they possess important risks as users actions could be misinterpreted or users coul...
Rosa Alarcón, Luis A. Guerrero, José...
ICALP
2004
Springer
15 years 7 months ago
Towards an Algebraic Theory of Typed Mobile Processes
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
Yuxin Deng, Davide Sangiorgi
SIGIR
2003
ACM
15 years 7 months ago
The MIND Architecture for Heterogeneous Multimedia Federated Digital Libraries
Abstract. In this paper we describe the architecture of the MIND system for federating multimedia digital libraries. MIND integrates heterogeneous, multimedia non-co-operating digi...
Henrik Nottelmann, Norbert Fuhr
ICFP
2005
ACM
16 years 2 months ago
A step-indexed model of substructural state
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
Amal J. Ahmed, Matthew Fluet, Greg Morrisett