TAIGA

Basic Description

Taiga is a system for doing Internet-scale programming. It provides a component language model that separates the interface from the implementation while allowing arbitrary (open-sourced) implementations and guaranteeing the properties of the implementation. This is done by including the semantics of the component as part of the interface through test cases, contracts, security and privacy constraints, recovery information, and an economic model.

Taiga also provides the underlying framework to make all this work at Internet scales including a peer-to-peer backbone, shared file systems, shared tuple spaces and databases, and global search and sharing.

Publications

Downloads

Current Node Status

Search for Applications and Components