5838 search results - page 807 / 1168 » A File System for System Programming in Ubiquitous Computing |
127
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
Field-based coordination is a very promising approach for a wide range of application scenarios in modern dynamic networks. To implement such an approach, one can rely on distribu...
117
click to vote
GPCE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
161
click to vote
ERLANG
2003
ACM
15 years 10 months ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
121
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
We show that the downward-closure of a Petri net language is effectively computable. This is mainly done by using the notions defined for showing decidability of the reachability...
138
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...