25111 search results - page 4637 / 5023 » Information Systems |
189
click to vote
AI
2000
Springer
15 years 7 months ago
2000
Springer
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...
174
click to vote
CN
2000
15 years 7 months ago
2000
The Stanford Power Browser project addresses the problems of interacting with the World-Wide Web through wirelessly connected Personal Digital Assistants (PDAs). These problems in...
196
click to vote
CLUSTER
2002
IEEE
15 years 7 months ago
2002
IEEE
Active services are application-specified programs that are executed inside the network. The location where the active service is executed plays an important role. The dynamic beha...
198
click to vote
DSS
2000
15 years 7 months ago
2000
By using panel data spanning a period of 18 years and by estimating a general cost function in a cost minimization Z .setting, we conducted an analysis of information technology I...
189
click to vote
ENTCS
2000
15 years 7 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...