Results 1 - 10 of 177

Object Identity and Dynamic Recomposition of Components

by Oliver Stiemerling, Pascal Costanza, Armin B. Cremers - in: TOOLS Europe 2001. Proceedings, IEEE Computer , 2000
"... Dynamic recomposition of components in a program imposes new requirements on the expressive power of object-oriented programming languages. For example, the replacement of a component with another reveals consistency problems stemming from the fact that the concept of object identity tries to fulfil ..."
Abstract - Cited by 7 (4 self) - Add to MetaCart
Dynamic recomposition of components in a program imposes new requirements on the expressive power of object-oriented programming languages. For example, the replacement of a component with another reveals consistency problems stemming from the fact that the concept of object identity tries

Object Identity and Dynamic Recomposition of Components

by unknown authors
"... Dynamic recomposition of components in a program imposes new requirements on the expressive power of object-oriented programming languages. For example, the replacement of a component with another reveals consistency problems stemming from the fact that the concept of object identity tries to fulfil ..."
Abstract - Add to MetaCart
Dynamic recomposition of components in a program imposes new requirements on the expressive power of object-oriented programming languages. For example, the replacement of a component with another reveals consistency problems stemming from the fact that the concept of object identity tries

Confined Types

by Boris Bokowski, Jan Vitek , 1999
"... Sharing and transfer of references is difficult to control in object-oriented languages. As information security is increasingly becoming software dependent, this difficulty poses serious problems for writing secure components. In this paper, we present a set of inexpensive syntactic constraints tha ..."
Abstract - Cited by 114 (2 self) - Add to MetaCart
that strengthen encapsulation in object-oriented programs and facilitate the implementation of secure systems. We introduce two mechanisms: con ned types to impose static scoping on dynamic object references and anonymous methods which do not reveal the identity of the current instance (this). Confined types

TRACKING AREAL OBJECT IDENTITY IN SNAPSHOT SEQUENCES

by Mingzheng Shi, Stephan Winter
"... Geosensor networks are deployed to detect and track dynamic geographic phenomena, or objects, over space and time. Object identity is a unique characteristic to distinguish different spatial objects. Based on tracking and analysis of the relations of object identities for example different classes o ..."
Abstract - Add to MetaCart
Geosensor networks are deployed to detect and track dynamic geographic phenomena, or objects, over space and time. Object identity is a unique characteristic to distinguish different spatial objects. Based on tracking and analysis of the relations of object identities for example different classes

Identity Discourse in Islamic Architecture

by Rashid Kolvir Hojjatollah , Rashid Kolvir Hojjatollah , 2012
"... ABSTRACT This paper deals with the meaning and decoding of identity in Iranian-Islamic architecture in urban texture. As the official language of the building is its identity, it is attempted to remind its nobility, conceptuality and dynamics of its identity in Iranian architecture. Mosque is a par ..."
Abstract - Add to MetaCart
ABSTRACT This paper deals with the meaning and decoding of identity in Iranian-Islamic architecture in urban texture. As the official language of the building is its identity, it is attempted to remind its nobility, conceptuality and dynamics of its identity in Iranian architecture. Mosque is a

Cultural Identity and Human Rights: Minority Claims, Ethnic Identity and Group Rights

by Dhruv Pande , Munmun Jha , 2016
"... Abstract This paper explores the relationship between cultural identity and human rights in the light of the dynamics of identity formation, based on the immediate external culture of any multicultural society. The objective of this study is to analyze the relationship between culture, identity and ..."
Abstract - Add to MetaCart
Abstract This paper explores the relationship between cultural identity and human rights in the light of the dynamics of identity formation, based on the immediate external culture of any multicultural society. The objective of this study is to analyze the relationship between culture, identity

Objectives of the Study

by D R Paul , M Kyalo
"... Abstract The provision of education and training to all Kenyans is fundamental to the success of the Government's overall development strategy. A successful adjustment of students to University environment enables them to complete their studies on time. However, students' failure to adjus ..."
Abstract - Add to MetaCart
is still common in the university. Purpose of the Study The purpose of the study was to investigate the problems arising from social and academic adjustment of undergraduate students in Egerton University, Njoro Campus. Objectives of the Study The objectives of this study were: © Centre for Promoting

A virtual class calculus

by Erik Ernst, Klaus Ostermann, William R. Cook , 2005
"... Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object’s class and may be redefined within subclasses. They resemble inner classes, which are also defined within a class, but virtual classes are accessed through object instances, not as ..."
Abstract - Cited by 63 (7 self) - Add to MetaCart
, not as static components of a class. When used as types, virtual classes depend upon object identity – each object instance introduces a new family of virtual class types. Virtual classes support large-scale program composition techniques, including higher-order hierarchies and family polymorphism. The original

Specification, refinement and verification of concurrent systems - an integration of Object-Z

by Graeme Smith, John Derrick - and CSP. Formal Methods in System Design , 2001
"... Abstract. This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to ..."
Abstract - Cited by 17 (4 self) - Add to MetaCart
to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to be used directly within the CSP part

Slowness: An Objective for Spike-Timing–Dependent Plasticity?

by Henning Sprekeler, Christian Michaelis, Laurenz Wiskott
"... Our nervous system can efficiently recognize objects in spite of changes in contextual variables such as perspective or lighting conditions. Several lines of research have proposed that this ability for invariant recognition is learned by exploiting the fact that object identities typically vary mor ..."
Abstract - Cited by 11 (0 self) - Add to MetaCart
Our nervous system can efficiently recognize objects in spite of changes in contextual variables such as perspective or lighting conditions. Several lines of research have proposed that this ability for invariant recognition is learned by exploiting the fact that object identities typically vary
Results 1 - 10 of 177