1604 search results - page 94 / 321 » A Logical Viewpoint on Architectures |
203
click to vote
ICDE
2002
IEEE
15 years 11 months ago
2002
IEEE
Unity is an architecture for integrating relational databases that performs three processes: metadata capture, semantic integration, and query formulation and execution. The found...
213
click to vote
ICIP
1998
IEEE
16 years 8 months ago
1998
IEEE
We describe a new invariant-based data model for image databases under our approach for shape-based retrieval. The data model relies on contours description of the image shape, an...
209
click to vote
ENTCS
2002
15 years 6 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
170
Voted
DAC
2007
ACM
15 years 10 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
172
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...