3931 search results - page 686 / 787 » Separation logic and abstraction |
161
click to vote
TIME
2005
IEEE
16 years 14 days ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
175
click to vote
ADBIS
2005
Springer
16 years 13 days ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
178
click to vote
BIRTHDAY
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
202
click to vote
BPM
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. One of the most difficult obstacles Web Services have to overcome in the attempt to exploit the true potential of the World Wide Web is heterogeneity. Caused by the natur...
198
click to vote
CAISE
2005
Springer
16 years 13 days ago
2005
Springer
This paper presents a detailed integration process for XML schemata called BInXS. BInXS adopts a global-as-view integration approach that builds a global schema from a set of heter...