4451 search results - page 771 / 891 » Continuous model synthesis |
AINA
2004
IEEE
15 years 1 months ago
2004
IEEE
: Wide area network (WAN) -based distributed computing (DC) has become an active field of research, especially under the label of grid computing. On the other hand, research on WAN...
ASPDAC
2006
ACM
15 years 1 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
104
click to vote
CIKM
2006
Springer
15 years 1 months ago
2006
Springer
Data stream clustering has emerged as a challenging and interesting problem over the past few years. Due to the evolving nature, and one-pass restriction imposed by the data strea...
DSVIS
2006
Springer
15 years 1 months ago
2006
Springer
We study the variations in two dimensional (2D) pointing tasks on a traditional white board of a group of subjects by means of capturing their movement traces in an automatic way w...
EDBTW
2006
Springer
15 years 1 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...