In this paper we introduce a formal approach to architectural design patterns based on an object-oriented model integrated with a process-oriented method for describing the patterns. The object-oriented model is based on the Abstract Data View (ADV) concept, which is a formal model for subjectivity in that it explicitly distinguishes between two kinds of objects, namely application objects and ...

This paper presents a case-based planning system, called FAR-OFF, as an alternative approach to heuristic search generative planners, like HSP and FF. The FAR-OFF system introduces the use of a new similarity metric, called ADG (Action Distance-Guided), that is more accurate than other similarity metrics, and it also incorporates techniques to decrease the retrieval time, like the Footprint-bas...

the exhaustion doctrine refers to one of the limits of intellectual property rights. once a product protected of ip right has been marketed either by the ip right owner or by others whit her consent, the ip right owner cannot prohibit the further commercialization (like the resale) of that product. thus , a critical element in determining that the owner of an ip right has exhausted her/his righ...

During recent years, several studies have revealed that human-dog relationships are based on a well-established and complex bond. There is now evidence suggesting that the dog-human affectional bond can be characterized as an "attachment". The present study investigated possible association between the owners' attachment profile assessed throughout a new semi-projective test (the 9 Attachment P...

We analyze the owner concept for PRAMs. In OROW-PRAMs each memory cell has one distinct processor that is the only one allowed to write into this memory cell and one distinct processor that is the only one allowed to read from it. By symmetric pointer doubling, a new proof technique for OROW-PRAMs, it is shown that list ranking can be done in O(log n) time by an OROWPRAM and that LOGSPACE OROW-...