2163 search results - page 192 / 433 » cases 2004 |
180
click to vote
GI
2004
Springer
15 years 12 months ago
2004
Springer
: The need for demand-driven and scaleable integration of heterogeneous data sources is inherent to the process of genome annotation. In this paper we describe the Gene-EYe archite...
170
click to vote
HIPC
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes the motivation, architecture and implementation of iSAN, an “intelligent” storage area network. The main contributions of this work are: (1) how to archite...
135
click to vote
HUC
2004
Springer
15 years 12 months ago
2004
Springer
Ubiquitous computing promises to enable new classes of application. In this paper, we present research intended to accelerate the exploration of the space of possible application ...
147
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
165
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...