This paper presents a new rule for reasoning about method calls in object-oriented programs. It concerns an optimized adaptation of Hoare's rule of adaptation to the object-oriented paradigm. The new ...
Employees' Organizational Identification (OI) is measured in a customer service organization. Particularly the effects of employee communication and perceived external prestige (PEP) on OI were evalua...
For data intensive Grid applications, such as shown at iGrid2002, users may require short-lived guaranteed high bandwidth connections. These types of connections, providing a certain Quality of Servic...
For data intensive Grid applications, such as shown at iGrid2002, users may require short-lived guaranteed high bandwidth connections. These types of connections, providing a certain Quality of Servic...
We introduce a novel approach to revision and updating where two semantics are used for the same class of databases. One semantics, the intended semantics, is used to give a database its intended mean...
We introduce a novel approach to revision and updating where two semantics are used for the same class of databases. One semantics, the intended semantics, is used to give a database its intended mean...
We introduce a novel approach to revision and updating where two semantics are used for the same class of databases. One semantics, the intended semantics, is used to give a database its intended mean...
We introduce a novel approach to revision and updating where two semantics are used for the same class of databases. One semantics, the intended semantics, is used to give a database its intended mean...