6978 search results - page 1250 / 1396 » On Proofs in System P |
CVDB
2004
ACM
14 years 2 months ago
2004
ACM
The development of applications involving multi-dimensional data sets on top of a RDBMS raises several difficulties that are not directly related to the scientific problem being ...
PODC
2004
ACM
14 years 2 months ago
2004
ACM
We explore the computational power of networks of small resource-limited mobile agents. We define two new models of computation based on pairwise interactions of finite-state ag...
SC
2004
ACM
14 years 2 months ago
2004
ACM
A task-based execution provides a universal approach to dynamic load balancing for irregular applications. Tasks are arbitrary units of work that are created dynamically at runtim...
VAST
2004
ACM
14 years 2 months ago
2004
ACM
The results of a project aimed to the study, reconstruction and presentation to the public of a monument disassembled and dispersed, the mausoleum of the emperor Arrigo VII, are p...
AACC
2004
Springer
14 years 2 months ago
2004
Springer
Searching on the Internet has grown in importance over the last few years, as huge amount of information is invariably accumulated on the Web. The problem involves locating the des...