1226 search results - page 238 / 246 » Secure Mobile Gambling |
FOSSACS
2005
Springer
14 years 18 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
MFCS
2004
Springer
14 years 13 days ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...
HCW
2000
IEEE
13 years 11 months ago
2000
IEEE
Management of large-scale parallel and distributed applications is an extremely complex task due to factors such as centralized management architectures, lack of coordination and ...
MOBISYS
2010
ACM
13 years 9 months ago
2010
ACM
To realize the potential of opportunistic and participatory sensing using mobile smartphones, a key challenge is ensuring the ease of developing and deploying such applications, w...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
We propose a new approach to ensure privacy in location based services, without requiring any support from a"trusted" entity. We observe that users of location based ser...