652 search results - page 16 / 131 » On the behavioural dimension of correspondences between proc... |
PODS
2002
ACM
14 years 7 months ago
2002
ACM
In multidimensional data models intended for online analytic processing (OLAP), data are viewed as points in a multidimensional space. Each dimension has structure, described by a...
ENTCS
2008
13 years 7 months ago
2008
We provide a categorical presentation of the Fusion calculus. Working in a suitable category of presheaves, we describe the syntax as initial algebra of a signature endofunctor, a...
WOSP
2000
ACM
13 years 11 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
Mechanical models for soft human organs are necessary for a variety of medical applications, such as surgical planning, virtual reality surgery simulators, and for diagnostic purpo...
ESANN
2007
13 years 8 months ago
2007
Abstract. Several models have been proposed for spatio-temporal selforganization, among which the TOM model by Wiemer [1] is particularly promising. In this paper, we propose to ad...