Sciweavers

2525 search results - page 336 / 505
» A Framework for Semantic Gossiping
Sort
View
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
16 years 2 days ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
SAC
2006
ACM
16 years 3 hour ago
Ontology-based integration for relational databases
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
Dejing Dou, Paea LePendu
ICALT
2005
IEEE
15 years 11 months ago
Ontologies for Reusing Learning Object Content
The paper proposes a framework for building learning object (LO) content using ontologies. In the previous work on using ontologies to describe LOs, researchers employed ontologies...
Dragan Gasevic, Jelena Jovanovic, Vladan Devedzic,...
QSIC
2005
IEEE
15 years 11 months ago
Runtime Validation of Behavioural Contracts for Component Software
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
Yan Jin, Jun Han
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
15 years 11 months ago
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...