3082 search results - page 107 / 617 » its 2004 |
112
Voted
AH
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes the context-aware mobile tourist application COMPASS that adapts its services to the user’s needs based on both the user’s interests and his current contex...
100
Voted
AISC
2004
Springer
15 years 6 months ago
2004
Springer
The equality logic with uninterpreted functions (EUF) has been proposed for processor verification. A procedure for proving satisfiability of formulas in this logic is introduced...
99
Voted
ANTS
2004
Springer
15 years 6 months ago
2004
Springer
The binary algorithm is a variant of the Euclidean algorithm that performs well in practice. We present a quasi-linear time recursive algorithm that computes the greatest common di...
119
click to vote
ASIASIM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Network security simulator is required for the study on the cyber intrusion and defense as cyber terrors have been increasingly popular. Until now, network security simul...
128
Voted
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
In recent years, mobile ad-hoc networks (MANET’s) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ ability to conf...