Sciweavers

1836 search results - page 292 / 368
» Hierarchies for semantic classes
Sort
View
ADBIS
2004
Springer
92views Database» more  ADBIS 2004»
15 years 1 months ago
Optimal Database Locks for Efficient Integrity Checking
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
Davide Martinenghi
FOSSACS
2006
Springer
15 years 1 months ago
Processes for Adhesive Rewriting Systems
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
Paolo Baldan, Andrea Corradini, Tobias Heindel, Ba...
ECAI
1998
Springer
15 years 1 months ago
Ideal Agents Sharing (some!) Knowledge
A well-known framework by Fagin, Halpern, Moses and Vardi models knowledge-based agents as \Interpreted Systems". In this paper we analyse a particular class of interpreted sy...
Alessio Lomuscio, Mark Ryan
ER
2000
Springer
134views Database» more  ER 2000»
15 years 1 months ago
Data Warehouse Scenarios for Model Management
Model management is a framework for supporting meta-data related applications where models and mappings are manipulated as first class objects using operations such as Match, Merge...
Philip A. Bernstein, Erhard Rahm
ESAW
2000
Springer
15 years 1 months ago
Exploiting UML in the Design of Multi-agent Systems
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
Federico Bergenti, Agostino Poggi