Sciweavers

3575 search results - page 245 / 715
» Modeling Concurrency with Geometry
Sort
View
WSCG
2004
135views more  WSCG 2004»
15 years 7 months ago
Geometrical Modelling of Muscle Cells Based on Functional Representation of Polygons
A geometrical modelling tool allowing construction of models of living cells and their organelles would facilitate understanding of biological processes at the cellular level. Her...
Július Parulek, Milos Srámek, Ivan Z...
CGI
1999
IEEE
15 years 10 months ago
Visualizing Knowledge about Virtual Reconstructions of Ancient Architecture
One of the assumptions of current software for visualizing architecture is that the underlying geometry is a correct, objective, and complete representation of the objects in ques...
Thomas Strothotte, Maic Masuch, Tobias Isenberg
CGI
2004
IEEE
15 years 10 months ago
BlobTree Trees
In recent years several methods for modeling botanical trees have been proposed. The geometry and topology of tree skeletons can be well described by L-systems; however, there are...
Callum Galbraith, Peter MacMurchy, Brian Wyvill
IPPS
2007
IEEE
16 years 17 days ago
A Framework for Modeling Operating System Mechanisms in the Simulation of Network Protocols for Real-Time Distributed Systems
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
Paolo Pagano, Prashant Batra, Giuseppe Lipari
206
Voted
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 11 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel