4008 search results - page 421 / 802 » An expressive language of signatures |
199
Voted
KI
2005
Springer
16 years 11 days ago
2005
Springer
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can chang...
215
Voted
PPSWR
2005
Springer
16 years 10 days ago
2005
Springer
Metadata processing is recognized as a central challenge for database research in the next decade. Already, novel desktop data management and search applications (cf. Apple’s Spo...
178
Voted
ER
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. In heterogeneous data warehousing environments, autonomous data sources are integrated into a materialised integrated database. The schemas of the data sources and the in...
187
click to vote
PEPM
2004
ACM
16 years 6 days ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
206
Voted
CSFW
2003
IEEE
16 years 5 days ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...