Sciweavers

2765 search results - page 372 / 553
» Spatio-temporal Models and Languages: An Approach Based on C...
Sort
View
ICOODB
2010
171views Database» more  ICOODB 2010»
15 years 4 months ago
Data Model Driven Implementation of Web Cooperation Systems with Tricia
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
Thomas Büchner, Florian Matthes, Christian Ne...
CP
2005
Springer
16 years 4 days ago
Weak Symmetries in Problem Formulations
Abstract. In this article we will present some problems that have weak symmetries. In contrast to a proper symmetry, a weak symmetry acts only on a subset of the variables and pres...
Roland Martin, Karsten Weihe
CAISE
2007
Springer
16 years 23 days ago
Generic Schema Merging
Schema merging is the process of integrating several schemas into a common, unified schema. There have been various approaches to schema mergusing on particular modeling languages...
Christoph Quix, David Kensche, Xiang Li 0002
ICLP
2009
Springer
16 years 7 months ago
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
Miroslaw Truszczynski
EJIS
2007
115views more  EJIS 2007»
15 years 6 months ago
Towards agent-oriented model-driven architecture
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
Liang Xiao 0002, Des Greer