20 research outputs found

    A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths

    Full text link

    Multi-user publishing in the Web : DReSS, a Document Repository Service Station

    Get PDF
    Many WWW servers contain information written by several authors. These authors either need an account on the server machine, and special permissions to create information in the server space, or else the Webmaster needs to put the information in that space or allow the server to point to the author's own space. We present DReSS, a system to enable authors to deposit (and update) documents on a WWW server, using standard WWW features only. Authors do not need login permission on the server machine, ftp upload access, or even electronic mail. As the documents live in the WWW server space there is no need for the server to be able to access documents outside its space. Thus, our system will work on even the most securely shielded servers (running in a chroot environment). DReSS consists of a set of CGI-scripts and two small auxiliary programs running on the client machine. It can be used with any (HTML-2.0-capable) WWW browser, and with any WWW server. DReSS does not use special features ..

    Basic conditional process algebra

    Get PDF

    Explicit substitution : on the edge of strong normalisation

    Get PDF

    A class of Petri nets for modeling and analyzing business processes

    Get PDF

    A formal specification of deadlines using dynamic deontic logic

    Get PDF

    Structural Petri net equivalence

    Get PDF

    Structural Petri net equivalence

    Get PDF

    Conservative adaption of workflow

    Get PDF

    Designing effective workflow management processes

    Get PDF
    corecore