Sciweavers

233 search results - page 25 / 47
» The Geant4 Visualisation System
Sort
View
EUROMICRO
1996
IEEE
14 years 2 months ago
A Graph Rewriting Approach for Transformational Design of Digital Systems
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
Corrie Huijs
DILS
2009
Springer
14 years 1 months ago
An Integration and Analysis Pipeline for Systems Biology in Crop Plant Metabolism
Abstract. To advance the comprehension of complex biological processes occurring in crop plants (e.g. for improvement of growth or yield) it is of high interest to reconstruct and ...
Stephan Weise, Christian Colmsee, Eva Grafahrend-B...
IFIP
2004
Springer
14 years 3 months ago
Developing re-usable interactive storytelling technologies
: Despite the growing interest in Interactive Storytelling (IS), there have been only a small number of implemented demonstrators and few have attempted at developing a re-usable I...
Marc Cavazza, Fred Charles, Steven J. Mead
WOSP
2000
ACM
14 years 2 months ago
Visual representation of stochastic process algebra models
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
Nigel Thomas, Malcolm Munro, Peter J. B. King, Rob...
HICSS
1999
IEEE
98views Biometrics» more  HICSS 1999»
14 years 2 months ago
Integrating Spatial, Semantic, and Social Structures for Knowledge Management
In this paper we describe a unique type of knowledge management systems virtual reality-enabled multi-user virtual environments with spatialised semantic structures. They are des...
Chaomei Chen, John Davies