Sciweavers

7623 search results - page 319 / 1525
» Constructive Volume Modeling
Sort
View
ESORICS
2007
Springer
16 years 22 days ago
On the Privacy of Concealed Data Aggregation
A formal treatment to the privacy of concealed data aggregation (CDA) is given. While there exist a handful of constructions, rigorous security models and analyses for CDA are stil...
Aldar C.-F. Chan, Claude Castelluccia
ANSS
1997
IEEE
15 years 10 months ago
JSIM: A JAVA-Based Simulation and Animation Environment
In this paper, we present JSIM, a Java-based simulation and animation environment being developed at the University of Georgia. The JSIM library includes many Java classes to make...
John A. Miller, Rajesh S. Nair, Zhiwei Zhang, Hong...
PPDP
2000
Springer
15 years 10 months ago
Symmetric monoidal sketches
We introduce and develop the notion of symmetric monoidal sketch. Every symmetric monoidal sketch generates a generic model. If the sketch is commutative and single-sorted, the gen...
Martin Hyland, John Power
WSC
1997
15 years 8 months ago
A Stochastic Disk I/O Simulation Technique
In this paper, we describe a technique to construct accurate stochastic simulation models from acquired trace data. The resulting simulation models accept input trace data and ret...
Niki C. Thornock, Xiao-Hong Tu, J. Kelly Flanagan
ENTCS
2007
119views more  ENTCS 2007»
15 years 6 months ago
PML: Toward a High-Level Formal Language for Biological Systems
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
Bor-Yuh Evan Chang, Manu Sridharan