6168 search results - page 924 / 1234 » Research methods for HCI |
178
click to vote
FC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Anonymity-protection techniques are crucial for various commercial and financial transactions, where participants are worried about their privacy. On the other hand, aut...
170
click to vote
FORMATS
2007
Springer
16 years 27 days ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
161
click to vote
FSEN
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
197
click to vote
FSTTCS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
171
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
This paper attempts to extend the XCS research by analyzing the impact of information exchange between XCS agents on classifier performance. Two types of information are exchange...