12107 search results - page 2055 / 2422 » Software That Can Think |
178
click to vote
COSIT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The navigation task is a very demanding application for mobile users. The algorithms of present software solutions are based on the established methods of car navigation ...
129
click to vote
CRYPTO
2003
Springer
15 years 12 months ago
2003
Springer
Simple password authentication is often used e.g. from an email software application to a remote IMAP server. This is frequently done in a protected peer-to-peer tunnel, e.g. by SS...
162
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
193
click to vote
ERSHOV
2003
Springer
15 years 12 months ago
2003
Springer
By obfuscation we mean any efficient semantic-preserving transformation of computer programs aimed at bringing a program into such a form, which impedes the understanding of its al...
210
click to vote
EUROPAR
2003
Springer
15 years 12 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...