10493 search results - page 1366 / 2099 » Dynamic Word Problems |
198
click to vote
NETGAMES
2003
ACM
16 years 13 days ago
2003
ACM
The application of Networked Virtual Environment (NVE) technology on mobile devices is an emerging area in research. The marketing potential for these types of applications, when ...
197
click to vote
WWW
2003
ACM
16 years 13 days ago
2003
ACM
Support for temporal text-containment queries (query for all versions of documents that contained one or more particular words at a particular time t) is of interest in a number of...
177
click to vote
COCO
2003
Springer
16 years 12 days ago
2003
Springer
We study the question of whether the class DisjNP of disjoint pairs (A, B) of NP-sets contains a complete pair. The question relates to the question of whether optimal proof system...
176
click to vote
ESOP
2003
Springer
16 years 12 days ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...
189
click to vote
FSTTCS
2003
Springer
16 years 12 days ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...