MACHINE COMPUTING
Qual é o substrato mínimo para continuidade computacional persistente?
Identidade, autoridade, estado e recuperação abaixo de abstrações convencionais.
RESEARCH
Perguntas difíceis merecem sistemas que possam falhar de maneira informativa.
Nossa pesquisa não começa pela necessidade de lançar um produto. Ela começa quando uma propriedade computacional ainda não está suficientemente explícita para ser construída, observada ou testada.
WEB COMPUTING
Uma máquina pode formar e manter uma representação verificável da Web?
Observação, relações, frontier, tempo e evidência sem promover resposta de transporte a verdade.
ECONOMIC COMPUTING
Como entitlement, autoridade, efeito e settlement permanecem distintos?
Consequência econômica sem colapsar intenção, execução e resultado.
COMPUTATIONAL PRODUCTION
Produção de software pode ser tratada como processo computacional governado?
Coordenação inteligente, execução restrita, evidência e aceitação institucional.
