3771 search results - page 637 / 755 » Subobject Transformation Systems |
132
Voted
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
119
Voted
KI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
128
Voted
LCPC
2004
Springer
15 years 8 months ago
2004
Springer
As computing platforms become more and more complex, the task of optimizing performance critical codes becomes more challenging. Recently, more attention has been focused on automa...
147
click to vote
LOPSTR
2004
Springer
15 years 8 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
117
Voted
VLDB
2004
ACM
15 years 8 months ago
2004
ACM
We introduce an auditing framework for determining whether a database system is adhering to its data disclosure policies. Users formulate audit expressions to specify the (sensiti...