Sciweavers

117 search results - page 8 / 24
» Relation Algebra Operations on Formal Contexts
Sort
View
154
Voted
JLP
2006
108views more  JLP 2006»
15 years 3 months ago
On testing UML statecharts
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
Mieke Massink, Diego Latella, Stefania Gnesi
ER
2011
Springer
265views Database» more  ER 2011»
14 years 3 months ago
Modeling the Propagation of User Preferences
Abstract. User preferences are a fundamental ingredient of personalized database applications, in particular those in which the user context plays a key role. Given a set of prefer...
Paolo Ciaccia, Riccardo Torlone
COSIT
2009
Springer
133views GIS» more  COSIT 2009»
15 years 10 months ago
A Metric Conceptual Space Algebra
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
Benjamin Adams, Martin Raubal
BNCOD
1997
76views Database» more  BNCOD 1997»
15 years 5 months ago
Query Evaluation in CROQUE - Calculus and Algebra Coincide
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
Torsten Grust, Joachim Kröger, Dieter Gluche,...
TCS
2002
15 years 3 months ago
Process algebra for performance evaluation
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoe...