Sciweavers

34 search results - page 4 / 7
» Jena: Implementing the RDF Model and Syntax Specification
Sort
View
HICSS
2007
IEEE
139views Biometrics» more  HICSS 2007»
14 years 2 months ago
Ontology Driven CPG Authoring and Execution via a Semantic Web Framework
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
Sajjad Hussain, Syed Sibte Raza Abidi
WEBDB
2010
Springer
238views Database» more  WEBDB 2010»
14 years 14 days ago
An Agglomerative Query Model for Discovery in Linked Data: Semantics and Approach
Data on the Web is increasingly being used for discovery and exploratory tasks. Unlike traditional fact-finding tasks that require only the typical single-query and response parad...
Sidan Gao, Haizhou Fu, Kemafor Anyanwu
FMCAD
2000
Springer
14 years 4 days ago
Model Checking Synchronous Timing Diagrams
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
Nina Amla, E. Allen Emerson, Robert P. Kurshan, Ke...
HICSS
2000
IEEE
99views Biometrics» more  HICSS 2000»
14 years 28 days ago
Selecting a Model Interchange Format: The SPOOL Case Study
The aim of this paper is to provide tool developers with effective strategies to minimize the risks, costs, effort and time involved in handling model interchange issues. Specific...
Guy Saint-Denis, Reinhard Schauer, Rudolf K. Kelle...
WWW
2005
ACM
14 years 9 months ago
Building adaptable and reusable XML applications with model transformations
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
Ivan Kurtev, Klaas van den Berg