1690 search results - page 245 / 338 » Algorithmic Properties of Millstream Systems |
117
Voted
MMSEC
2006
ACM
15 years 9 months 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...
126
Voted
SIGSOFT
2006
ACM
15 years 9 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
143
Voted
CCGRID
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract In this paper, we propose the use of a distributed service management architecture for state-of-the-art service-enabled Grids. The architecture is capable of performing au...
128
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— Recent research trends and technology developments are bringing us closer to the realization of autonomous multirobot systems performing increasingly complex missions. ...
122
Voted
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
The study of physical models for knots has recently received much interest in the mathematics community. In this paper, we consider the ropelength model, which considers knots tie...