3597 search results - page 713 / 720 » Model-theoretic semantics for the web |
BPM
2006
Springer
13 years 11 months ago
2006
Springer
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service match...
FM
2006
Springer
13 years 11 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
FOIKS
2006
Springer
13 years 11 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
OOPSLA
1995
Springer
13 years 11 months ago
1995
Springer
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
I3
2007
13 years 9 months ago
2007
The main objective of this work is to exploit the relationship between the information findability problem and a subject-based organization of information. Identification of a sub...