Accueil

Boon Thau Loo

  1. Cologne: A Declarative Distributed Constraint Optimization Platform.

    Mon, 04/30/2012 - 15:01 — SomNambul
    Authors: Boon Thau Loo, Changbin Liu, Lu Ren, Yun Mao, Prithwish Basu
    Subjects: Databases
    Abstract

    This paper presents Cologne, a declarative optimization platform that enables
    constraint optimization problems (COPs) to be declaratively specified and
    incrementally executed in distributed systems. Cologne integrates a declarative
    networking engine with an off-the-shelf constraint solver. We have developed
    the Colog language that combines distributed Datalog used in declarative
    networking with language constructs for specifying goals and constraints used
    in COPs.

  2. Declarative Reconfigurable Trust Management.

    Thu, 09/10/2009 - 10:12 — SomNambul
    Authors: William Marczak, David Zook, Wenchao Zhou, Molham Aref, Boon Thau Loo
    Subjects: Cryptography and Security
    Abstract

    In recent years, there has been a proliferation of declarative logic-based
    trust management languages and systems proposed to ease the description,
    configuration, and enforcement of security policies. These systems have
    different tradeoffs in expressiveness and complexity, depending on the security
    constructs (e.g. authentication, delegation, secrecy, etc.) that are supported,
    and the assumed trust level and scale of the execution environment.

Math-arch

Syndicate content