Sciweavers

4325 search results - page 129 / 865
» Incremental computation with names
Sort
View
TCS
2008
15 years 6 months ago
Computational self-assembly
The object of this paper is to appreciate the computational limits inherent in the combinatorics of an applied concurrent (aka agent-based) language . That language is primarily m...
Pierre-Louis Curien, Vincent Danos, Jean Krivine, ...
CJ
2004
77views more  CJ 2004»
15 years 6 months ago
Smart Messages: A Distributed Computing Platform for Networks of Embedded Systems
In this paper, we present the design and implementation of Smart Messages, a distributed computing platform for networks of embedded systems based on execution migration. A Smart ...
Porlin Kang, Cristian Borcea, Gang Xu, Akhilesh Sa...
TKDE
2002
239views more  TKDE 2002»
15 years 6 months ago
An Efficient Path Computation Model for Hierarchically Structured Topographical Road Maps
In this paper, we have developed a HiTi (Hierarchical MulTi) graph model for structuring large topographical road maps to the minimum cost route computation. The HiTi graph model p...
Sungwon Jung, Sakti Pramanik
TIT
2008
147views more  TIT 2008»
15 years 6 months ago
On Codes, Matroids, and Secure Multiparty Computation From Linear Secret-Sharing Schemes
Error-correcting codes and matroids have been widely used in the study of ordinary secret sharing schemes. In this paper, the connections between codes, matroids, and a special cla...
Ronald Cramer, Vanesa Daza, Ignacio Gracia, Jorge ...
AICCSA
2005
IEEE
89views Hardware» more  AICCSA 2005»
16 years 1 days ago
ESPERANTO: a middleware platform to achieve interoperability in nomadic computing domains
The most challenging issues in Nomadic Computing environments arise from the combination of heterogeneity, dynamism, context-awareness, and mobility. Driven by these issues, this ...
Marcello Cinque, Domenico Cotroneo, Cristiano di F...