4491 search results - page 749 / 899 » Algorithm Engineering |
167
click to vote
ARCS
2004
Springer
15 years 11 months ago
2004
Springer
In a pervasive computing environment, one is facing the problem of handling heterogeneous data from different sources, transmitted over heterogeneous channels and presented on het...
153
click to vote
ARCS
2004
Springer
15 years 11 months ago
2004
Springer
Searching in decentralized peer-to-peer networks is a challenging problem. In common applications such as Gnutella, searching is performed by randomly forwarding queries to all pee...
151
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
168
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...
156
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...