3378 search results - page 638 / 676 » A universe of binding and computation |
206
click to vote
LICS
2006
IEEE
16 years 23 days ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
142
Voted
SRDS
2006
IEEE
16 years 23 days ago
2006
IEEE
In this work we consider a distributed system formed by a master processor and a collection of n processors (workers) that can execute tasks; worker processors are untrusted and m...
187
Voted
COMPGEOM
2006
ACM
16 years 22 days ago
2006
ACM
We present an optimal-time algorithm for computing (an implicit representation of) the shortest-path map from a fixed source s on the surface of a convex polytope P in three dime...
222
click to vote
ELPUB
2006
ACM
16 years 22 days ago
2006
ACM
In the last few years, the University of Aveiro, Portugal, has been offering several distance learning courses over the Web, using e-learning platforms. Experience showed that dif...
161
click to vote
MM
2006
ACM
16 years 21 days ago
2006
ACM
Expressing and analysing data dependency in multimedia streams is promising, since content-aware policies at a transport level would benefit from such services. In this paper we ...