33 search results - page 1 / 7 » What Are Polymorphically-Typed Ambients |
ESOP
2001
Springer
13 years 9 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
IFIP
2004
Springer
13 years 10 months ago
2004
Springer
Previous type systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed Ambients and Safe Ambients, and other related systems) offer lit...
PERVASIVE
2007
Springer
13 years 11 months ago
2007
Springer
This paper addresses two problems: “What are the appropriate methods for evaluating information systems?” and “How do we measure the impact of ambient information systems?...
IJACI
2010
13 years 3 months ago
2010
This paper explores a very simple idea: what can be achieved by using the principles and the technologies of the Web Platform1 when they are applied to Ambient Computing? To answer...
SAS
1993
Springer
13 years 8 months ago
1993
Springer
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...