315 search results - page 41 / 63 » A generic type system for the Pi-calculus |
COMPSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
In this paper we propose a meta-model for architectures with heterogeneous multimedia components. Currently, a generic solution does not exist to automatically deploy a distributed...
AUTONOMICS
2008
ACM
13 years 9 months ago
2008
ACM
Ubiquitous computing and communication environments connect systems and people in unprecedented ways, but also fundamentally challenge the mindset of traditional systems engineeri...
SRDS
2006
IEEE
14 years 1 months ago
2006
IEEE
We present and evaluate a generic approach to the repair of overlay networks which identifies general principles of overlay repair and embodies these as a reusable service. At th...
SIGMOD
2006
ACM
14 years 8 months ago
2006
ACM
We introduce XPORT, a profile-driven distributed data dissemination system that supports an extensible set of data types, profile types, and optimization metrics. XPORT efficientl...
HOTOS
2003
IEEE
14 years 1 months ago
2003
IEEE
—Traditional hierarchical namespaces are not sufficient for representing and managing the rich semantics of today’s storage systems. In this paper, we discuss the principles o...