50808 search results - page 10063 / 10162 » A New |
170
click to vote
JSC
2010
15 years 17 days ago
2010
Both Sequence and Context Unification generalize the same problem: Word Unification. Besides that, Sequence Unification solves equations between unranked terms involving sequence ...
142
click to vote
JUCS
2010
15 years 17 days ago
2010
: One of the most important use-cases of Trusted Computing is Remote Attestation. It allows platforms to get a trustworthy proof of the loaded software and current configuration of...
238
click to vote
JUCS
2010
15 years 17 days ago
2010
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
217
click to vote
MMS
2010
15 years 17 days ago
2010
In large-scale peer-to-peer (P2P) Video-on-Demand (VoD) streaming applications, a fundamental challenge is to quickly locate new supplying peers whenever a VCR command is issued, ...
172
click to vote
NAR
2010
15 years 16 days ago
2010
Xenbase (www.xenbase.org), the model organism database for Xenopus laevis and X. (Silurana) tropicalis, is the principal centralized resource of genomic, development data and comm...