799 search results - page 56 / 160 » Refinement and Separation Contexts |
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The fast emergent areas of the Semantic Web and knowledge management push researchers to new efforts concerning ontology engineering. The development of ontologies must b...
WER
2001
Springer
14 years 1 months ago
2001
Springer
A survey of different types of prototypes and current prototyping methods is presented. Especially the usage of prototypes with use cases and scenarios is investigated, and an appr...
ICLP
1998
Springer
14 years 28 days ago
1998
Springer
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
BIRTHDAY
2008
Springer
13 years 10 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
COMAD
2008
13 years 10 months ago
2008
In this paper, we address the problem of query formulation in the context of multi-domain integration of heterogeneous data on the Web. We argue that effectively tackling this pro...