Back to Results
First PageMeta Content
Automated theorem proving / Programming paradigms / Actor model / PlanetLab / Software testing / Prolog / Eval / Logic programming / Futures and promises / Computing / Software engineering / Computer programming


Sophia: An Information Plane for Networked Systems Mike Wawrzoniak Princeton University Larry Peterson Princeton University
Add to Reading List

Document Date: 2009-06-12 12:01:20

Open Document

File Size: 73,97 KB

Share Result on Facebook

City

Saint-Emilion / /

Company

IBM / Computer Associates / HP / Intel / Related Work / /

Country

Germany / France / United States / /

IndustryTerm

large networked systems / distributed query processing engines / sensor networks / Internet-Scale Resource-Intensive Sensors / local unification algorithm / wide-area networks / adaptive distributed query planning algorithms / overlay infrastructure / database systems / continuously-changing network systems / distributed unification algorithm / Online Query Processing / network management systems / partial result processing / elaborate protection systems / learning algorithms / Host-oriented management systems / /

Organization

Princeton University / /

Person

Timothy Roscoe / Larry Peterson / Mike Wawrzoniak / /

Position

remote evaluator / distributed expression evaluator / session-manager / planner / programmer / /

Product

Sophia / InfoSpect / /

ProgrammingLanguage

XML / Prolog / XPath / /

Technology

virtual machine / XML / Sophia protocol / distributed unification algorithm / adaptive distributed query planning algorithms / caching / local unification algorithm / /

URL

http /

SocialTag