2516 search results - page 265 / 504 » Integrity Constraints for XML |
117
click to vote
CAISE
2005
Springer
16 years 2 days ago
2005
Springer
This paper describes two different ways of understanding operation contracts in conceptual modeling: the strict and the extended interpretations. The main difference between them l...
176
click to vote
POLICY
2005
Springer
16 years 14 hour ago
2005
Springer
We introduce the provisional trust negotiation framework PROTUNE, for combining distributed trust management policies with provisional-style business rules and accesscontrol relat...
166
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
158
click to vote
SIGUCCS
2005
ACM
16 years 2 days ago
2005
ACM
Starting in 2003, Drew University began a process to replace its manual account management procedures with an automated provisioning system based upon Novell technologies. Over th...
281
click to vote
ICDE
1996
IEEE
16 years 7 months ago
1996
IEEE
This paper describes a method to cope with denormalized relational schemas in a database reverse engineering process. We propose two main steps to irnprove the understanding of da...