Now showing items 6-7 of 7

    • Software Verification Tools 

      Roosen-Runge, Peter (© P. H. Roosen-Runge, 1999, 2003, 2007, 2008)
      This text explores the problem of verifying software in terms of a set of simple tools which can be used to symbolically evaluate and prove properties of pieces of programs, represented either abstractly in functional ...
    • Web Service Composition as a Planning Task: Experiments using Knowledge-Based Planning 

      Martínez, Erick; Lespérance, Yves (Jun-04)
      Motivated by the problem of automated Web service composition (WSC), in this paper, we present some empirical evidence to validate the effectiveness of using knowledge-based planning techniques for solving WSC problems. ...

      All items in the YorkSpace institutional repository are protected by copyright, with all rights reserved except where explicitly noted.