We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize the usefulness of logic features in its implementation and use. Free variables, nondeterminism and encapsulated search turn out to be elegant and powerful means to express test-data generation.

Access control is key to limiting the actions of users in an application and attribute-based policy languages such as XACML allow to express a wide range of access rules. As these policy languages become more widely used, policies grow both in size and complexity. Modularity and reuse are key to specifying and managing such policies effectively. Ideally, complex or domain-specific policy patter...

evapotranspiration is one of the most important components of the hydrological cycle which is directly influenced by atmospheric conditions. this study investigated annual and seasonal trends in reference evapotranspiration (et0) and its key influencing climatic variables during 1966-2005 at 10 stations in southern iran (with centrality of fars province). first, multivariate regression analysis...

there are several theorical results about order statistics and copulas in the literature that have  been mentioned also by nelsen cite{p20}. the present study after reviewing some of these results, relies on  simulation technique to investigate the mentioned results about order statistics and copulas. the study concentrates on two well known archimedean gumbel and frank families in the case tha...