![Automated theorem proving / Programming paradigms / Actor model / PlanetLab / Software testing / Prolog / Eval / Logic programming / Futures and promises / Computing / Software engineering / Computer programming Automated theorem proving / Programming paradigms / Actor model / PlanetLab / Software testing / Prolog / Eval / Logic programming / Futures and promises / Computing / Software engineering / Computer programming](https://www.pdfsearch.io/img/c4323e1650778caddfec2cdabefb5e92.jpg)
| Document Date: 2014-09-30 10:30:55 Open Document File Size: 58,67 KBShare 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 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 |