Search Sciweavers | Sciweavers

1894 search results - page 58 / 379

» Towards Mobile Reasoning

158

click to vote

ICALP
2004
Springer

136views Programming Languages» more ICALP 2004»

Towards an Algebraic Theory of Typed Mobile Processes

15 years 10 months ago

Download www.it.uu.se

The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...

Yuxin Deng, Davide Sangiorgi

claim paper

Read More »

123

click to vote

FOSSACS
2003
Springer

85views Software Engineering» more FOSSACS 2003»

Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems

15 years 10 months ago

Download users.ecs.soton.ac.uk

Matthew Hennessy, Massimo Merro, Julian Rathke

claim paper

Read More »

123

click to vote

ICN
2001
Springer

82views Computer Networks» more ICN 2001»

Towards Manageable Mobile Agent Infrastructures

15 years 10 months ago

Download eden.dei.uc.pt

Paulo Simões, Paulo Marques, Luís Mo...

claim paper

Read More »

100

click to vote

CONEXT
2007
ACM

104views Computer Networks» more CONEXT 2007»

Towards the realization of a mobile grid

15 years 9 months ago

Download www.mm.aueb.gr

Konstantinos V. Katsaros, George C. Polyzos

claim paper

Read More »

click to vote

GRAPP
2007

123views Computer Graphics» more GRAPP 2007»

Mobile chase - towards a framework for location-based gaming

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers