2290 search results - page 268 / 458 » Extensible Protected Types |
141
click to vote
GPCE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
178
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
In global computing applications the availability of a mechanism for some form of committed choice can be useful, and sometimes necessary. It can conveniently handle, e.g., distrib...
183
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
168
click to vote
MABS
2004
Springer
15 years 11 months ago
2004
Springer
Some types of animals exploit patterns created in the environment as external mental states, thus obtaining an extension of their mind. In the case of social animals the creation a...
144
click to vote
MDM
2004
Springer
15 years 11 months ago
2004
Springer
Enabling people-to-people interaction across heterogeneous communication end-points enhances user experience and fosters people collaboration. This paper presents the design and i...