Sciweavers

2730 search results - page 225 / 546
» An Abstract Model for Process Mediation
Sort
View
ICDCIT
2005
Springer
15 years 12 months ago
Validation of Policy Integration Using Alloy
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
Manachai Toahchoodee, Indrakshi Ray
ISAAC
2005
Springer
113views Algorithms» more  ISAAC 2005»
15 years 12 months ago
A Simple Optimal Randomized Algorithm for Sorting on the PDM
Abstract. The Parallel Disks Model (PDM) has been proposed to alleviate the I/O bottleneck that arises in the processing of massive data sets. Sorting has been extensively studied ...
Sanguthevar Rajasekaran, Sandeep Sen
PPSN
1998
Springer
15 years 10 months ago
Mechanisms of Emergent Computation in Cellular Automata
Abstract. We introduce a class of embedded-particle models for describing the emergent computational strategies observed in cellular automata (CAs) that were evolved for performing...
Wim Hordijk, James P. Crutchfield, Melanie Mitchel...
BIRTHDAY
2006
Springer
15 years 10 months ago
A Stochastic Theory of Black-Box Software Testing
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
Karl Meinke
EDUTAINMENT
2008
Springer
15 years 8 months ago
Efficient Method for Point-Based Rendering on GPUs
Abstract. We describe methods for high-performance and high-quality rendering of point models, including advanced shading, anti-aliasing, and transparency. we keep the rendering qu...
La-mei Yan, You-wei Yuan