418 search results - page 72 / 84 » Evaluating and implementing a collaborative office document ... |
FMCAD
2000
Springer
14 years 9 days ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
CIKM
2011
Springer
12 years 8 months ago
2011
Springer
A growing number of applications are built on top of search engines and issue complex structured queries. This paper contributes a customisable ranking-based processing of such qu...
DEBS
2011
ACM
13 years 7 days ago
2011
ACM
Many data-driven social and Web applications involve collaboration and coordination. The vision of declarative data-driven coordination (D3C), proposed in [9], is to support coord...
HPDC
2010
IEEE
13 years 9 months ago
2010
IEEE
Modern scientific collaborations have opened up the opportunity of solving complex problems that involve multidisciplinary expertise and large-scale computational experiments. The...
SBRN
2008
IEEE
14 years 3 months ago
2008
IEEE
In automated multi-label text categorization, an automatic categorization system should output a category set, whose size is unknown a priori, for each document under analysis. Ma...