Sciweavers

5577 search results - page 93 / 1116
» E2K Technology and Implementation
Sort
View
CAISE
2003
Springer
15 years 4 months ago
Approaches to Implementing Tailored Metaschemas in XML
The unique selling point of XML as standard representation of content is its ease of use thus facilitating interoperability between various partners and platforms. To overcome XML ...
Martin Bernauer, Gerti Kappel, Gerhard Kramler
ELPUB
1999
ACM
15 years 3 months ago
The S-Link-S Framework for Reference Linking: Architecture and Implementation
The Scholarly Link Specification (S-Link-S™) Framework has been proposed as a possible approach towards a solution to the reference linking problem. S-Link-S provides a language ...
Eric Hellman
IFIP3
1998
130views Education» more  IFIP3 1998»
15 years 16 days ago
A Platform for the Implementation of the Services of an Educational Network
Multimedia and hypermedia had and still have a tremendous impact on the evolution of educational software. In this paper we propose a platform for the implementation of the servic...
Christos Bouras, Apostolos Gkamas
CHARME
2005
Springer
130views Hardware» more  CHARME 2005»
15 years 4 months ago
Improvements to the Implementation of Interpolant-Based Model Checking
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
João P. Marques Silva
SEMWEB
2005
Springer
15 years 4 months ago
Using Triples for Implementation: The Triple20 Ontology-Manipulation Tool
Triple20 is a ontology manipulation and visualization tool for languages built on top of the Semantic-Web RDF triple model. In this article we explain how a triple-centered design ...
Jan Wielemaker, Guus Schreiber, Bob J. Wielinga