1075 search results - page 120 / 215 » A Component Framework for Communication in Distributed Appli... |
ICFP
2007
ACM
15 years 9 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
111
click to vote
SIGCOMM
2012
ACM
13 years 10 days ago
2012
ACM
Distributed key-value stores are now a standard component of high-performance web services and cloud computing applications. While key-value stores offer significant performance...
119
click to vote
MOBIHOC
2005
ACM
15 years 9 months ago
2005
ACM
Determining node and event locations is a canonical task for many wireless network applications. Yet dedicated infrastructure for determining position information is expensive, en...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Many reputation management systems have been developed under the assumption that each entity in the system will use a variant of the same scoring function. Much of the previous wo...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we describe a serializer component completely realized in .NET managed code, able to run on a stripped versions of the .NET platform (e.g., Compact Framework) and st...