Universidad Complutense de Madrid

Displaying 1-6 of 6 results

  • White Papers // Jan 2013

    Integrating Planning and Scheduling in Workflow Domains

    One of the main obstacles in applying AI planning techniques to real problems is the difficulty to model the domains. Usually, this requires that people that have developed the planning system carry out the modeling phase since the representation depends very much on a deep knowledge of the internal working...

    Provided By Universidad Complutense de Madrid

  • White Papers // Jun 2012

    Building XML-Driven Application Generators With Compiler Construction Tools

    This paper describes how to use conventional compiler construction tools, and parser generators in particular, to build XML-driven application generators. In the authors' approach, the document interface is provided by a standard stream-oriented XML processing framework (e.g., SAX or StAX). This framework is used to program a generic, customizable XML...

    Provided By Universidad Complutense de Madrid

  • White Papers // Mar 2012

    Singular and Plural Functions for Functional Logic Programming

    Modern Functional Logic Programming (FLP) languages use non-terminating and non-confluent Constructor Systems (CS's) as programs in order to define non-strict non-deterministic functions. Two semantic alternatives have been usually considered for parameter passing with this kind of functions: call-time choice and run-time choice. While the former is the standard choice of...

    Provided By Universidad Complutense de Madrid

  • White Papers // Sep 2011

    GUIs for Data-Centric Applications

    In this paper, the authors survey a very promising instance of model-driven security: the full generation of security-aware Graphical User Interfaces (GUIs) from models for data-centric applications with access control policies. They describe the modeling concepts and languages employed and how model transformation can be used to automatically lift security...

    Provided By Universidad Complutense de Madrid

  • White Papers // Apr 2009

    On the Cooperation of the Constraint Domains H, R and FD in CFLP

    This paper presents a computational model for the cooperation of constraint domains and an implementation for a particular case of practical importance. The computational model supports declarative programming with lazy and possibly higher-order functions, predicates, and the cooperation of different constraint domains equipped with their respective solvers, relying on a...

    Provided By Universidad Complutense de Madrid

  • White Papers // May 2006

    A Hierarchical, Agent-Based Approach to Security in Smart Offices

    As electronic devices become more and more pervasively integrated in the people daily routine, security concerns start to become evident. In the last years, there has been an increasing interest on the topic of security in smart environments. One of the most challenging environments regarding security is smart offices due...

    Provided By Universidad Complutense de Madrid

  • White Papers // Apr 2009

    On the Cooperation of the Constraint Domains H, R and FD in CFLP

    This paper presents a computational model for the cooperation of constraint domains and an implementation for a particular case of practical importance. The computational model supports declarative programming with lazy and possibly higher-order functions, predicates, and the cooperation of different constraint domains equipped with their respective solvers, relying on a...

    Provided By Universidad Complutense de Madrid

  • White Papers // Sep 2011

    GUIs for Data-Centric Applications

    In this paper, the authors survey a very promising instance of model-driven security: the full generation of security-aware Graphical User Interfaces (GUIs) from models for data-centric applications with access control policies. They describe the modeling concepts and languages employed and how model transformation can be used to automatically lift security...

    Provided By Universidad Complutense de Madrid

  • White Papers // Mar 2012

    Singular and Plural Functions for Functional Logic Programming

    Modern Functional Logic Programming (FLP) languages use non-terminating and non-confluent Constructor Systems (CS's) as programs in order to define non-strict non-deterministic functions. Two semantic alternatives have been usually considered for parameter passing with this kind of functions: call-time choice and run-time choice. While the former is the standard choice of...

    Provided By Universidad Complutense de Madrid

  • White Papers // Jun 2012

    Building XML-Driven Application Generators With Compiler Construction Tools

    This paper describes how to use conventional compiler construction tools, and parser generators in particular, to build XML-driven application generators. In the authors' approach, the document interface is provided by a standard stream-oriented XML processing framework (e.g., SAX or StAX). This framework is used to program a generic, customizable XML...

    Provided By Universidad Complutense de Madrid

  • White Papers // Jan 2013

    Integrating Planning and Scheduling in Workflow Domains

    One of the main obstacles in applying AI planning techniques to real problems is the difficulty to model the domains. Usually, this requires that people that have developed the planning system carry out the modeling phase since the representation depends very much on a deep knowledge of the internal working...

    Provided By Universidad Complutense de Madrid

  • White Papers // May 2006

    A Hierarchical, Agent-Based Approach to Security in Smart Offices

    As electronic devices become more and more pervasively integrated in the people daily routine, security concerns start to become evident. In the last years, there has been an increasing interest on the topic of security in smart environments. One of the most challenging environments regarding security is smart offices due...

    Provided By Universidad Complutense de Madrid