We give a notion of measure on P that overcomes some limitations of earlier formulations. In the process, we investigate the significance for resource-bounded measure of the choice of the lexicographic ordering of the words. Disciplines Theory and Algorithms This article is available at Iowa State University Digital Repository: http://lib.dr.iastate.edu/cs_techreports/169 Measure on P: Strength...

Requirements standards and textbooks typically classify requirements into functional requirements on the one hand and attributes or non-functional requirements on the other hand. In this classification, requirements given in terms of required operations and/or data are considered to be functional, while performance requirements and quality requirements (such as requirements about security, reli...

In this article we analyse the notion of knowledge role. First of all, we present how the relationship between problem solving methods and domain models is tackled in different approaches. We concentrate on how they cope with this issue in the knowledge engineering process. Secondly, we introduce several properties which can be used to analyse, characterise and define the notion of role. We eva...

Place is an elusive notion in geographic information science. This paper presents an approach to capture the notion of place by contrast. This approach is developed from cognitive concepts and the language that is used to describe places. It is complementary to those of coordinate-based systems that dominate contemporary geographic information systems. Accordingly, the approach is aimed at expl...

We explore the notion of a pseudo-free group, first introduced by Hohenberger [Hoh03], and provide an alternative stronger definition. We show that if Zn is a pseudo-free abelian group (as we conjecture), then Zn also satisfies the Strong RSA Assumption [FO97,CS00,BP97]. Being a “pseudo-free abelian group” may be the strongest natural cryptographic assumption one can make about a group such as ...

Open Hypermedia Systems (OHS) are characterized by distributed, heterogeneous pieces of information. To cope with the main challenges of OHS one has to tackle consistency, eeciency, and interoperability issues. In this position paper we propose an OHS architecture based on an active object-oriented database system as well as SGML/HyTime as standardized interchange formats. By using active objec...

This paper postulates that multi-agent systems are the right choice for the design and implementation of pervasive frameworks. This claim relies on the idea that the notion of application is a nonsense in a pervasive environment because of its highly dynamic characteristics. Instead, we propose the use of an interaction based design, relying on multi-agent concepts like agents incrementally bui...