43 search results - page 9 / 9 » Non-deterministic semantics for logics with a consistency op... |
EFDBS
2003
13 years 7 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
CACM
1999
13 years 5 months ago
1999
stractions underlying distributed computing. We attempted to keep our preaims at an abstract and general level. In this column, we make those claims more concrete. More precisely, ...
BTW
2007
Springer
13 years 11 months ago
2007
Springer
Abstract: We propose a new system that is able to handle the entire Personal Dataspace of a user. A Personal Dataspace includes all data pertaining to a user on all his disks and o...