803 search results - page 19 / 161 » A Query Language for Logic Architectures |
ICDE
1997
IEEE
14 years 9 months ago
1997
IEEE
A mediator is a domain-speci c tool to support uniform access to multiple heterogeneous information sources and to abstract and combine data from different but related databases t...
MSR
2005
ACM
14 years 1 months ago
2005
ACM
Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. ...
W2GIS
2005
Springer
14 years 1 months ago
2005
Springer
Traditional GIS tools are well suited for desktop workstations, but need to be adapted in order to satisfy the requirements of mobility. We propose a concept for sketch-based spati...
EDOC
2004
IEEE
13 years 11 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...