Sciweavers

2539 search results - page 344 / 508
» Semantic frameworks for e-government
Sort
View
ICALT
2005
IEEE
16 years 3 days 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
16 years 2 days 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»
16 years 1 days 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...
HYBRID
2005
Springer
16 years 23 hour ago
Interchange Formats for Hybrid Systems: Review and Proposal
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
Alessandro Pinto, Alberto L. Sangiovanni-Vincentel...
ICSOC
2005
Springer
16 years 13 hour ago
Pattern-Based Specification and Validation of Web Services Interaction Properties
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
Zheng Li, Jun Han, Yan Jin