ICCS
2004
Springer
13 years 9 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
ICCS
2004
Springer
13 years 9 months ago
2004
Springer
Because of the continued development of web services protocols and the apparent convergence of Grid services with web services, it is becoming evident that web services will be an ...
ICCS
2004
Springer
13 years 9 months ago
2004
Springer
This paper presents two visualization techniques suitable for huge oceanography time-varying volume datasets on high-performance graphics workstations. We first propose an off-lin...
ICCS
2004
Springer
13 years 9 months ago
2004
Springer
ICCS
2004
Springer
13 years 9 months ago
2004
Springer
ICCS
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. Linear Genetic Programming (LGP) is a Genetic Programming variant that uses linear chromosomes for solution encoding. Each LGP chromosome is a sequence of C language inst...
ICCS
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. Multi Expression Programming (MEP) is a Genetic Programming variant that uses linear chromosomes for solution encoding. A unique feature of MEP is its ability of encoding...
ICCS
2004
Springer
13 years 9 months ago
2004
Springer
ICCS
2004
Springer
13 years 9 months ago
2004
Springer
This paper presents a mobile Augmented Reality (AR) system called the SitePack supporting architects in visualizing 3D models in real-time on site. We describe how vision based fea...
ICCS
2004
Springer
13 years 9 months ago
2004
Springer
Air pollution models usually start from the computation of the velocity field of a fluid. In this paper, we present a model for computing that field based on the contribution of...