Sciweavers

4397 search results - page 129 / 880
» Relational Algebra Operations
Sort
View
WER
2010
Springer
15 years 11 days ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
121
Voted
ADBIS
2007
Springer
137views Database» more  ADBIS 2007»
15 years 8 months ago
An Object-Oriented Based Algebra for Ontologies and Their Instances
Nowadays, ontologies are used in a lot of diverse research fields. They provide with the capability to describe a huge set of information contents. Therefore, several approaches f...
Stéphane Jean, Yamine Aït Ameur, Guy P...
ENTCS
2008
100views more  ENTCS 2008»
15 years 2 months ago
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. C...
APN
2001
Springer
15 years 7 months ago
Optimising Enabling Tests and Unfoldings of Algebraic System Nets
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
Marko Mäkelä
148
Voted
COOPIS
2004
IEEE
15 years 6 months ago
EMMA - A Query Algebra for Enhanced Multimedia Meta Objects
Enhanced Multimedia Meta Objects (EMMOs) are a novel approach to multimedia content modeling, combining media, semantic relationships between those media, as well as functionality ...
Sonja Zillner, Utz Westermann, Werner Winiwarter