5863 search results - page 840 / 1173 » On Model-Checking of P Systems |
185
click to vote
XIMEP
2006
ACM
16 years 20 days ago
2006
ACM
XQuery is a declarative language for querying and updating XML data sources. Interfacing XQuery to a host programming language is difficult because of the type system mismatch, an...
164
click to vote
CSB
2005
IEEE
16 years 10 days ago
2005
IEEE
This work presents the development of algorithms for approximate string matching using parallel methods. It intends to do the maximum of molecular sequences comparisons per unity ...
164
click to vote
ESCIENCE
2005
IEEE
16 years 10 days ago
2005
IEEE
Volunteer computing projects use a task server to manage work. Clients periodically communicate with the server to report completed tasks and get new tasks. The rate at which the ...
121
click to vote
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
Past research in deception detection at the University of Arizona has guided the investigation of intent detection. A theoretical foundation and model for the analysis of intent d...
192
click to vote
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
Existing ad hoc routing protocols are either unicast or multicast. In this paper we propose a simple extension to the Dynamic Source Routing Protocol (DSR) to cater for group comm...