Sciweavers

5326 search results - page 372 / 1066
» On what we can ensure
Sort
View
ISSRE
2008
IEEE
16 years 1 months ago
Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...
Prasanth Anbalagan, Tao Xie
IPPS
2007
IEEE
16 years 1 months ago
A Landmark-based Index Architecture for General Similarity Search in Peer-to-Peer Networks
The indexing of complex data and similarity search plays an important role in many application areas. Traditional centralized index structure can not scale with the rapid prolifer...
Xiaoyu Yang, Yiming Hu
ICDCSW
2005
IEEE
16 years 11 days ago
State Checksum and Its Role in System Stabilization
Although a self-stabilizing system that suffers from a transient fault is guaranteed to converge to a legitimate state after a finite number of steps, the convergence can be slow ...
Chin-Tser Huang, Mohamed G. Gouda
ICRA
2005
IEEE
103views Robotics» more  ICRA 2005»
16 years 11 days ago
Dimensioning a Constrained Parallel Robot to Reach a Set of Task Positions
— The paper considers the problem of setting the dimensions of a system of constrained parallel robots to ensure that together they can position an end-effector in a specified s...
Hai-Jun Su, J. Michael McCarthy
TCC
2005
Springer
166views Cryptology» more  TCC 2005»
16 years 7 days ago
Adaptively-Secure, Non-interactive Public-Key Encryption
Adaptively-secure encryption schemes ensure secrecy even in the presence of an adversary who can corrupt parties in an adaptive manner based on public keys, ciphertexts, and secret...
Ran Canetti, Shai Halevi, Jonathan Katz