5084 search results - page 774 / 1017 » Proving Possibility Properties |
158
click to vote
MMSEC
2006
ACM
16 years 17 days ago
2006
ACM
Current zero-knowledge watermark detectors are based on a linear correlation between the asset features and a given secret sequence. This detection function is susceptible of bein...
177
click to vote
SAC
2006
ACM
16 years 17 days ago
2006
ACM
We present in this paper an approach aiming at adapting software components. It focuses on adapting component structures instead of adapting component services. Among the motivati...
179
click to vote
SI3D
2006
ACM
16 years 17 days ago
2006
ACM
In this paper, we propose a new technique for hardware accelerated multi-resolution geometry synthesis. The level of detail for a given viewpoint is created on-the-fly, allowing f...
165
click to vote
VALUETOOLS
2006
ACM
16 years 17 days ago
2006
ACM
In this paper we consider a general class of single-server multiqueue systems in which the stability of any single queue can be essentially determined by the queue’s arrival rat...
148
click to vote
ACSD
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...