599 search results - page 61 / 120 » Interpreting the Object Constraint Language |
CAV
2009
Springer
16 years 11 days ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
104
click to vote
TKDE
2008
14 years 11 months ago
2008
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...
101
click to vote
IWPC
2000
IEEE
15 years 4 months ago
2000
IEEE
Call graphs are commonly used as input for automatic clustering algorithms, the goal of which is to extract the high level structure of the program under study. Determining the ca...
IADIS
2004
15 years 1 months ago
2004
Since XML becomes a crucial format for representing information, it is necessary to establish techniques for managing XML documents. A possible solution can be found in storing XM...
122
click to vote
ICFP
2010
ACM
15 years 27 days ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...