Sciweavers

2216 search results - page 142 / 444
» Hedging Structured Concepts
Sort
View
IPTPS
2003
Springer
15 years 11 months ago
SOMO: Self-Organized Metadata Overlay for Resource Management in P2P DHT
– In this paper, we first describe the concept of data overlay, which is a mechanism to implement arbitrary data structure on top of any structured P2P DHT. With this ion, we dev...
Zheng Zhang, Shuming Shi, Jing Zhu
TPHOL
1998
IEEE
15 years 10 months ago
Object-Oriented Verification Based on Record Subtyping in Higher-Order Logic
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
Wolfgang Naraschewski, Markus Wenzel
COBUILD
1998
Springer
15 years 10 months ago
The Metaphor of Virtual Rooms in the Cooperative Learning Environment CLear
In the CLear project we develop a cooperative learning system for supporting learning and training processes of co-located and distributed groups. One of the fundamental concepts o...
Hans-Rüdiger Pfister, Christian Schuckmann, J...
APCCM
2004
15 years 7 months ago
Enterprise Architecture Modelling using Elastic Metaphors
Despite the hype surrounding enterprise architectures, they have delivered little on their promise. In this paper, we argue that enterprise architectures built using component-bas...
Gerald R. Khoury, Simeon J. Simoff
DAGSTUHL
2004
15 years 7 months ago
Modelling Learning Subjects as Relationships
This paper describes a novel intellectual structure for the subject space of material designed for selective autodidactic learning in a large knowledge base. This structure is base...
Martin Doerr