89222 search results - page 88 / 17845 » Which |
143
Voted
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
Traditional approaches for program comprehension use static program analysis or dynamic program analysis in the form of execution traces. Our approach, however, makes use of runti...
151
Voted
EUSAI
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we describe methods to localize a mobile robot in an indoor environment from visual information. An appearance-based approach is adopted in which the environment is ...
161
Voted
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
155
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The high speed at which new businesses are developed can to a large extent be attributed to their ability to flexibly combine existing services into an integrated business platfor...
181
Voted
ICEIS
2002
IEEE
15 years 11 months ago
2002
IEEE
: This work describes the features of the DOMINO (Database fOr MovINg Objects) system, which brings several novelties to the problem of managing moving objects databases. Our robus...