2163 search results - page 309 / 433 » cases 2004 |
177
click to vote
EKAW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...
162
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
182
Voted
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Basic retiming is an algorithm originally developed for hardware optimization. Software pipelining is a technique proposed to increase instruction-level parallelism for parallel p...
143
Voted
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
141
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
When we derive multi-scale databases from a source spatial database, the geometries and topological relations, which are a kind of constraints defined explicitly or implicitly in ...