Sciweavers

1121 search results - page 133 / 225
» Logics of Complementarity in Information Systems
Sort
View
VLDB
1998
ACM
95views Database» more  VLDB 1998»
14 years 1 months ago
From Data Independence to Knowledge Independence: An on-going Story
It is today widely acceptedthat "Business Rules Independence" is required for information systemsto better and more rapidly adjust to changesin thebusinessenvironment,Th...
Laurent Vieille
DBSEC
2006
160views Database» more  DBSEC 2006»
13 years 10 months ago
On Finding an Inference-Proof Complete Database for Controlled Query Evaluation
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...
Joachim Biskup, Lena Wiese
JLP
2008
134views more  JLP 2008»
13 years 9 months ago
Backwards type analysis of asynchronous method calls
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
Einar Broch Johnsen, Ingrid Chieh Yu
IAT
2005
IEEE
14 years 2 months ago
Real-time Cooperative Multi-target Tracking by Dense Communication among Active Vision Agents
We have proposed a real-time multi-target tracking system by cooperative behaviors of Active Vision Agents (AVAs), where an AVA is a logical model of a networkconnected computer w...
Norimichi Ukita
EEE
2004
IEEE
14 years 20 days ago
Simulation Models and Their Metainfo-Management Using RDF-Based Paradigms
In a catalogue for computer-based models the basic problem is that complex interdependencies between models must be addressed, which are dependent on an application's domain....
Michael C. Jaeger, Moussa Lo, Robert J. Pefferly