17082 search results - page 58 / 3417 » Abstractions for Mobile Computation |
IJDST
2010
13 years 6 months ago
2010
POPL
2011
ACM
12 years 11 months ago
2011
ACM
ENTCS
2008
13 years 9 months ago
2008
ly abstract model for a quantum unctional language (extended abstract) Peter Selinger1 ,2 Dalhousie University, Halifax, Nova Scotia, Canada Beno^it Valiron3 University of Ottawa, ...
P2P
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, our experiences so far with developing a platform for mobile P2P applications with the LightPeers framework are presented. We experienced that the use of a role-bas...
FSTTCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...