Sciweavers

3381 search results - page 1 / 677
» Extending Dependencies with Conditions
Sort
View
VLDB
2007
ACM
104views Database» more  VLDB 2007»
14 years 3 months ago
Extending Dependencies with Conditions
This paper introduces a class of conditional inclusion dependencies (CINDs), which extends traditional inclusion dependencies (INDs) by enforcing bindings of semantically related ...
Loreto Bravo, Wenfei Fan, Shuai Ma
CDC
2008
IEEE
122views Control Systems» more  CDC 2008»
13 years 10 months ago
Geometrical conditions for output depending observability normal form
— We give geometrical conditions, which guarantee the existence of a diffeomorphism in order to transform a nonlinear system without inputs into a canonical normal form depending...
Gang Zheng, Driss Boutat, Jean-Pierre Barbot
ATAL
2009
Springer
13 years 4 months ago
Conditional Dependence Networks in Requirements Engineering
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence networks...
Guido Boella, Leendert van der Torre, Serena Villa...
SCAM
2007
IEEE
13 years 10 months ago
On Temporal Path Conditions in Dependence Graphs
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
Andreas Lochbihler, Gregor Snelting
ICDE
2008
IEEE
153views Database» more  ICDE 2008»
14 years 5 months ago
Increasing the Expressivity of Conditional Functional Dependencies without Extra Complexity
The paper proposes an extension of CFDs [1], referred to as extended Conditional Functional Dependencies (eCFDs). In contrast to CFDs, eCFDs specify patterns of semantically relate...
Loreto Bravo, Wenfei Fan, Floris Geerts, Shuai Ma