Search Sciweavers | Sciweavers

4205 search results - page 33 / 841

» Typed Mobile Objects

click to vote

POPL
1999
ACM

80views Programming Languages» more POPL 1999»

Trust and Partial Typing in Open Systems of Mobile Agents

15 years 6 months ago

Download condor.depaul.edu

James Riely, Matthew Hennessy

claim paper

Read More »

Voted

ECOOPW
1999
Springer

90views Distributed And Parallel Com...» more ECOOPW 1999»

Type-Safe Execution of Mobile Agents in Anonymous Networks

15 years 6 months ago

Download condor.depaul.edu

Matthew Hennessy, James Riely

claim paper

Read More »

click to vote

ENTCS
2006

108views more ENTCS 2006»

Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness

15 years 1 months ago

Download www-dse.doc.ic.ac.uk

Nobuko Yoshida

claim paper

Read More »

Voted

ENTCS
2007

93views more ENTCS 2007»

Types for Access Control in a Calculus of Mobile Resources

15 years 1 months ago

Download www.brics.dk

Hans Hüttel, Morten Kühnrich

claim paper

Read More »

click to vote

MSCS
2008

93views more MSCS 2008»

Types for ambient and process mobility

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers