127 search results - page 22 / 26 » Integrity Checking in Deductive Databases |
113
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
147
Voted
TACAS
2010
Springer
15 years 8 days ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
102
click to vote
OOIS
1997
Springer
15 years 6 months ago
1997
Springer
Viewpoints are re ections of software systems from multiple perspectives. A number of consistency conditions apply to viewpoints and developers require a tool for each type of vie...
115
Voted
OOPSLA
1992
Springer
15 years 6 months ago
1992
Springer
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...
126
click to vote
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...