Sciweavers

17082 search results - page 58 / 3417
» Abstractions for Mobile Computation
Sort
View
POPL
2011
ACM
14 years 9 months ago
Generative type abstraction and type-level computation
Stephanie Weirich, Dimitrios Vytiniotis, Simon L. ...
ENTCS
2008
110views more  ENTCS 2008»
15 years 6 months ago
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract)
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, ...
Peter Selinger, Benoît Valiron
160
Voted
P2P
2006
IEEE
134views Communications» more  P2P 2006»
16 years 21 days ago
Experiences Developing Mobile P2P Applications with LightPeers
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...
Bent Guldbjerg Christensen
FSTTCS
2005
Springer
16 years 6 days ago
Non-disclosure for Distributed Mobile Code
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...
Ana Almeida Matos