10263 search results - page 42 / 2053 » From Use Cases to System Operation Specifications |
IFM
2010
Springer
13 years 6 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
JFP
2008
13 years 8 months ago
2008
This paper presents an operational semantics for the core of Scheme. Our specification improves over the denotational semantics from the Revised5 Report on Scheme specification in...
IJCAI
2001
13 years 10 months ago
2001
Here is discussed how to construct domain ontologies with both taxonomic and non-taxonomic conceptual relationships, exploiting a machinereadable dictionary (MRD) and domain-speci...
NIPS
2004
13 years 10 months ago
2004
A typical neuron in visual cortex receives most inputs from other cortical neurons with a roughly similar stimulus preference. Does this arrangement of inputs allow efficient read...
KES
2006
Springer
13 years 8 months ago
2006
Springer
In previous papers we introduced HeCaSe2, a multi-agent system that helps doctors to follow the automatic application of clinical guidelines to patients. In this paper we show how ...