Sciweavers

2261 search results - page 351 / 453
» Dynamic types for authentication
Sort
View
ECOOP
2001
Springer
14 years 1 months ago
Distinctness and Sharing Domains for Static Analysis of Java Programs
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
Isabelle Pollet, Baudouin Le Charlier, Agostino Co...
SIGGRAPH
2010
ACM
14 years 1 months ago
Subspace self-collision culling
We show how to greatly accelerate self-collision detection (SCD) for reduced deformable models. Given a triangle mesh and a set of deformation modes, our method precomputes Subspa...
Jernej Barbic, Doug L. James
MIS
2001
Springer
89views Multimedia» more  MIS 2001»
14 years 1 months ago
Multimedia Metacomputing
The concept of multimedia metacomputing involves the formation of a large scale loosely coupled multiprocessing environment capable of performing complex transformations on media ...
Ulrich Marder, Jernej Kovse
ICNP
2000
IEEE
14 years 1 months ago
Convergent Multi-Path Routing
We present a protocol for maintaining multiple paths to each destination in a network of processes. For each destination, each process in the network maintains a set of neighbors ...
Jorge Arturo Cobb
ITCC
2000
IEEE
14 years 1 months ago
A Unified Derivation of Operational Matrices for Integration in Systems Analysis
Using the operational matrix of an orthogonal function to perform integration for solving, identifying and optimizing a linear dynamic system has several advantages: (1) the metho...
Jiunn-lin Wu, Chin-hsing Chen, Chih-fan Chen