2101 search results - page 240 / 421 » Rethinking the design of distributed stream processing syste... |
121
click to vote
ENTCS
2007
15 years 4 months ago
2007
RCCS is a variant of Milner’s CCS where processes are allowed a controlled form of backtracking. It turns out that the RCCS reinterpretation of a CCS process is equivalent, in t...
172
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
134
click to vote
ENTCS
2006
15 years 4 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
165
click to vote
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
Biclustering refers to simultaneous clustering of objects and their features. Use of biclustering is gaining momentum in areas such as text mining, gene expression analysis and co...
158
click to vote
INFOSCALE
2007
ACM
15 years 6 months ago
2007
ACM
Efficient multi-dimensional data search has received much attention in centralized systems. However, its implementation in large-scale distributed systems is not a trivial job and...