5863 search results - page 1025 / 1173 » On Model-Checking of P Systems |
152
click to vote
CVDB
2004
ACM
16 years 12 days 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 ...
165
click to vote
PODC
2004
ACM
16 years 12 days 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...
177
click to vote
SC
2004
ACM
16 years 12 days 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...
155
click to vote
VAST
2004
ACM
16 years 12 days 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...
344
Voted
AACC
2004
Springer
16 years 11 days 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...