963 search results - page 125 / 193 » Types for Mobile Ambients |
ICFP
2005
ACM
14 years 9 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
CHI
2002
ACM
14 years 9 months ago
2002
ACM
In a ten-session experiment, six participants practiced typing with an expanding rehearsal method on an optimized virtual keyboard. Based on a large amount of in-situ performance ...
AINA
2009
IEEE
14 years 3 months ago
2009
IEEE
An opportunistic network is a type of challenged network that has attracted a great deal of attention in recent years. While a number of schemes have been proposed to facilitate d...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
— The aim of this paper is quality prediction for streaming MPEG4 video sequences over wireless networks for all video content types. Video content has an impact on video quality...
ASIAN
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...