Sciweavers

3706 search results - page 627 / 742
» KtSeqC: System Description
Sort
View
FASE
2008
Springer
15 years 8 months ago
Translating Model Simulators to Analysis Models
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
Juan de Lara, Hans Vangheluwe
AAAI
2010
15 years 7 months ago
Materializing Inferred and Uncertain Knowledge in RDF Datasets
There is a growing need for efficient and scalable semantic web queries that handle inference. There is also a growing interest in representing uncertainty in semantic web knowled...
James P. McGlothlin, Latifur R. Khan
ACSW
2007
15 years 7 months ago
Extracting Semantics in a Clinical Scenario
bstracts, full articles of clinical case studies provide more detailed profiles of a patient, such as signs and symptoms, and important laboratory test results of the patient fro...
Yitao Zhang, Jon Patrick
BIS
2007
92views Business» more  BIS 2007»
15 years 7 months ago
Supporting Use-Case Reviews
Abstract. Use cases are a popular way of specifying functional requirements of computer-based systems. Each use case contains a sequence of steps which are described with a natural...
Alicja Ciemniewska, Jakub Jurkiewicz, Lukasz Olek,...
FORTE
2010
15 years 7 months ago
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...
Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuen...