7681 search results - page 1293 / 1537 » Typed Membrane Systems |
165
click to vote
SDB
1995
15 years 11 months ago
1995
In this paper we discuss two data models for spatial database systems: the linear data model and the topological data model. Both can be used to model a wide range of applications....
283
click to vote
SI3D
1995
ACM
15 years 11 months ago
1995
ACM
We introduce a promising new approach to rigid body dynamic simulation called impulse-based simulation. The method is well suited to modeling physical systems with large numbers o...
188
click to vote
SIGGRAPH
1995
ACM
15 years 11 months ago
1995
ACM
We present a method for computing holographic patterns for the generation of three-dimensional (3-D) holographic images at interactive speeds. We used this method to render hologr...
204
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
159
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Precise evaluation of network appliance energy consumption is necessary to accurately model or simulate the power consumption of distributed systems. In this paper we ev...