3864 search results - page 226 / 773 » time 2005 |
175
click to vote
ICESS
2005
Springer
16 years 20 days ago
2005
Springer
In this paper we propose semantic web-based mobile knowledge searching systems for display Web pages on mobile terminals. The proposed system reduces the time of verification when ...
153
click to vote
IFL
2005
Springer
16 years 20 days ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
199
click to vote
IPTPS
2005
Springer
16 years 20 days ago
2005
Springer
We present a dynamic distributed hash table where peers may join and leave at any time. Our system tolerates a powerful adversary which has complete visibility of the entire state ...
184
click to vote
ISAAC
2005
Springer
16 years 20 days ago
2005
Springer
We characterize the gap between time and space complexity of functions by operators and completeness. First, we introduce a new notion of operators for function complexity classes ...
162
click to vote
ISSAC
2005
Springer
16 years 20 days ago
2005
Springer
Two ideas are combined to construct a hybrid symbolicnumeric differential-elimination method for identifying and including missing constraints arising in differential systems. F...