Sciweavers

963 search results - page 35 / 193

» Types for Mobile Ambients

20

POPL
1999
ACM

80views Programming Languages» more POPL 1999»

Trust and Partial Typing in Open Systems of Mobile Agents

14 years 1 months ago

Trust and Partial Typing in Open Systems of Mobile Agents

Download condor.depaul.edu

James Riely, Matthew Hennessy

claim paper

Read More »

22

ECOOPW
1999
Springer

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

Type-Safe Execution of Mobile Agents in Anonymous Networks

14 years 29 days ago

Type-Safe Execution of Mobile Agents in Anonymous Networks

Download condor.depaul.edu

Matthew Hennessy, James Riely

claim paper

Read More »

17

ENTCS
2006

108views more ENTCS 2006»

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

13 years 8 months ago

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

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

Nobuko Yoshida

claim paper

Read More »

21

ENTCS
2007

93views more ENTCS 2007»

Types for Access Control in a Calculus of Mobile Resources

13 years 8 months ago

Types for Access Control in a Calculus of Mobile Resources

Download www.brics.dk

Hans Hüttel, Morten Kühnrich

claim paper

Read More »

28

COMPSAC
2009
IEEE

166views Software Engineering» more COMPSAC 2009»

A Perspective on Middleware-Oriented Context-Aware Pervasive Systems

14 years 3 months ago

A Perspective on Middleware-Oriented Context-Aware Pervasive Systems

Download www.dcs.napier.ac.uk

The evolving concepts of mobile computing, context-awareness, and ambient intelligence are increasingly influencing user's experience of services. Therefore, the goal of this...

Zakwan Jaroucheh, Xiaodong Liu, Sally Smith

claim paper

Read More »

« Prev « First page 35 / 193 Last » Next »