4205 search results - page 152 / 841 » Typed Mobile Objects |
171
click to vote
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
141
click to vote
SSD
2005
Springer
15 years 10 months ago
2005
Springer
Topological predicates are an important element of database systems that allow manipulation of spatial data. Based on the necessity for such systems to handle uncertainty, we intro...
123
click to vote
HPDC
1993
IEEE
15 years 8 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
138
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Interactive 3D games are now widely available on a variety of mobile devices for which battery-life is a major concern. Many of these devices support voltage/frequencyscalable pro...
113
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...