Sensor networks can be considered distributed computing platforms with many severe
constraints, including limited CPU speed, memory size, power, and bandwidth. Individual …

An understanding of the techniques used to make distributed computing systems and
networks reliable, fault-tolerant and secure will be crucial to those who design and deploy …

We present a technique that masks failures in a cluster to provide high availability and fault-
tolerance for long-running, parallelized dataflows. We can use these dataflows to implement …

For twenty years the Nuprl (“new pearl”) system has been used to develop software systems
and formal theories of computational mathematics. It has also been used to explore and …

The continuous development of new networking standards over the last decade has resulted
in an unprecedented proliferation of interfacing technologies and their associated protocol …

With the advent of cheap, miniaturized electronics, ubiquitous networking has reached an
unprecedented level of complexity, scale and heterogeneity, becoming the core of several …

Since mesoporous materials can be prepared by combining the sol-gel chemistry and the
structuring effect of surfactants, they have attracted attention for application in various high …

This paper proposes a novel methodology and an architectural framework for handling
multiple classes of faults (namely, hardware-induced software errors in the application …

In this paper we introduce a new approach to axiomatizing quotient types in type theory. We
suggest replacing the existing monolithic rule set by a modular set of rules for a specially …

With the emergence of new application-specific sensor and Ad-hoc networks, increasingly
complex and custom protocols will be designed and deployed. We propose a framework to …