Sciweavers

5726 search results - page 408 / 1146
» Supporting annotations on relations
Sort
View
181
Voted
VLDB
1990
ACM
61views Database» more  VLDB 1990»
15 years 10 months ago
Referential Integrity Revisited: An Object-Oriented Perspective
Referential integrity underlies the relational representation of objeceoriented structures. The concept of referential integrity in relational databases is hindered by the confusi...
Victor M. Markowitz
CLEAR
2007
Springer
117views Biometrics» more  CLEAR 2007»
16 years 27 days ago
Shared Linguistic Resources for the Meeting Domain
This paper describes efforts by the University of Pennsylvania's Linguistic Data Consortium to create and distribute shared linguistic resources – including data, annotation...
Meghan Lammie Glenn, Stephanie Strassel
PLDI
2003
ACM
15 years 12 months ago
Checking and inferring local non-aliasing
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
Alexander Aiken, Jeffrey S. Foster, John Kodumal, ...
CAISE
2000
Springer
15 years 11 months ago
An Overview of RoZ: A Tool for Integrating UML and Z Specifications
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud
FLAIRS
2008
15 years 9 months ago
Towards Verification of Storyboards
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustra...
Rainer Knauf, Horst Duesel