3605 search results - page 619 / 721 » Analysis and Applications of the XDI model |
178
click to vote
AAAI
2006
15 years 7 months ago
2006
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...
186
click to vote
IOPADS
1997
15 years 7 months ago
1997
We provide a competitive analysis framework for online prefetching and buffer management algorithms in parallel I/O systems, using a read-once model of block references. This has ...
195
click to vote
CLEF
2009
Springer
15 years 7 months ago
2009
Springer
In this study, we describe our system at the Intellectual Property track of the 2009 CrossLanguage Evaluation Forum campaign (CLEF-IP). The CLEF-IP track addressed prior art searc...
256
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Modern scientific applications consume massive volumes of data produced by computer simulations. Such applications require new data management capabilities in order to scale to te...
191
click to vote
PASTE
2005
ACM
15 years 12 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...