2293 search results - page 314 / 459 » Temporal Logic in Information Systems |
190
click to vote
ICEIS
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
167
click to vote
VLDB
1993
ACM
15 years 10 months ago
1993
ACM
ract One important aspect of scientific data management is metadata management. Metadata is information about data (e.g., content, source, processing applied, precision). One kind ...
171
click to vote
PE
2002
Springer
15 years 6 months ago
2002
Springer
The study presented in this paper is motivated by the performance analysis of response times in distributed information systems, where transactions are handled by iterative server...
154
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
150
click to vote
CALCO
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...