Sciweavers

5615 search results - page 773 / 1123
» On the Computational Capabilities of Several Models
Sort
View
FOSSACS
2007
Springer
16 years 1 months ago
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
Matthew Hague, C.-H. Luke Ong
GCC
2007
Springer
16 years 1 months ago
A Component Based Interoperability Solution over Existing Grid Middleware
The purpose of grid technology is to integrate various heterogeneous resources together to provide huge computation and storage capacity for users transparently. However, current ...
Weiyuan Huang, Yongwei Wu, Jia Liu, Guangwen Yang,...
ACMSE
2006
ACM
16 years 1 months ago
Assessing denial of service vulnerabilities in DOCSIS
In previous work a DOCSIS model was added to ‘ns’ to allow simulations to be run to analyze the performance of DOCSIS. These simulations showed that congestion caused by the a...
Scott Moser, Jim Martin
MSWIM
2006
ACM
16 years 1 months ago
Two methods of authenticated positioning
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...
Thomas Mundt
SMA
2006
ACM
120views Solid Modeling» more  SMA 2006»
16 years 1 months ago
Identifying flat and tubular regions of a shape by unstable manifolds
We present an algorithm to identify the flat and tubular regions of a three dimensional shape from its point sample. We consider the distance function to the input point cloud an...
Samrat Goswami, Tamal K. Dey, Chandrajit L. Bajaj