Sciweavers

2933 search results - page 408 / 587
» Agent-Grid Integration Language
Sort
View
EPK
2004
215views Management» more  EPK 2004»
15 years 4 months ago
ARIS meets RUP: The ARIS Unified Information System Development Process
Abstract: Starting from the Rational Unified Process RUP and the ARIS life cycle model the ARIS Unified Information System Development Process AUP is designed. Similar as the RUP i...
Martin Plümicke
124
Voted
IADIS
2004
15 years 4 months ago
Web server authorisation with the policyupdater access control system
The PolicyUpdater1 system is a generic access control system that provides policy evaluations and dynamic policy updates. These functions are achieved by the use of a logic-based ...
Vino Fernando Crescini, Yan Zhang, Weiyuan Wang
133
Voted
FOIS
2006
15 years 4 months ago
Approximation of Ontologies in CASL
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
Klaus Lüttich
BNCOD
2003
139views Database» more  BNCOD 2003»
15 years 4 months ago
An Overview about the DynaQuest Framework
The DynaQuest-Framework should reduce the effort for the creation of Internet-based virtual databases. These virtual databases are a special kind of federated database systems whe...
Marco Grawunder
DAGSTUHL
2001
15 years 4 months ago
JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
Katharina Mehner